하규리
My blogs
| Occupation | 공부하는 사람 |
|---|---|
| Location | South Korea |
| Interests | Logic, Computer Science, Automatic Theorem Proving, Type System, Programming Languages, Software Verification |
| Favorite Movies | 주인공의 성장을 다룬 모든 종류의 영화 |
| Favorite Music | 클래식, 재즈, 섹소폰음악 |
| Favorite Books | 쉬운책, 하드커버, 두꺼운책, 어려운책 |