Joseph Tafese

IBET Momentum Fellow at University of Waterloo

Joseph Tafese is a PhD candidate in Electrical and Computer Engineering at the University of Waterloo. His research interests are formal verification, static analysis and automated reasoning. He is motivated by the need for robust, efficient and practical tools for the verification of software systems at scale.

He has graduated with an Honors Bachelor of Software Engineering degree from the University of Waterloo, with a minor in Cognitive Sciences and an Option in Artificial Intelligence. Through this program, he has gained valuable experience in small to medium start-ups, publicly traded companies and research in a university setting.

Joseph will be working under the supervision of Dr. Arie Gurfinkel, who brings decades of experience, in producing tools that have made a meaningful impact in today’s industry. With Dr. Gurfinkel’s cornerstone projects like SeaHorn and Spacer open for further development, Joseph is honored and privileged to be able to make meaningful contributions to these high value tools.


The Faculties of Engineering and Mathematics at University of Waterloo are committed to increasing the diversity of Canadian workforce in the engineering and technology sectors, especially, the participation from Indigenous and Black communities.

The Momentum Fellowships are a central pillar of the new IBET PhD Project which aims to change the academic landscape within the next five to 10 years by increasing the number of Indigenous and Black engineering professors teaching and researching in universities across Ontario. The project will also create a pipeline of students who will increase diversity in Canadian technology industries as they enter the workforce with graduate degrees from STEM programs.