Table of Contents
Sewon Park
I am a JSPS International Research Fellow hosted by Prof. Akitoshi Kawamura at the Research Institute for Mathematical Sciences, Kyoto University. You may contact me by Sewon@sewonpark.com or sewon@kurims.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.kr is now deactivated. If you have sent any email to the deactivated email address, please send it again to another address above.
Research Interests
Employment
- JSPS International Research Fellow
- Supported by JSPS Postdoctoral Fellowship for Research in Japan (Standard)
- on “Verified Exact Computation over Continuous Higher Types”
- Research Institute for Mathematical Sciences, Kyoto University, Japan
- 1 April 2022 – 31 March 2024
- Postdoctoral Researcher
- Research Institute for Mathematical Sciences, Kyoto University, Japan
- 16 October 2021 – 31 March 2022
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 2021
- M.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
Reviewed
- “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
- “Extracting efficient exact real number computation from proofs in constructive type theory” (2022,
submittedaccepted for publication at a journal)- Michal Konečný, Sewon Park, and Holger Thies
- “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
- “Foundation of Computer (Algebra) ANALYSIS Systems: Semantics, Logic, Programming, Verification” (2016, submitted)
- Sewon Park, Franz Brauße, Pieter Collins, SunYoung Kim, Michal Konečný, Gyesik Lee, Norbert Müller, Eike Neumann, Norbert Preining, and Martin Ziegler
Reviewed short papers
Conference Talks
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.
Invited Talks
- Verified computation over real numbers and other continuous objects
- Tutorial talk
- Sewon Park
- The second Japan-Russia workshop on effective descriptive set theory, computable analysis and automata Link
- Mar 02 – 04, 2022, Akita, Japan
- Toward verified real computation
- Invited talk
- Sewon Park
- Continuity, Computability, Constructivity From Logic to Algorithms CCC 2021
- Sep 20 – 24, 2021, Online
Contributed Talks
- Verified Exact Real Computation with Nondeterministic Functions and Limits
- Sewon Park
- 24th International Symposium on Fundamentals of Computation Theory FCT 2023
- Sep 18 – 21, 2023, Trier, Germany (online talk)
- Towards verified implementation of iterative and interactive real-RAM
- Sewon Park, Holger Thies
- Twentieth International Conference on Computability and Complexity in Analysis CCA 2023
- Sep 07 – 09, 2023, Dubrovnik, Croatia
Research Visits
- 数学基礎論サマースクール2023 link
- September 11 – 15, 2023, Meiji University, Tokyo, Japan
- Laboratoire d'informatique de l'École polytechnique
- Prof. Olivier Bournez
- September 4 – 6, 2023, Palaiseau, France
- University of Ljubljana
- Prof. Alex Simpson and Prof. Andrej Bauer
- February 27 – March 15, 2023, Ljubljana, Slovenia
- Meiji University(明治大学)
- Prof. Kenshi Miyabe(宮部賢志)
- February 14 – 17, 2023, Kanagawa, Japan
- University of Ljubljana
- Prof. Alex Simpson and Prof. Andrej Bauer
- January – February, 2020, Ljubljana, Slovenia
- Autumn School Proof and Computation PC19
- September 2019, Herrsching, Germany
- Autumn School Proof and Computation PC18
- September 2018, Fischbachau, Germany
- University of Trier
- Prof. Norbert Müller
- November – December, 2017, Trier, Germany
- Dagstuhl Seminar 17481 Reliable Computation and Complexity on the Reals
- November 26 – December 1, 2017, Schloss Dagstuhl, Wadern, Germany
- University of Ljubljana
- Prof. Alex Simpson and Prof. Andrej Bauer
- October – November, 2017, Ljubljana, Slovenia
Other Activities
- 2023 Continuity, Computability, Constructivity - From Logic to Algorithms CCC2023
- Programme Committee and Organizing Committee member
- September 25 - 29, 2023, Kyoto, Japan
- The second Korea Logic Day 2022 KLD2022
- Organizing Committee member
- 14 January 2022, online
- The first Korea Logic Day 2021 KLD2021
- Organizing Committee member
- 14 January 2021, online
- The 22nd Japan-Korea Joint Workshop on Algorithms and Computation WAAC2019
- Organizing Committee member
- October 4-5, 2018, Daejeon, Korea
- Computability and Complexity in Analysis 2017 CCA2017
- Organizing Committee member
- July 24-27, 2017, Daejeon, Korea