You can download my full CV here.

Education

• Ph.D in Computer Science, University of California San Diego, 2018-Present
• B.A in Computer Science, Swarthmore College, 2012-2016

Publications

• Lemmanaid: Neuro-Symbolic Lemma Conjecturing Yousef Alhessi, Sólrún Halla Einarsdóttir, George Granberry, Emily First, Moa Johansson, Sorin Lerner, Nicholas Smallbone

• On Lemma Conjecturing using Neural, Symbolic and Neuro-symbolic approaches Sólrún Halla Einarsdóttir, Yousef Alhessi, Emily First, and Moa Johansson

• Course experience report: full-class compiler collaboration Joe Gibbs Politz, Yousef Alhessi

• Trust but verify: SFI safety for native-compiled Waam Evan Johnson, David Thien, Yousef Alhessi, Shravan Narayan, Fraser Brown, Sorin Lerner, Tyler McMullen, Stefan Savage, Deian Stefan

• Generating Correctness Proofs with Neural Networks Alex Sanchez-Stern, Yousef Alhessi, Lawrence Saul, Sorin Lerner

–>