egolf (dot) d (at) northeastern (dot) edu
I am a PhD student (since 2021) at Northeastern University and I'm advised by Stavros Tripakis. My primary research focus is the automatic generation of correct-by-construction systems from high-level specifications (synthesis). In the past this focus has included verified lexer generation. More recently it has been directed toward the synthesis of distributed protocols. Before coming to Northeastern, I completed my BS in Computer Science and Mathematics at Tufts University.