Jianan Yao (Preferred)
Jianan Yao
Assistant Professor, Department of Electrical and Computer Engineering, University of Toronto
Joined
September 2019
Names
Emails
****@columbia.edu (Confirmed)
****@utoronto.ca (Confirmed)
Personal Links
Career & Education History
Assistant Professor
Department of Electrical and Computer Engineering, University of Toronto (utoronto.ca)
2025 – Present
Applied Scientist
Amazon Web Services, Amazon (amazon.com)
2024 – 2025
PhD student
Department of Computer Science, Columbia University (columbia.edu)
2019 – 2024
Advisors, Relations & Conflicts
Coauthor
Chris Hawblitzel
2024 – 2025
Coauthor
Ziqiao Zhou
2023 – 2025
Coauthor
Weiteng Chen
2023 – 2025
Coauthor
Weidong Cui
2023 – 2025
Coauthor
Hongzheng Zhu
2023 – 2025
Coauthor
Ali Javadi-Abhari
2020 – 2022
Coauthor
Andrew W. Cross
2020 – 2022
Coauthor
John Hui
2020 – 2021
Expertise
formal verification
, proof automation
, programming languages
Present
machine learning
, large language models
Present
distributed systems
, blockchain
Present
Publications
Co-Authors
- Ali Torkamani
- Aman Goel
- Andrew M. Kent
- Benjamin Kiesl-Reiter
- Byron Cook
- Darion Cassel
- Dejan Jovanović
- Dimitra Giannakopoulou
- Divya Raghunathan
- Duncan Clough
- Ferhat Erata
- Jeffrey J. Kuna
- Joe Hendrix
- Joseph Lilien
- Jun Yang
- Kexin Pei
- Marc Hudak
- Michael Tautschnig
- Nadia Labai
- Nafi Diallo
- Nathaniel Weir
- Nick Feng
- Niloofar Razavi
- Rodrigo Caridad
- Rémi Delmas