PhD Student
International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)
Logical Methods in Computer Science
Tools and Algorithms for Construction and Analysis of Systems (TACAS)
IEEE Computer Security Foundations Symposium (CSF)
Computer Aided Verification (CAV)
ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
IEEE Symposium on Logic in Computer Science (LICS)
International Conference on Concurrency Theory (CONCUR)