Park Sewon
パク セウォン (Sewon Park)
更新日: 2025/09/30
基本情報
- 所属
- 京都大学
- 学位
-
博士(2021年8月 韓国科学技術院)
- 研究者番号
- 51005567
- J-GLOBAL ID
- 202401011059512860
- researchmap会員ID
- R000067818
- 外部リンク
研究分野
1経歴
3-
2024年4月 - 現在
-
2022年4月 - 2024年3月
-
2021年10月 - 2022年3月
学歴
3-
2017年8月 - 2021年8月
-
2015年8月 - 2017年8月
-
2011年2月 - 2015年8月
論文
12-
Logical Methods in Computer Science 20(2:17) 1-55 2024年6月24日 査読有り
-
MFCS 59-16 2023年 査読有り
-
FCT 363-377 2023年 査読有り
-
CoRR abs/2202.00891 2022年
-
NASA Formal Methods - 14th International Symposium(NFM) 771-789 2022年 査読有り
-
Logic, Language, Information, and Computation - 27th International Workshop(WoLLIC) 252-268 2021年 査読有り
-
The Bulletin of Symbolic Logic 27(4) 531-531 2021年
-
CoRR abs/1906.06684 2019年
-
WALCOM: Algorithms and Computation - 12th International Conference(WALCOM) 132-143 2018年 査読有り
-
CoRR abs/1608.05787 2016年
講演・口頭発表等
3-
The 17th International Conference on Computability, Complexity and Randomness 2024年3月11日 招待有り
-
The second Japan-Russia workshop on effective descriptive set theory, computable analysis and automata 招待有り
-
Continuity, Computability, Constructivity From Logic to Algorithms 2021 招待有り
共同研究・競争的資金等の研究課題
2-
日本学術振興会 科学研究費助成事業 特別研究員奨励費 2023年3月 - 2024年3月
-
日本学術振興会 科学研究費助成事業 特別研究員奨励費 2022年4月 - 2024年3月