Alan Leung

Researcher, Apple
Joined
December 2023

Names

Alan Leung (Preferred)

Emails

****@apple.com (Confirmed)
, 
****@cs.ucsd.edu (Confirmed)
, 
****@leung.work (Confirmed)

Personal Links

Career & Education History

Researcher
Apple (apple.com)
2022 – Present
Researcher
Microsoft (microsoft.com)
2017 – 2022
PhD student
Computer Science and Engineering, University of California, San Diego (ucsd.edu)
2010 – 2017
Undergrad student
Electrical and Computer Engineering, Cornell University (cornell.edu)
2000 – 2004

Advisors, Relations & Conflicts

PhD Advisor
Sorin Lerner
2010 – 2017
PhD Advisor
Ranjit Jhala
2010 – 2017

Expertise

deep learning
, 
large language models
2022 – Present
program synthesis
, 
program analysis
, 
program verification
2010 – Present

Publications

Co-Authors