Vijay D

188
Reputation
137 views
Is this your account?

Registered User 

Name Vijay D
Member for 2 years
Seen May 10 at 19:22
Website
Location Oxford University
Age
Computer Scientist dabbling with logic, lattice theory, automata and their applications to reasoning about programs.