Mark Moeller

moeller@cs.cornell.edu     

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

I enjoyed being an organizer of the Programming Languages Discussion Group (PLDG) for several years.

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.

Publications

KATch: A Fast Symbolic Verifier for NetKAT
Mark Moeller + Jules Jacobs, Olivier Savary Belanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, Alexandra Silva
PLDI 2024
[pdf] [code]
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

  • 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