chaitanyya

...joined 2 years ago, and has 1 karma

submissions / comments / favourites

All things software correctness, reliability, formal methods, and mathematics