Portrait of Alan Leung

Alan Leung

Senior Research Software Engineer


I am a software engineer and researcher on the PROSE Team. My current work focuses on making end-users and developers more productive by targeted application of program synthesis to automate repetitive and error-prone tasks. Prior to Microsoft, I earned a PhD in Computer Science from UC San Diego, where I investigated program synthesis techniques to aid in programming language construction, as well as formal methods techniques for verification of low-level software.