Download the latest version of my CV.
Download CV (PDF)Introduction
Hello and welcome to my new page. Several sections are still under construction, but if you have questions, contact me at the email address below.
My research interests are in formal verification of data, particularly in the realm of Language-Theoretical parsing (LangSec). I am particularly interested in applying LangSec to current applications and network data streams in a way that parsing strength and overall performance are balanced.Education
- Ph.D. in Computer Science, Dartmouth College, June 2025
- MS in Electrical Engineering, Worcester Polytechnic Institute, June 2014
- BS in Electrical and Computer Engineering, Clarkson College, May 1978
Papers
Published papers are listed with:Skills
Programming Languages
- C/C++
- Python
- Java
- OCaml
- Lisp
Tools
- DFDL
- Git