Irene Yoon e-mail: [email protected]

Publications

GitHub  DBLP Google Scholar ORCID

Education

• Ph.D. Computer Science. University of Pennsylvania.
  Advisor: Steve Zdancewic
  Philadelphia, PA, USA. Dec. 2023.
  
• B.S. Computer Science. Cornell University.
  Ithaca, NY, USA. May 2019.

Professional Experience

• Postdoctoral Researcher. Inria.
  Advisor: François Pottier
  Paris, France. Feb. 2024 - Jan. 2025.
• Research Intern. Jane Street Capital.
  London, UK. Spring 2023.
• Research Intern. MPI-SWS.
  Advisor: Derek Dreyer
  Remote. Summer 2021.
• Explore Microsoft Intern. Microsoft.
  San Francisco, CA, USA. Summer 2017.

Program Committees

• ICFP 2025, CoqPL 2025, CPP 2025, Coq Workshop 2024, HOPE 2024.
• Artifact Evaluation Committee: PLDI 2021, PLDI 2022.

Teaching

miscellany