Mark Moeller

moeller@cs.cornell.edu     

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

Research

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

  • 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