chaitanyya

...joined 1 year ago, and has 6 karma

submissions / comments / favourites

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