Anu Singh

Greetings!

I am a PhD student in the Computer Science Department at Stony Brook University.  I work in Applied Logic Lab.  I received a Bachelor degree in Computer Science from Indian Institute of Technology, Roorkee         (Erstwhile University of Roorkee), India. 

I am working with Prof. C. R. Ramakrishnan and Prof. Scott A. Smolka.  My areas of interest are formal methods, software verification, programming languages and computer security.

Contact

Computer Science Department

Stony Brook University

Stony Brook, NY 11794

USA

Phone: 631-632 7943 (lab)

Email: anusingh <AT> cs.sunysb.edu