English | 日本語
ORCID ・ DBLP ・ Research Map ・ Google Scholar ・ LinkedIn ・ GitHub
* 上記のプロファイルは積極的に管理されていません。 私に関する最新の情報はこのホームページを確認してください。 ☺︎
所属:京都大学大学院情報学研究科 コンピュータソフトウェア分野 特定研究員
メール: Sewon@sewonpark.com ・ sewon@fos.kuis.kyoto-u.ac.jp
DBLPもご参照ください
*星印⭐︎で表示された博士号に関連する論文以外の論文は、すべて著者がアルファベット順に表記されています。
もっと見る(〜2020年)
もっと見る(〜2022年)
CID ・ Korea Logic Day ・ Andrej Bauer ・ Junhee Cho ・ Akitoshi Kawamura ・ Junguk Lee ・ Donghyun Lim ・ Florian Steinberg ・ Holger Thies ・ Chuangjie Xu ・ Martin Ziegler