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
through
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.