Manav Ratan Mital

Graduate Student
Department of Computer Science
University of California Los Angeles

E-mail:

Hi! I am a graduate student in computer science at UCLA, hoping to pass out from here with a PhD.
I started nurturing these hopes in Fall 2004 when I joined the programme. Prior to that I was an
undergraduate student at the Indian Institute of Technology at Kanpur in India, from where I passed
out in May 2004 with a major in Computer Science.
My research advisor is Dr. Rupak Majumdar.

My research interests are software verification and programming languages.

Work : CV | Course work and reports
Pub Search : Citeseer | ACM DLL | Journal Storage | MathSciNet
Resources : OCaml | Misc.
Humor(?) : Knuth | Math | Lena
Stuff : Pics | Undergrad work

I wouldn't have been in such a hurry to reach adulthood if I'd known the whole thing was going to be ad-libbed