Vijay D

Oxford University

Computer Scientist dabbling with logic, lattice theory, automata and their applications to reasoning about programs.
Top Answers
1 2