Current Work

I am now working for Rockwell Collins as an Industrial Logician in the Trusted Systems group.

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 the Parsifal group at INRIA. I am also closely involved with the development of the Teyjus and Bedwyr systems.


Other Work




The views and opinions expressed in this page are strictly those of the page author.
The contents of this page have not been reviewed or approved by the University of Minnesota.