Current students

Cheriton School of Computer Science Professor Ian Goldberg has been named a Senior Member of the Institute of Electrical and Electronics Engineers. Only 10 per cent of IEEE’s more than 400,000 members receive this designation, an honour conferred to those who have experience reflecting professional maturity, professional practice experience of at least ten years, and significant achievements. 

Please note: This seminar will take place in DC 1302 and virtually over Zoom.

Jian Pei, Professor
Electrical and Computer Engineering Department, Duke University

Please note: This master’s thesis presentation will take place online.

Ende Jin, Master’s candidate
David R. Cheriton School of Computer Science

Supervisors: Professors Yizhou Zhang, Ondřej Lhoták

With the growing practice of mechanizing language metatheories, it has become ever more pressing that interactive theorem provers make it easy to write reusable, extensible code and proofs.

Please note: This master’s thesis presentation will take place online.

Faezeh Ebrahimianghazani, Master’s candidate
David R. Cheriton School of Computer Science

Supervisor: Professor Florian Kerschbaum

Please note: This PhD seminar will take place in DC 1304 and virtually on Zoom.

Yen-Ting (Allen) Yeh, PhD candidate
David R. Cheriton School of Computer Science

Supervisor: Professor Daniel Vogel

Please note: This master’s thesis presentation will take place online.

Krishna Kanth Arumugam, Master’s candidate
David R. Cheriton School of Computer Science

Supervisor: Professor Mei Nagappan

Cheriton School of Computer Science Professor Dan Berry and his former PhD student Sri Fatimah Tjong have received the most influential paper award at REFSQ 2023. Also known as the 29th International Working Conference on Requirements Engineering: Foundation for Software Quality, the annual meeting took place this year from April 17–20 in Barcelona, Spain.