I am an Undergraduate Student at KAIST School of Computing. I am interested in programming language and formal verification. I joined Concurrency and Parallelism Laboratory to study about formal verification.
- Email: firstname.lastname@example.org
- GitHub: jeong0982
- Bibliography: DBLP, Google Scholar
- Place: Rm. 4441, Bldg. E3-1, KAIST (+82-42-350-7878)
- (2023) B.S. in Computer Science. KAIST (expected).
Intern, Pilab, August, 2019 - December, 2019, March, 2020 - June, 2020.
(topic: Programming language for developing smart contracts)