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

Experiences

See my CV for more information.

Publications

See Publications