![]() |
Mark Moellermoeller@cs.cornell.edu      I am a PhD student in Computer Science at Cornell, where I am co-advised by Nate Foster and Alexandra Silva. |
|
ResearchI'm interested broadly in formal methods and programming language design. My current projects involve automata learning and formal verification of network forwarding planes.Teaching
|