Sam Lasser

Sam is a research engineer with a background in programming languages and interactive theorem proving. He obtained his PhD in computer science from Tufts University, where he was advised by Dr. Kathleen Fisher. Sam's graduate research involved using an interactive proof assistant to develop verified parsing tools; this work produced the first verified implementations of several widely used parsing algorithms.

‍

In industry, Sam has worked on comparative program analysis, runtime enforcement of software security policies, and fault detection in cyber-physical systems.