Sewon Park
Interests
Employment
Education
Publications
Reviewed
“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, submitted accepted for publication at a journal)
“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
Show more (-2020)
“Compact Subsets in Exact Real Computation” (2020)
“Topological Aspects on Nondetermistic Computation” (2020)
“Grassmannian as Continuous Data Type with Computable Semantics” (2019)
Seokbin Lee, Donghyun Lim, Sewon Park, Martin Ziegler
한국정보과학회 학술발표논문집 (KIISE Conference Proceedings), pp. 1767-1769
-
“Tensor Calculus in Exact Real Computation on Simplicial Complexes” (2018)
Chansu Park, Sewon Park, Martin Ziegler
한국정보과학회 학술발표논문집 (KIISE Conference Proceedings), pp. 1729-1731
-
Conference Talks
“ A type-theoretical interpretation of intuitionistic fixed point logic”
joint work with Ulrich Berger, Holger Thies and Hideki Tsuiki
-
October 18–21, 2022, Seoul, Korea (Online) (talk on 19th)
“Some steps toward program extraction in a type-theoretical interpretation of IFP”
joint work with Ulrich Berger, Holger Thies and Hideki Tsuiki
Continuity, Computability, Constructivity - From Logic to Algorithms CCC2022
September 19–23, 2022, Padova, Italy (talk on 20th)
“Nondeterministic limits and certified exact real computation”
“Verified computation over real numbers and other continuous objects” (tutorial)
The second Japan-Russia workshop on effective descriptive set theory, computable analysis and automata link
-
“An axiomatization of real numbers in constructive type theory and its application”
Show more (2021)
“Lazy Data Types”
joint work with Jihoon Hyun and Martin Ziegler
The 14th Annual Meeting of the Asian Association for Algorithms and Computation AAAC2021
October 24, 2021, Airmeet online meeting
“Nondeterminism in constructive metric completeness” abstract
joint work with Michal Konečný and Holger Thies
2021 KMS Annual Meeting Special Session: Mathematical Logic and Its Applications KMS2021
October 21, 2021, Zoom Online Meeting
“Toward verified real computation” (invited talk)
“Intuitionistic Logic, Type Theory, and Computer Science” (introductory)
Show more (-2020)
“Topological Aspects on Nondetermistic Computation”
“Clerical: an Imperative Language for Verified Real-number Computation”
“Multivalued functions in a dependent type theory” abstract
joint work with Andrej Bauer, Philipp G. Haselwarter, and Egbert Rijke
-
July 2020, Zoom Online Meeting
“Axiomatic Reals in Type Theory for Program Extraction”
“Interval Gaussian Algorithm for Singular Interval Matrices”
“Interval Gaussian Algorithm for Singular Interval Matrices”
“Reliable Diagonalization of Degenerate Matrices”
joint work with Martin Ziegler
Computability and Complexity in Analysis 2017 CCA2017
July 2017, Daejeon, Korea
“Implementation and Empirical Evaluation of two Algorithms for Computing Characteristic Polynomials' Coefficients in Exact Real Arithmetic”
“Verification in Real Computation”
joint work with Norbert Th. Müller, Norbert Preining and Martin Ziegler
The 19th Japan-Korea Joint Workshop on Algorithms and Computation WAAC2016
August 2016, Hakodate, Japan
“On Formal Verification in Imperative Multivalued Programming over Continuous Data Types”
joint work with Norbert Th. Müller, Norbert Preining and Martin Ziegler
Computability and Complexity in Analysis 2016 CCA2016
June 2016, Faro, Portugal
Research Visits
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
The first Korea Logic Day 2021 KLD2021
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
Programming Projects
Links