Mark Moeller     

I am a PhD student in Computer Science at Cornell, where I am co-advised by Nate Foster and Alexandra Silva.

I have enjoyed being an organizer of the Programming Languages Discussion Group (PLDG) during the last few years.


I'm interested broadly in formal methods and programming language design. My current projects involve automata learning and formal verification of network forwarding planes.


Automata Learning with an Incomplete Teacher
Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva
ECOOP 2023
[pdf] [code] [artifact]


  • Teaching Assistant, Cornell Univerity
    • CS3410, Computer System Organization and Programming, Fa '20, Sp '21
  • Instructor, United States Naval Academy
    • IC221, Systems Programming, Sp '19
    • SI340, Theory of Computing, Fa '18
    • SI335, Computer Algorithms, Sp '19, Sp '20
    • SI413, Programming Languages, Fa '18