English | 日本語
DBLP ・ GitHub
・ Google Scholar
・ LinkedIn
・ ORCID
・ Research Map
* none of the above profiles is being actively maintained. Only this webpage is ☺︎
I am a postdoctoral researcher hosted by Prof. Atsushi Igarashi at the Computer Software Group, Kyoto University. You may contact me by Sewon@sewonpark.com or by sewon@fos.kuis.kyoto-u.ac.jp.
My research interests include computable analysis, verified exact real-number computation, and formalization of constructive, computable, and classical mathematics in a dependent type theory and its implementation, such as the Coq proof assistant.
Please consider subscribing to the Korea Logic Mailing List to stay informed about various logic-related events in Korea!
This webpage works as my CV when it is printed out. Including boxes like this, unnecessary stuff will disappear in printing.
I started to post some notes in Notes. Take a look!
The authors in all my contributions except one marked with ⭐︎ are listed in the alphabetical order
These are lists automatically generated from my .bib database. (To be precise, it automatically generates the lists in here where I copy these lists from.) There, also a list of conference contributions that I coauthored can also be found.
CID ・ Korea Logic Day ・ Andrej Bauer ・ Junhee Cho ・ Akitoshi Kawamura ・ Junguk Lee ・ Donghyun Lim ・ Florian Steinberg ・ Holger Thies ・ Chuangjie Xu ・ Martin Ziegler