Vijay D
388
reputation
Computer Scientist dabbling with logic, lattice theory, automata and their applications to reasoning about programs.