I am now working for
Collins as an Industrial Logician in the Trusted Systems group. An
updated bio and list of publications is available on my new
The current page will no longer be updated.
I have a continuing interest in frameworks for specification,
prototyping, and reasoning over computations. I am particularly
interested in systems which manipulate objects with binding, e.g.,
programming languages and logics. I am the developer of
the Abella system which allows
for specification and interactive reasoning in this domain. This work
is part of the SLIMMER Project
and involves close collaboration with
group at INRIA. I am also closely involved with the development of
- October, 2010 – current:
Senior Systems Engineer for Rockwell Collins in the Trusted Systems.
- October, 2009 – September, 2010:
Post-doc for INRIA Saclay in the Parsifal group.
- May, 2005 – September, 2009: Research
assistant for Gopalan Nadathur.
- June – August, 2008: Intern at
Rockwell Collins as part
of the Automated Analysis group.
- August, 2006 – May, 2007: Consultant
for Boston Scientific.
- June – July, 2006: Intern at
for the SLIMMER Project.
- January – May, 2005: Teaching
CSci 3081: Program Design and Development.
- May – August, 2004: Intern at United Defense. Web
application development and deployment for document management
- May – August, 2003: Intern at United Defense. Data
migration and cleansing for document management system.
- 2002 – 2003: Research Assistant
for Victor Winter
at the University of Nebraska at Omaha. Implemented rewriting
based "Mini-Java" complier and class loader for Sandia Secure
- July – August, 2000: Junior
Counselor for PROMYS Program, an
intensive summer school on number theory.
- Ph.D. Computer Science,
University of Minnesota, 2009
- M.S. Computer Science,
University of Minnesota, 2006
- B.S. Computer Science and Mathematics,
University of Nebraska at Omaha, 2004.