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.
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.