CV

M.S., Computer Science and Engineering

Seoul National University

• Advised by Chung-Kil Hur
• Thesis: Operational Semantics for Expressing and Reasoning about Fairness Properties

B.S., Physics, Computer Science and Engineering

Seoul National University

• Double major in Physics and CSE

Research Assistant

Software Foundations Lab, Seoul National University

Research Intern

Max Planck Institute for Security and Privacy, Bochum, Germany

• Advised by Cătălin Hrițcu
• Developing and verifying a realistic secure compiler

Research Intern

Software Foundations Lab, Seoul National University

• Advised by Chung-Kil Hur
• Developing and verifying a compiler for the CCR framework

Mandatory Military Service

ROK Army

• Sergeant

Research Intern

Integrated Quantum Systems Lab, Seoul National University

• Advised by Dohun Kim
• Research and experiments on NV center qubits
• Programming and developing devices for experiments

Master's Thesis Award

Department of Computer Science and Engineering, Seoul National University

PLDI 2023, as part of FCRC 2023

Orlando, Florida, United States

• Fair operational semantics

SIGPL Winter School 2023, The Korean Institute of Information Scientists and Engineers

Seoul, South Korea

• About fair operational semantics, as a part of research group introduction

Topics in Programming Languages (Logic in computer science)

Makoto Tatsuta, Seoul National University

• TA, Graduate level course

Principles of Programming

Chung-Kil Hur, Seoul National University

• TA, Undergraduate level course

Principles and Practices of Software Development

Chung-Kil Hur, Seoul National University

• TA, Undergraduate level course

Coq tutorial for refinement-based verification

SFlab, Seoul National University

• Please refer to https://github.com/mori1116/refinement-tutorial