PhD Student
Atomic Gliders and Cellular Automata as Language Generators
International Symposium on Automated Technology for Verification and Analysis (ATVA)
Learning Broadcast Protocols with LeoParDS
National Conference of the American Association for Artificial Intelligence (AAAI)
Learning Broadcast Protocols