About Me

I am currently working on formal methods for developing high-assurance digital systems at Sandia National Laboratories in Livermore, California.

Education

• BA, 2000, Tufts University
• MS, 2007, University of California, San Diego
• PhD, 2012, University of Oregon

Publications

• Google Scholar

Contact

• Email