Master’s Thesis Presentation • Formal Methods • Local Theories and Efficient Partial Quantifier Elimination
Please note: This master’s thesis presentation will take place in DC 2310 and online.
Estifanos Getachew, Master’s candidate
David R. Cheriton School of Computer Science
Supervisors: Professors Arie Gurfinkel, Richard Trefler