I received my Ph.D. in Computer Sciences in 1998 from the University
of Texas at Austin.
My research looks at ways of improving the program development process
formal methods of specification and verification. My interests lie in program verification,
temporal logics, model checking, and concurrent and distributed computing.
My current theoretical work is on abstraction methods, compositional reasoning, and
automated proof generation through model checking. I am also investigating
the use of model checking methods for statically analyzing C and C++ programs.
Here are my on-line publications, and bibliographies in bibtex and HTML formats.
A little bit about me, and my academic curriculum vitae.