sewon_park
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
sewon_park [2022/03/31 14:25] – [Employment] sewon | sewon_park [2024/04/04 18:02] – [Invited Talks] sewon | ||
---|---|---|---|
Line 1: | Line 1: | ||
====== Sewon Park ====== | ====== Sewon Park ====== | ||
- | I am (soon, starting from 1 April 2022) a [[https:// | + | I am a postdoctoral researcher |
+ | <WRAP box round lo no-print > | ||
+ | This webpage works as my CV when it is printed out. | ||
+ | Including boxes like this, unnecessary stuff will disappear in printing. | ||
+ | </ | ||
+ | |||
+ | |||
+ | <WRAP box round lo no-print > | ||
My old KAIST email address < | My old KAIST email address < | ||
- | ===== Interests ===== | + | </ |
- | * [[https:// | + | |
- | * [[http:// | + | ===== Research |
* [[http:// | * [[http:// | ||
* [[https:// | * [[https:// | ||
- | * Programming language theory | + | * [[https:// |
- | * [[https://park-sewon.github.io/gallery/ | Drawing..]] | + | * [[https:// |
+ | * [[https://philpapers.org/rec/BRIVOC | ||
+ | * [[http:// | ||
===== Employment ===== | ===== Employment ===== | ||
- | * **JSPS International Research Fellow** | + | * **Postdoctoral Researcher** |
+ | * Graduate School of Informatics, | ||
+ | * 1 April 2024 -- current | ||
+ | * **Postdoctoral Researcher** | ||
* Research Institute for Mathematical Sciences, Kyoto University, Japan | * Research Institute for Mathematical Sciences, Kyoto University, Japan | ||
- | * 1 April 2022 - 31 March 2024 | + | * 16 October 2021 -- 31 March 2024 |
- | * **Postdoctoral | + | * //1 April 2022 -- 31 March 2024 was supported by JSPS Postdoctoral |
- | * Research | + | |
- | * 16 October 2021 - 31 March 2022 | + | |
===== Education ===== | ===== Education ===== | ||
* **KAIST, Daejeon, Korea** | * **KAIST, Daejeon, Korea** | ||
Line 29: | Line 40: | ||
* dissertation: | * dissertation: | ||
* 31 August 2015 -- 18 August 2017 | * 31 August 2015 -- 18 August 2017 | ||
- | * **B.S.** in Physics (main major) and Industrial System Engineering (double | + | * **B.S.** in Physics (main major) and Industrial System Engineering (double |
* 7 February 2011 -- 14 August 2015 | * 7 February 2011 -- 14 August 2015 | ||
===== Publications ===== | ===== Publications ===== | ||
- | See [[https:// | + | |
- | ==== reviewed | + | <WRAP box round lo no-print > |
- | * **"Certified Computation of Nondeterministic Limits"** (2022 accepted) | + | See also [[https:// |
+ | </ | ||
+ | |||
+ | 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, < | ||
* //Michal Konečný, Sewon Park, and Holger Thies// | * //Michal Konečný, Sewon Park, and Holger Thies// | ||
- | * To appear in the proceedings | + | * Preprint at https:// |
+ | |||
+ | ==== Refereed Conference Publications ==== | ||
+ | * **" | ||
+ | * //Sewon Park// | ||
+ | * In: Fernau, H., Jansen, K. (eds) Fundamentals | ||
+ | * Lecture Notes in Computer Science, vol 14292. Springer, Cham. | ||
+ | * https:// | ||
+ | * **" | ||
+ | * //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. [[https:// | ||
+ | * Leibniz International Proceedings in Informatics (LIPIcs), vol 272. Schloss Dagstuhl -- Leibniz-Zentrum für Informatik | ||
+ | * https:// | ||
+ | * **" | ||
+ | * //Michal Konečný, Sewon Park, and Holger Thies// | ||
+ | * In: Deshmukh, J.V., Havelund, K., Perez, I. (eds) NASA Formal Methods. [[https:// | ||
+ | * Lecture Notes in Computer Science, vol 13260. Springer, Cham. | ||
+ | * https:// | ||
* **" | * **" | ||
* //Michal Konečný, Sewon Park, and Holger Thies// | * //Michal Konečný, Sewon Park, and Holger Thies// | ||
- | * In: Silva A., Wassermann R., de Queiroz R. (eds) Logic, Language, Information, | + | * In: Silva A., Wassermann R., de Queiroz R. (eds) Logic, Language, Information, |
* Lecture Notes in Computer Science, vol 13038. Springer, Cham | * Lecture Notes in Computer Science, vol 13038. Springer, Cham | ||
* https:// | * https:// | ||
+ | * **“Computing Periods …”** (2018) | ||
+ | * //Junhee Cho, Sewon Park, and Martin Ziegler // | ||
+ | * In: Rahman M., Sung WK., Uehara R. (eds) WALCOM: Algorithms and Computation. [[https:// | ||
+ | * Lecture Notes in Computer Science, vol 10755. Springer, Cham | ||
+ | * https:// | ||
+ | | ||
+ | ==== Preprints ==== | ||
+ | * **“Randomized Computation of Continuous Data: Is Brownian Motion Computable? | ||
+ | * //Fouché, Willem, Hyunwoo Lee, Donghyun Lim, Sewon Park, Matthias Schröder, and Martin Ziegler// | ||
+ | * https:// | ||
+ | * **“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// | ||
+ | * https:// | ||
+ | * **“Foundation of Computer (Algebra) ANALYSIS Systems: Semantics, Logic, Programming, | ||
+ | * //Sewon Park, Franz Brauße, Pieter Collins, SunYoung Kim, Michal Konečný, Gyesik Lee, Norbert Müller, Eike Neumann, Norbert Preining, and Martin Ziegler | ||
+ | * https:// | ||
+ | |||
+ | ==== Short Peer-reviewed Conference Proceedings ==== | ||
+ | ++++ Show more (-2020)| | ||
* **“Compact Subsets in Exact Real Computation”** (2020) | * **“Compact Subsets in Exact Real Computation”** (2020) | ||
* //Sewon Park and Jiman Hwang // | * //Sewon Park and Jiman Hwang // | ||
Line 59: | Line 113: | ||
* 한국정보과학회 학술발표논문집 (KIISE Conference Proceedings), | * 한국정보과학회 학술발표논문집 (KIISE Conference Proceedings), | ||
* https:// | * https:// | ||
- | * **“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 | + | |
- | * https:// | + | |
- | + | ||
- | ==== preprints ==== | + | |
- | * **" | + | |
- | * //Michal Konečný, Sewon Park, and Holger Thies// | + | |
- | * https:// | + | |
- | * **“Randomized Computation of Continuous Data: Is Brownian Motion Computable? | + | |
- | * //Fouché, Willem, Hyunwoo Lee, Donghyun Lim, Sewon Park, Matthias Schröder, and Martin Ziegler// | + | |
- | * https:// | + | |
- | * **“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// | + | |
- | * https:// | + | |
- | * **“Foundation of Computer (Algebra) ANALYSIS Systems: Semantics, Logic, Programming, | + | |
- | * //Sewon Park, Franz Brauße, Pieter Collins, SunYoung Kim, Michal Konečný, Gyesik Lee, Norbert Müller, Eike Neumann, Norbert Preining, and Martin Ziegler | + | |
- | * https:// | + | |
+ | ===== Conference Talks ===== | ||
- | ===== Conference talks ===== | + | <WRAP box round lo no-print > |
- | * **" | + | These are lists automatically generated from my [[https:// |
- | * //The second Japan-Russia workshop on effective descriptive set theory, computable analysis and automata// [[https:// | + | (To be precise, it automatically generates the lists in [[https:// |
- | * March 2-4, 2022, Akita, Japan (talk on 2nd and 3rd) | + | There, also a list of conference contributions that I coauthored can also be found. |
- | * **"An axiomatization of real numbers | + | </WRAP> |
- | * (based on) joint work with Michal Konečný and Holger Thies | + | |
- | * //2022 China-South Korea Non-Classical Logics and Related Algebra Systems Academic Seminar// | + | |
- | * February 12-13, 2022, Online (talk on 12th) | + | |
- | * **" | + | |
- | * joint work with Jihoon Hyun and Martin Ziegler | + | |
- | * //The 14th Annual Meeting of the Asian Association for Algorithms and Computation [[http:// | + | |
- | * October 24, 2021, Airmeet online meeting | + | |
- | * **" | + | |
- | * joint work with Michal Konečný and Holger Thies | + | |
- | * //2021 KMS Annual Meeting Special Session: Mathematical Logic and Its Applications [[https:// | + | |
- | * October 21, 2021, Zoom Online Meeting | + | |
- | * **" | + | |
- | * // | + | |
- | * September 23, 2021, Zoom Online Meeting | + | |
- | * **" | + | |
- | * //the first Korea Logic Day 2021 [[https:// | + | |
- | * January 14, 2021, Zoom Online Meeting | + | |
- | * **" | + | |
- | * joint work with Donghyun Lim | + | |
- | * //Korea Software Congress 2020 [[http:// | + | |
- | * December 2020, Zoom Online Meeting | + | |
- | * **" | + | |
- | * joint work with Andrej Bauer and Alex Simpson | + | |
- | * // | + | |
- | * September 2020, Zoom Online Meeting | + | |
- | * **" | + | |
- | * joint work with Andrej Bauer, Philipp G. Haselwarter, | + | |
- | * //Special Session: Mathematical Logic and Its Applications [[http:// | + | |
- | * July 2020, Zoom Online Meeting | + | |
- | * **" | + | |
- | * // | + | |
- | * September 2019, Ljubljana, Slovenia | + | |
- | * **" | + | |
- | * //Fall Workshop on Algorithms and Computation [[http:// | + | |
- | * November 2018, Seoul, Korea | + | |
- | * **" | + | |
- | * //The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations [[http:// | + | |
- | * September 2018, Tokyo, Japan | + | |
- | * **" | + | |
- | * joint work with Martin Ziegler | + | |
- | * // | + | |
- | * July 2017, Daejeon, Korea | + | |
- | * **" | + | |
- | * //Fall Workshop on Algorithms and Computation [[http:// | + | |
- | * November 2016, Seoul, Korea | + | |
- | * **" | + | |
- | * joint work with Norbert Th. Müller, Norbert Preining and Martin Ziegler | + | |
- | * //The 19th Japan-Korea Joint Workshop on Algorithms and Computation [[http:// | + | |
- | * 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 | + | |
- | * // | + | |
- | * June 2016, Faro, Portugal | + | |
- | ===== Research | + | ==== Invited Talks ==== |
+ | * **Abstract data type for exact real numbers and verified computation** [[https:// | ||
+ | * //Invited talk// | ||
+ | * Sewon Park | ||
+ | * The 17th International Conference on Computability, | ||
+ | * March 11-15, 2024, Nagoya, Japan | ||
+ | * **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 [[https:// | ||
+ | * Mar 02 -- 04, 2022, Akita, Japan | ||
+ | * **Toward verified real computation** | ||
+ | * //Invited talk// | ||
+ | * Sewon Park | ||
+ | * Continuity, Computability, | ||
+ | * Sep 20 -- 24, 2021, Online | ||
+ | |||
+ | ==== Contributed Talks ==== | ||
+ | * **Verifying iRRAM-like implementation of exact real computation** | ||
+ | * Sewon Park, Holger Thies | ||
+ | * Continuity, Computability, | ||
+ | * 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 [[https:// | ||
+ | * 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 [[http:// | ||
+ | * Sep 07 -- 09, 2023, Dubrovnik, Croatia | ||
+ | ++++ Show more (-2022)| | ||
+ | * **A type-theoretical interpretation of intuitionistic fixed point logic** | ||
+ | * Ulrich Berger, Sewon Park, Holger Thies, Hideki Tsuiki | ||
+ | * 2022 Global KMS International Conference [[https:// | ||
+ | * Oct 18 -- 21, 2022, Seoul, Korea (online talk) | ||
+ | * **Some steps toward program extraction in a type-theoretical interpretation of IFP** | ||
+ | * Ulrich Berger, Sewon Park, Holger Thies, Hideki Tsuiki | ||
+ | * Continuity, Computability, | ||
+ | * Sep 19 -- 23, 2022, Padova, Italy | ||
+ | * **Nondeterministic limits and certified exact real computation** | ||
+ | * Michal Konečný, Sewon Park, Holger Thies | ||
+ | * Nineteenth International Conference on Computability and Complexity in Analysis [[http:// | ||
+ | * May 23 -- 26, 2022, Glenside (PA), USA (online talk) | ||
+ | * **An axiomatization of real numbers in constructive type theory and its application** | ||
+ | * Michal Konečný, Sewon Park, Holger Thies | ||
+ | * 2022 China-South Korea Non-Classical Logics and Related Algebra Systems Academic Seminar | ||
+ | * Feb 12 -- 13, 2022, Online | ||
+ | * **Lazy Data Types** | ||
+ | * Jihoon Hyun, Sewon Park, Martin Ziegler | ||
+ | * The 14th Annual Meeting of the Asian Association for Algorithms and Computation [[http:// | ||
+ | * Oct 22 -- 24, 2021, Tainan, Taiwan (online talk) | ||
+ | * **Nondeterminism in constructive metric completeness** | ||
+ | * Michal Konečný, Sewon Park, Holger Thies | ||
+ | * 2021 KMS Annual Meeting Special Session: Mathematical Logic and Its Applications [[https:// | ||
+ | * Oct 20 -- 22, 2021, Online | ||
+ | * **Intuitionistic Logic, Type Theory, and Computer Science** | ||
+ | * Sewon Park | ||
+ | * the first Korea Logic Day 2021 [[https:// | ||
+ | * Jan 14 -- 14, 2021, Online | ||
+ | * **Topological Aspects on Nondetermistic Computation** | ||
+ | * Donghyun Lim, Sewon Park | ||
+ | * Korea Software Congress 2020 [[http:// | ||
+ | * Dec 21 -- 23, 2020, Online | ||
+ | * **Clerical: an Imperative Language for Verified Real-number Computation** | ||
+ | * Andrej Bauer, Sewon Park, Alex Simpson | ||
+ | * Seventeenth International Conference on Computability and Complexity in Analysis [[http:// | ||
+ | * Sep 09 -- 11, 2020, Online | ||
+ | * **Multivalued functions in a dependent type theory** | ||
+ | * Andrej Bauer, Philipp G., Sewon Park, Egbert Rijke | ||
+ | * KMS Spring 2020 - Special Session: Mathematical Logic and Its Applications [[http:// | ||
+ | * Jul 03 -- 03, 2020, Online | ||
+ | * **Axiomatic Reals in Type Theory for Program Extraction** | ||
+ | * Sewon Park | ||
+ | * Computability, | ||
+ | * Sep 2019, Ljubljana, Slovenia | ||
+ | * **Interval Gaussian Algorithm for Singular Interval Matrices** | ||
+ | * Sewon Park | ||
+ | * Fall Workshop on Algorithms and Computation [[http:// | ||
+ | * Nov 2018, Seoul, Korea | ||
+ | * **Interval Gaussian Algorithm for Singular Interval Matrices** | ||
+ | * Sewon Park | ||
+ | * The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations [[http:// | ||
+ | * Sep 2018, Tokyo, Japan | ||
+ | * **Reliable Diagonalization of Degenerate Matrices** | ||
+ | * Sewon Park, Martin Ziegler | ||
+ | * Computability and Complexity in Analysis 2017 [[http:// | ||
+ | * Jul 2017, Daejeon, Korea | ||
+ | * **Implementation and Empirical Evaluation of two Algorithms for Computing Characteristic Polynomials' | ||
+ | * Sewon Park | ||
+ | * Fall Workshop on Algorithms and Computation [[http:// | ||
+ | * Nov 2016, Seoul, Korea | ||
+ | * **Verification in Real Computation** | ||
+ | * Norbert Th., Sewon Park, Norbert Preining, Martin Ziegler | ||
+ | * The 19th Japan-Korea Joint Workshop on Algorithms and Computation [[http:// | ||
+ | * Aug 2016, Hakodate, Japan | ||
+ | * **On Formal Verification in Imperative Multivalued Programming over Continuous Data Types** | ||
+ | * Norbert Th., Sewon Park, Norbert Preining, Martin Ziegler | ||
+ | * Computability and Complexity in Analysis 2016 [[http:// | ||
+ | * Jun 2016, Faro, Portugal | ||
+ | ++++ | ||
+ | |||
+ | ===== Research | ||
+ | * **数学基礎論サマースクール2023** [[http:// | ||
+ | * September 11 -- 15, 2023, Meiji University, Tokyo, Japan | ||
+ | * **Laboratoire d' | ||
+ | * 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** | * **University of Ljubljana** | ||
- | * Prof. Alex Simpson | + | * Prof. Alex Simpson |
* January -- February, 2020, Ljubljana, Slovenia | * January -- February, 2020, Ljubljana, Slovenia | ||
* **Autumn School Proof and Computation** [[http:// | * **Autumn School Proof and Computation** [[http:// | ||
Line 153: | Line 249: | ||
* November 26 -- December 1, 2017, Schloss Dagstuhl, Wadern, Germany | * November 26 -- December 1, 2017, Schloss Dagstuhl, Wadern, Germany | ||
* **University of Ljubljana** | * **University of Ljubljana** | ||
- | * Prof. Alex Simpson | + | * Prof. Alex Simpson |
* October -- November, 2017, Ljubljana, Slovenia | * October -- November, 2017, Ljubljana, Slovenia | ||
- | ===== Other activities | + | ===== Other Activities |
- | * **the second Korea Logic Day 2022** [[https:// | + | * **The third Korea Logic Day 2024** [[https:// |
- | * // | + | * // |
+ | * 12 January 2024, online | ||
+ | * ** 2023 Continuity, Computability, | ||
+ | * //Programme Committee and Organizing Committee member// | ||
+ | * September 25 - 29, 2023, Kyoto, Japan | ||
+ | * **The second Korea Logic Day 2022** [[https:// | ||
+ | * // | ||
* 14 January 2022, online | * 14 January 2022, online | ||
- | * **the first Korea Logic Day 2021** [[https:// | + | * **The first Korea Logic Day 2021** [[https:// |
- | * // | + | * // |
* 14 January 2021, online | * 14 January 2021, online | ||
* **The 22nd Japan-Korea Joint Workshop on Algorithms and Computation** [[https:// | * **The 22nd Japan-Korea Joint Workshop on Algorithms and Computation** [[https:// | ||
- | * // | + | * // |
- | * October 4-5, 2018, Daejeon, Korea | + | * October 4-5, 2019, Daejeon, Korea |
* **Computability and Complexity in Analysis 2017** [[http:// | * **Computability and Complexity in Analysis 2017** [[http:// | ||
- | * // | + | * // |
* July 24-27, 2017, Daejeon, Korea | * July 24-27, 2017, Daejeon, Korea | ||
- | ===== Programming projects | + | ===== Software |
* [[https:// | * [[https:// | ||
* [[https:// | * [[https:// | ||
Line 180: | Line 282: | ||
===== Links ===== | ===== Links ===== | ||
+ | [[http:// | ||
+ | / | ||
+ | [[https:// | ||
+ | / | ||
+ | [[https:// | ||
+ | / | ||
[[https:// | [[https:// | ||
/ | / |
sewon_park.txt · Last modified: 2024/05/09 18:54 by sewon