PhD Student
Automated Technology for Verification and Analysis
Formal Methods (FM)
Computer Aided Verification (CAV)
International Conference on Automated Planning and Scheduling (ICAPS)
International Conference on Autonomous Agents and Multiagent Systems (AAMAS)
International Conference on Autonomous Agents and Multiagent Systems (AAMAS)
National Conference of the American Association for Artificial Intelligence (AAAI)
Tools and Algorithms for Construction and Analysis of Systems (TACAS)
International Symposium on Automated Technology for Verification and Analysis (ATVA)