Research Interests
- Software Verification & Analysis
- Programming Language Design
- Program Synthesis
Recent Projects & Activities
- MicSE, the Michelson Symbolic Verifier
(Repository Link)
- 2020.06 ~ present
- Michelson is the smart contract language for Tezos blockchain.
- For previous projects and activities, see this page.
Educational Background
- 2020.09 ~ present, MS/PhD Integrated Course. Dept. of Computer Science and Engineering, Korea University
- 2014.03 ~ 2020.08, Undergraduate Course. Dept. of Computer Science and Engineering, Korea University (Excluding 2016.09 ~ 2019.02)
Contact Information
Room 614B, Science Library Bldg
College of Informatics
Korea University
Anam-dong 5-ga, Seongbuk-gu
Seoul 02841, South Korea
(email) [x]@korea.ac.kr
where [x] = jisukbyun
(academic)
(email) [y]@gmail.com
where [y] = jisukbyun12
(general, infrequently used)
See this page for other information about me.
Contents of this homepage are stored at https://github.com/cushionbadak/cushionbadak.github.io