Doktorand:in
International Symposium on Automated Technology for Verification and Analysis (ATVA)
National Conference of the American Association for Artificial Intelligence (AAAI)