Byeongjee Kang

Hi, welcome to my website.

I am an undergraduate student at POSTECH, double major in computer science and mathematics. My primary research interests are programming languages, logic, software verification, software engineering, and distributed systems.

Education

• B.S. in Computer Science and Engineering & Mathematics, Pohang University of Science and Technology (POSTECH), Feb 2018 — Feb 2023

• High school diploma, Korea Science Academy of KAIST, Feb 2015 — Feb 2018

Experiences

• Undergraduate research intern at POSTECH Software Verification Laboratory, Feb 2022 — Present
• Member of PDAO
• Software engineer at Kodebox, Jan 2020 — Dec 2021
• Undergraduate research intern at POSTECH Programming Language Laboratory, June 2018 — June 2019

See my CV for more information.

Publications

See Publications