Mark Moeller     

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


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


  • 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