An Haechan

I'm on my 10th semester as undergraduate at KAIST, School of Computing. I'm joining the graduate school of computing at KAIST next spring ('23).

Contact

Interests

I have interests in theories of programming languages and program analysis. Also I care about writing clean and neat code, in general, designing such abstractons. My belief is that we can make difficult, almost impossible-to-handle things easier with careful design based on rigorous reasoning. Recently, interests on systems programming, hardware-aware design is growing on me.

Experiences

Skills

Lanauges
Python, Ocaml, Rust, C

DevOps
Linux, Git, Docker

Publications

Hope I contribute expanding the knowledge of humankind soon.

Memorable Courseworks

(* Due to the course policies, my implementation repos are all private.)

Courses I've taken so far

Others

I love European football talks. Tactics, transfer market, league matches, etc. If you're interested, maybe contact me!