Scholar
Mark Moeller
Google Scholar ID: 9KvinzYAAAAJ
PhD Student, Cornell University
Programming Languages
Automata Learning
Verification in Networking
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
15
H-index
3
i10-index
0
Publications
4
Co-authors
9
list available
Contact
GitHub
Open ↗
Publications
1 items
Active Learning of Symbolic NetKAT Automata
2025
Cited
0
Resume (English only)
Co-authors
9 total
Alexandra Silva
Cornell University
Nate Foster
Professor of Computer Science, Cornell University
Alaia Solko-Breslin
PhD Student, University of Pennsylvania
Caleb Koch
Stanford University
Co-author 5
Jules Jacobs
Cornell University
David Darais
Galois, Inc.
Co-author 8
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up