Scholar

Mark Moeller

Google Scholar ID: 9KvinzYAAAAJ

PhD Student, Cornell University

Programming LanguagesAutomata LearningVerification in Networking

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

15

H-index

3

i10-index

0

Publications

4

Co-authors

9

list available

Contact

No contact links provided.

Publications

2 items

A Fast Quantitative Analyzer for NetKAT

2026

Cited

0

Active Learning of Symbolic NetKAT Automata

2025

Cited

0

Resume (English only)

Co-authors

9 total

Alexandra Silva

Cornell University

Professor of Computer Science, Cornell University

Alaia Solko-Breslin

PhD Student, University of Pennsylvania

Stanford University

Cornell University