Kumar Neeraj Verma
Address:
Technische Universität München
Institut für Informatik
/
I2
Boltzmannstr. 3
85748 Garching
Germany
Tel:
+49 89 289 18188
Fax:
+49 89 289 18161
Room:
02.07.041
Email:
Since May 2009, I am on leave from academic research, spending my time learning and practicing meditation. I read my emails from time to time, though not on a regular basis.
Publications
Courses
Libraries for the
Coq
proof assistant
BDD algorithms and proofs in Coq
Symbolic model checking in Coq