 Name: Sewon Park
 Interests:
 Constructive Mathematics
 Type theories and their interpretations
 Computability and Complexity in Analysis
 Programming language theory
 Drawing..
 Email: swelite@kaist.ac.kr
 Education:
 September 2017 – current: PhD program in Computer Science @ Complexity lab., KAIST
 September 2015 – August 2017: Master in Computer Science @ Complexity lab., KAIST
 dissertation: Verified Real Computatoin (full pdf)
 February 2011 – August 2015: Undergraduate in Industrial System engineering & Physics @ KAIST
 Publications:
 See DBLP
 Conference talks:
 CCC2019 / September 2019 / Ljubljana, Slovenia / Computability, Continuity, Constructivity  from Logic to Algorithms / “Axiomatic Reals in Type Theory for Program Extraction”
 FWAC2018 / November 2018 / Seoul, Korea / Fall Workshop on Algorithms and Computation / “Interval Gaussian Algorithm for Singular Interval Matrices”
 SCAN2018 / September 2018 / Tokyo, Japan / The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations / “Interval Gaussian Algorithm for Singular Interval Matrices”
 CCA2017 / July 2017 / Daejeon, Korea / Computability and Complexity in Analysis 2017 / “Reliable Diagonalization of Degenerate Matrices” / joint work with Martin Ziegler
 FWAC2016 / November 2016 / Seoul, Korea / Fall Workshop on Algorithms and Computation / “Implementation and Empirical Evaluation of two Algorithms for Computing Characteristic Polynomials’ Coefficients in Exact Real Arithmetic”
 WAAC2016 / August 2016 / Hakodate, Japan / The 19th JapanKorea Joint Workshop on Algorithms and Computation / “Verification in Real Computation” / joint work with Norbert Th. Müller, Norbert Preining and Martin Ziegler
 CCA2016 / June 2016 / Faro, Portugal / Computability and Complexity in Analysis 2016 / “On Formal Verification in Imperative Multivalued Programming over Continuous Data Types” / joint work with Norbert Th. Müller, Norbert Preining and Martin Ziegler
 Visits:
 January 2020 – February 2020: visited Prof. Alex Simpson and Foundations of Mathematics and Theoretical Computer Science research group at the Faculty of Mathematics and Physics, University of Ljubljana, Slovenia
 September 2019: Autumn School ‘Proof and Computation’ at Herrsching, Germany
 September 2018: Autumn School ‘Proof and Computation’ at Fischbachau, Germany
 November 2017 – December 2017: visited Prof. Norbert Mueller and University of Trier, Trier, Germany
 October 2017 – November 2017: visited Prof. Alex Simpson and Foundations of Mathematics and Theoretical Computer Science research group at the Faculty of Mathematics and Physics, University of Ljubljana, Slovenia
 Other activities:

Blog posts:

rewriting is induction _{05/01/2019}

Questions in Multivaluedness _{08/05/2018}

Proof as Object 0 _{07/11/2018}

Welcome to my blog _{05/30/2018}

 Programming Projects:
 Visit also:
 Junhee Cho
 Holger Thies
 Any more blog?