Current Work

I am now working for Rockwell Collins as an Industrial Logician in the Trusted Systems group. An updated bio and list of publications is available on my new home page. 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 the Parsifal group at INRIA. I am also closely involved with the development of the Teyjus and Bedwyr systems.


Other Work