Mark Moeller
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
GitHubOpen ↗
Publications
1 items
Active Learning of Symbolic NetKAT Automata
2025
Cited
0
Resume (English only)
Co-authors
9 total
Alexandra Silva
Alexandra Silva
Cornell University
Nate Foster
Nate Foster
Professor of Computer Science, Cornell University
Alaia Solko-Breslin
Alaia Solko-Breslin
PhD Student, University of Pennsylvania
Caleb Koch
Caleb Koch
Stanford University
Co-author 5
Co-author 5
Jules Jacobs
Jules Jacobs
Cornell University
David Darais
David Darais
Galois, Inc.
Co-author 8
Co-author 8