chaitanyya

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

submissions / comments / favourites

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