Irene Yoon
E-mail:
euisun.yoon@inria.fr
postdoc
@
Cambium
, INRIA Paris
Publications
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
CoqPL 2025,
CPP 2025
,
Coq Workshop 2024
,
HOPE 2024
.
Artifact Evaluation Committee: PLDI 2021, PLDI 2022.
Teaching
Miscellany