Skip to main content
Kijeong Lim's user avatar
Kijeong Lim's user avatar
Kijeong Lim's user avatar
Kijeong Lim
  • Member for 4 years
  • Last seen more than a week ago
About

I'm an undergraduate student majoring in mechanical engineering at Chonnam National University in Gwangju, Korea. I'm interested in mathematical logic, especially formalizing the metatheory of first-order logic. On the other hand the programming languages in which I'm interested are Haskell, Coq and ╬╗Prolog. Although I plan to study programming language theory to work in the field of software verification, I want to:

  1. create my own dialect of ╬╗Prolog and implement its interpreter, and
  2. create my own dependent type language and implement its interpreter.
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
6
bronze badges
Top tags
1
Score
2
Posts
100
Posts %
1
Score
2
Posts
100
Posts %
Top posts