Master’s Thesis Presentation • Programming Languages • Language Design for Scalable, Extensible Proof Engineering
Please note: This master’s thesis presentation will take place in DC 2314 and online.
Oghenevwogaga Ebresafe, Master’s candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Yizhou Zhang