sewon_park
Table of Contents
Sewon Park (박세원)
English | 日本語
ORCID ・ DBLP
・ Research Map
・ Google Scholar
・ LinkedIn
・ GitHub
* none of the above profiles is being actively maintained. Only this homepage 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.
This webpage works as my CV when it is printed out. Including boxes like this, unnecessary stuff will disappear in printing.
-
My old KAIST email address
sewon[at]kaist.ac.kris now deactivated. If you have sent any email to the deactivated email address, please send it again to another address above. -
My old RIMS email address
sewon[at]kurims.kyoto-u.ac.jpis also now deactivated!
I started to post some notes in Notes. Take a look!
Research Interests
Employment
-
Postdoctoral Researcher
-
Graduate School of Informatics, Kyoto University, Japan
-
1 April 2024 – current
Postdoctoral Researcher-
Research Institute for Mathematical Sciences, Kyoto University, Japan
-
16 October 2021 – 31 March 2024
-
1 April 2022 – 31 March 2024 was supported by JSPS Postdoctoral Fellowship for Research in Japan (Standard) on Verified Exact Computation over Continuous Higher Types
Education
-
KAIST, Daejeon, Korea
-
PhD. in Computer Science
-
Complexity and Real Computation Laboratory, School of Computing
-
dissertation: Continuous Abstract Data Types for Verified Computation
-
The abstract published in The Bulletin of Symbolic Logic, 27(4), 531-531. doi:10.1017/bsl.2021.51
28 August 2017 – 20 August 2021M.S. in Computer Science-
Complexity and Real Computation Laboratory, School of Computing
-
dissertation: Verified Real Computation
-
31 August 2015 – 18 August 2017
B.S. in Physics (main major) and Industrial System Engineering (double major)-
7 February 2011 – 14 August 2015
Publications
See also DBLP
The authors in all my contributions are written in the alphabetical order
Journals
-
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation (2024)
-
Sewon Park, Franz Brauße, Pieter Collins, SunYoung Kim, Michal Konečný, Gyesik Lee, Norbert Müller, Eike Neumann, Norbert Preining, and Martin Ziegler
-
Logical Methods in Computer Science, June 24, 2024, Volume 20, Issue 2
Extracting efficient exact real number computation from proofs in constructive type theory (2022,submittedaccepted for publication)-
Michal Konečný, Sewon Park, and Holger Thies
-
Preprint at https://arxiv.org/abs/2202.00891
Refereed International Conference Publications
-
A Coq Formalization of Taylor Models and Power Series for Solving Ordinary Differential Equations (2024)
-
Sewon Park and Holger Thies
-
In: Bertot, Y. and Kutsia, T. and Norrish, M. (eds) 15th International Conference on Interactive Theorem Proving. ITP 2024
-
Leibniz International Proceedings in Informatics (LIPIcs), Volume 309, pp. 30:1-30:19, Schloss Dagstuhl –- Leibniz-Zentrum für Informatik
Verified Exact Real Computation with Nondeterministic Functions and Limits (2023)-
Sewon Park
-
In: Fernau, H., Jansen, K. (eds) Fundamentals of Computation Theory FCT 2023
-
Lecture Notes in Computer Science, vol 14292. Springer, Cham.
Formalizing Hyperspaces for Extracting Efficient Exact Real Computation (2023)-
Michal Konečný, Sewon Park, and Holger Thies
-
In: Leroux, J., Lombardy, S., Peleg, D. (eds) 48th International Symposium on Mathematical Foundations of Computer Science. MFCS 2023
-
Leibniz International Proceedings in Informatics (LIPIcs), vol 272. Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Certified Computation of Nondeterministic Limits (2022)-
Michal Konečný, Sewon Park, and Holger Thies
-
In: Deshmukh, J.V., Havelund, K., Perez, I. (eds) NASA Formal Methods. NFM 2022
-
Lecture Notes in Computer Science, vol 13260. Springer, Cham.
Axiomatic Reals and Certified Efficient Exact Real Computation (2021)-
Michal Konečný, Sewon Park, and Holger Thies
-
In: Silva A., Wassermann R., de Queiroz R. (eds) Logic, Language, Information, and Computation. WoLLIC 2021
-
Lecture Notes in Computer Science, vol 13038. Springer, Cham
Computing Periods … (2018)-
Junhee Cho, Sewon Park, and Martin Ziegler
-
In: Rahman M., Sung WK., Uehara R. (eds) WALCOM: Algorithms and Computation. WALCOM 2018
-
Lecture Notes in Computer Science, vol 10755. Springer, Cham
Preprints
-
Randomized Computation of Continuous Data: Is Brownian Motion Computable? (2019)
-
Fouché, Willem, Hyunwoo Lee, Donghyun Lim, Sewon Park, Matthias Schröder, and Martin Ziegler
Computable Operations on Compact Subsets of Metric Spaces with Applications to Fr\’echet Distance and Shape Optimization (2017)-
Chansu Park, Ji-Won Park, Sewon Park, Dongseong Seon, and Martin Ziegler
Short Peer-reviewed Conference Proceedings
-
-
-
-
-
-
-
-