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:Previous and Current Classes Taught at Dartmouth
- COSC 57/257: Compilers, Spring 2022
- COSC 50: Software Design and Implementation, Winter 2026
- COSC 61: Database Systems, Fall 2026