Thesis defence

Subscribe to Thesis defence
Wednesday, August 6, 2025 10:00 am - 11:00 am EDT (GMT -04:00)

Master’s Thesis Presentation • Cryptography, Security, and Privacy (CrySP) • Argus: Detecting Access Control Vulnerabilities in Android Framework using Large Language Models

Please note: This master’s thesis presentation will take place in DC 2314 and online.

Haseeb Ur Rehman Faheem, Master’s candidate
David R. Cheriton School of Computer Science

Supervisor: Professor Yousra Aafer

Monday, July 14, 2025 10:00 am - 11:00 am EDT (GMT -04:00)

Master’s Thesis Presentation • Cryptography, Security, and Privacy (CrySP) • Compiler Support for Constant-Time Programs in LLVM

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

Mehdi Aghakishiyev, Master’s candidate
David R. Cheriton School of Computer Science

Supervisors: Professors N. Asokan, Meng Xu

Wednesday, July 23, 2025 1:00 pm - 2:00 pm EDT (GMT -04:00)

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

Thursday, August 7, 2025 12:00 pm - 3:00 pm EDT (GMT -04:00)

PhD Defence • Software Engineering • Precise and Scalable Constraint-based Type Inference for Incomplete Java Code Snippets in the Age of Large Language Models

Please note: This PhD defence will take place in DC 2310 and online.

Yiwen Dong, Ph D candidate
David R. Cheriton School of Computer Science

Supervisor: Professor Chengnian Sun

Wednesday, July 9, 2025 1:00 pm - 2:00 pm EDT (GMT -04:00)

Master’s Thesis Presentation • Human-Computer Interaction • Exploring How AI-Suggested Politeness Strategies Influence Email Writing and Social Perception Among Native and Non-Native Speakers

Please note: This master’s thesis presentation will take place in DC 2310 and online.

Zibo Selena Zhang, Master’s candidate
David R. Cheriton School of Computer Science

Supervisor: Professor Jian Zhao

Wednesday, June 18, 2025 1:00 pm - 2:00 pm EDT (GMT -04:00)

Master’s Thesis Presentation • Algorithms and Complexity • NP-hardness of Testing Equivalence to Sparse and Constant-support Polynomials

Please note: This master’s thesis presentation will take place in DC 2310 and online.

Omkar Baraskar, Master’s candidate
David R. Cheriton School of Computer Science

Supervisors: Professors Éric Schost, Rafael Oliveira