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
The authors in all my contributions are written in the alphabetical order
Journals
- “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
- Preprint at https://arxiv.org/abs/2202.00891
Refereed Conference Publications
- “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
- “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
Short Peer-reviewed Conference Proceedings
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
- Verifying iRRAM-like implementation of exact real computation
- Sewon Park, Holger Thies
- Continuity, Computability, Constructivity - From Logic to Algorithms CCC 2023
- Sep 25 – 29, 2023, Kyoto, Japan
- 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, 2019, Daejeon, Korea
- Computability and Complexity in Analysis 2017 CCA2017
- Organizing Committee member
- July 24-27, 2017, Daejeon, Korea