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: (Please note that I can no longer accept requests for reviewing of articles.)
I worked at TU München from 2003 to 2009. Currently I am practicing full-time as a monk in the Korean Buddhist tradition.
Publications
Courses
Libraries for the
Coq
proof assistant
BDD algorithms and proofs in Coq
Symbolic model checking in Coq