PhD Student
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