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 [2023/03/06 20:23] – [Research visits] sewon | sewon_park [2024/03/12 11:17] – [Invited Talks] sewon | ||
|---|---|---|---|
| Line 2: | Line 2: | ||
| I am a [[https:// | I am a [[https:// | ||
| + | <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** | * **JSPS International Research Fellow** | ||
| - | * Supported by JSPS Postdoctoral Fellowship for Research in Japan(Standard) | + | * Supported by JSPS Postdoctoral Fellowship for Research in Japan (Standard) |
| * on //" | * on //" | ||
| * Research Institute for Mathematical Sciences, Kyoto University, Japan | * Research Institute for Mathematical Sciences, Kyoto University, Japan | ||
| - | * 1 April 2022 - 31 March 2024 | + | * 1 April 2022 -- 31 March 2024 |
| - | * **Postdoctoral | + | * **Postdoctoral |
| * Research Institute for Mathematical Sciences, Kyoto University, Japan | * Research Institute for Mathematical Sciences, Kyoto University, Japan | ||
| - | * 16 October 2021 - 31 March 2022 | + | * 16 October 2021 -- 31 March 2022 |
| ===== Education ===== | ===== Education ===== | ||
| * **KAIST, Daejeon, Korea** | * **KAIST, Daejeon, Korea** | ||
| Line 31: | Line 41: | ||
| * 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 > |
| + | See also [[https:// | ||
| + | </ | ||
| + | |||
| + | The authors in all my contributions are written in the alphabetical order | ||
| + | |||
| + | ==== Journals | ||
| + | |||
| + | * **" | ||
| + | * //Michal Konečný, Sewon Park, and Holger Thies// | ||
| + | * Preprint at https:// | ||
| + | |||
| + | ==== Refereed Conference Publications ==== | ||
| + | * **" | ||
| + | * //Sewon Park// | ||
| + | * In: Fernau, H., Jansen, K. (eds) Fundamentals of Computation Theory [[https:// | ||
| + | * 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// | * //Michal Konečný, Sewon Park, and Holger Thies// | ||
| - | * In: Deshmukh, J.V., Havelund, K., Perez, I. (eds) NASA Formal Methods. NFM 2022 | + | * In: Deshmukh, J.V., Havelund, K., Perez, I. (eds) NASA Formal Methods. |
| * Lecture Notes in Computer Science, vol 13260. Springer, Cham. | * Lecture Notes in Computer Science, vol 13260. Springer, Cham. | ||
| * https:// | * 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 63: | Line 114: | ||
| * 한국정보과학회 학술발표논문집 (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 | + | ===== Conference Talks ===== |
| - | * Lecture Notes in Computer Science, vol 10755. Springer, Cham | + | |
| - | * https:// | + | <WRAP box round lo no-print > |
| - | + | These are lists automatically generated from my [[https://sewonpark.com/bib?do=export_text | .bib database]]. | |
| - | ==== preprints | + | (To be precise, it automatically generates the lists in [[https://sewonpark.com/workspace/bib | here]] where I copy these lists from.) |
| - | * **" | + | There, also a list of conference contributions that I coauthored can also be found. |
| - | * //Michal Konečný, Sewon Park, and Holger Thies// | + | </WRAP> |
| - | | + | |
| - | * **“Randomized Computation of Continuous Data: Is Brownian Motion Computable?”** (2019) | + | |
| - | * //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”** | + | |
| - | * //Chansu Park, Ji-Won Park, Sewon Park, Dongseong Seon, and Martin Ziegler// | + | |
| - | * | + | |
| - | * **“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:// | + | |
| + | ==== Invited Talks ==== | ||
| + | * **Abstract data type for exact real numbers and verified computation** | ||
| + | * //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 | ||
| - | ===== Conference talks ===== | + | ==== Contributed Talks ==== |
| - | * **" | + | * **Verifying iRRAM-like implementation of exact real computation** |
| - | * joint work with Ulrich Berger, Holger Thies and Hideki Tsuiki | + | * Sewon Park, Holger Thies |
| - | * //2022 Global KMS International Conference [[https:// | + | * Continuity, Computability, |
| - | * October | + | * Sep 25 -- 29, 2023, Kyoto, Japan |
| - | * **"Some steps toward program extraction in a type-theoretical interpretation of IFP" | + | * **Verified Exact Real Computation with Nondeterministic Functions and Limits** |
| - | * joint work with Ulrich Berger, Holger Thies and Hideki Tsuiki | + | * Sewon Park |
| - | * //Continuity, Computability, | + | * 24th International Symposium on Fundamentals of Computation Theory [[https:// |
| - | * September | + | * Sep 18 -- 21, 2023, Trier, Germany (online talk) |
| - | * **"Nondeterministic limits and certified exact real computation"** | + | * **Towards verified implementation of iterative and interactive real-RAM** |
| - | * joint work with Michal Konečný | + | * Sewon Park, Holger Thies |
| - | * //Nineteenth International Conference on Computability and Complexity in Analysis [[http:// | + | * Twentieth International Conference on Computability and Complexity in Analysis [[http:// |
| - | * May 23-26, 2022, Online | + | * Sep 07 -- 09, 2023, Dubrovnik, Croatia |
| - | * [[https:// | + | ++++ Show more (-2022)| |
| - | * **" | + | * **A type-theoretical interpretation of intuitionistic fixed point logic** |
| - | * //The second Japan-Russia workshop on effective descriptive set theory, computable analysis and automata// [[https:// | + | * Ulrich Berger, Sewon Park, Holger Thies, Hideki Tsuiki |
| - | * March 2-4, 2022, Akita, Japan (talk on 2nd and 3rd) | + | * 2022 Global KMS International Conference [[https:// |
| - | * [[https:// | + | * Oct 18 -- 21, 2022, Seoul, Korea (online |
| - | * **"An axiomatization of real numbers in constructive type theory and its application"** | + | * **Some steps toward program extraction in a type-theoretical interpretation of IFP** |
| - | * (based on) joint work with Michal Konečný | + | * Ulrich Berger, Sewon Park, Holger Thies, Hideki Tsuiki |
| - | * //2022 China-South Korea Non-Classical Logics and Related Algebra Systems Academic Seminar// | + | * Continuity, Computability, |
| - | * February | + | * Sep 19 -- 23, 2022, Padova, Italy |
| - | * [[https:// | + | * **Nondeterministic limits and certified exact real computation** |
| - | * **"Lazy Data Types" | + | * Michal Konečný, Sewon Park, Holger Thies |
| - | * joint work with Jihoon Hyun and Martin Ziegler | + | * Nineteenth International Conference on Computability and Complexity in Analysis [[http:// |
| - | * //The 14th Annual Meeting of the Asian Association for Algorithms and Computation [[http:// | + | * May 23 -- 26, 2022, Glenside |
| - | * October | + | * **An axiomatization of real numbers in constructive type theory and its application** |
| - | * **"Nondeterminism in constructive metric completeness" | + | * Michal Konečný, Sewon Park, Holger Thies |
| - | * joint work with Michal Konečný | + | * 2022 China-South Korea Non-Classical Logics and Related Algebra Systems Academic Seminar |
| - | * //2021 KMS Annual Meeting Special Session: Mathematical Logic and Its Applications [[https:// | + | * Feb 12 -- 13, 2022, Online |
| - | * October 21, 2021, Zoom Online Meeting | + | * **Lazy Data Types** |
| - | * **" | + | * Jihoon Hyun, Sewon Park, Martin Ziegler |
| - | * // | + | * The 14th Annual Meeting of the Asian Association for Algorithms and Computation [[http:// |
| - | * September 23, 2021, Zoom Online | + | * Oct 22 -- 24, 2021, Tainan, Taiwan (online |
| - | * **"Intuitionistic Logic, Type Theory, and Computer Science"** (introductory) | + | * **Nondeterminism in constructive metric completeness** |
| - | * //the first Korea Logic Day 2021 [[https:// | + | * Michal Konečný, Sewon Park, Holger Thies |
| - | * January | + | * 2021 KMS Annual Meeting Special Session: Mathematical Logic and Its Applications [[https:// |
| - | * **"Topological Aspects on Nondetermistic Computation" | + | * Oct 20 -- 22, 2021, Online |
| - | * joint work with Donghyun Lim | + | * **Intuitionistic Logic, Type Theory, and Computer Science** |
| - | * //Korea Software Congress 2020 [[http:// | + | * Sewon Park |
| - | * December | + | * the first Korea Logic Day 2021 [[https:// |
| - | * **"Clerical: an Imperative Language for Verified Real-number Computation" | + | * Jan 14 -- 14, 2021, Online |
| - | * joint work with Andrej Bauer and Alex Simpson | + | * **Topological Aspects on Nondetermistic Computation** |
| - | * //Seventeenth International Conference on Computability and Complexity in Analysis [[http:// | + | * Donghyun Lim, Sewon Park |
| - | * September | + | * Korea Software Congress 2020 [[http:// |
| - | * **"Multivalued functions in a dependent type theory"** [[abstract: | + | * Dec 21 -- 23, 2020, Online |
| - | * joint work with Andrej Bauer, Philipp G. Haselwarter, and Egbert Rijke | + | * **Clerical: an Imperative Language for Verified Real-number Computation** |
| - | * //Special Session: Mathematical Logic and Its Applications [[http:// | + | * Andrej Bauer, Sewon Park, Alex Simpson |
| - | * July 2020, Zoom Online | + | * Seventeenth International Conference on Computability and Complexity in Analysis [[http:// |
| - | * **"Axiomatic Reals in Type Theory for Program Extraction" | + | * Sep 09 -- 11, 2020, Online |
| - | * //Computability, | + | * **Multivalued functions in a dependent type theory** |
| - | * September | + | * Andrej Bauer, Philipp G., Sewon Park, Egbert Rijke |
| - | * **"Interval Gaussian Algorithm for Singular Interval Matrices"** | + | * KMS Spring 2020 - Special Session: Mathematical Logic and Its Applications [[http:// |
| - | * //Fall Workshop on Algorithms and Computation [[http:// | + | * Jul 03 -- 03, 2020, Online |
| - | * November | + | * **Axiomatic Reals in Type Theory for Program Extraction** |
| - | * **"Interval Gaussian Algorithm for Singular Interval Matrices"** | + | * Sewon Park |
| - | * //The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations [[http:// | + | * Computability, |
| - | * September | + | * Sep 2019, Ljubljana, Slovenia |
| - | * **"Reliable Diagonalization of Degenerate Matrices" | + | * **Interval Gaussian Algorithm for Singular Interval Matrices** |
| - | * joint work with Martin Ziegler | + | * Sewon Park |
| - | * //Computability and Complexity in Analysis 2017 [[http:// | + | * Fall Workshop on Algorithms and Computation [[http:// |
| - | * July 2017, Daejeon, Korea | + | * Nov 2018, Seoul, Korea |
| - | * **"Implementation and Empirical Evaluation of two Algorithms for Computing Characteristic Polynomials' | + | * **Interval Gaussian Algorithm for Singular Interval Matrices** |
| - | * //Fall Workshop on Algorithms and Computation [[http:// | + | * Sewon Park |
| - | * November | + | * The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations [[http:// |
| - | * **"Verification in Real Computation" | + | * Sep 2018, Tokyo, Japan |
| - | * joint work with Norbert Th. Müller, Norbert Preining | + | * **Reliable Diagonalization of Degenerate Matrices** |
| - | * //The 19th Japan-Korea Joint Workshop on Algorithms and Computation [[http:// | + | * Sewon Park, Martin Ziegler |
| - | * August | + | * Computability and Complexity in Analysis 2017 [[http:// |
| - | * **"On Formal Verification in Imperative Multivalued Programming over Continuous Data Types" | + | * Jul 2017, Daejeon, Korea |
| - | * joint work with Norbert Th. Müller, Norbert Preining | + | * **Implementation and Empirical Evaluation of two Algorithms for Computing Characteristic Polynomials' |
| - | * //Computability and Complexity in Analysis 2016 [[http:// | + | * Sewon Park |
| - | * June 2016, Faro, Portugal | + | * 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 | + | ===== 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** | * **University of Ljubljana** | ||
| - | * Prof. Alex Simpson | + | * Prof. Alex Simpson |
| * February 27 -- March 15, 2023, Ljubljana, Slovenia | * 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 175: | Line 250: | ||
| * 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 203: | Line 284: | ||
| ===== Links ===== | ===== Links ===== | ||
| [[http:// | [[http:// | ||
| + | / | ||
| + | [[https:// | ||
| + | / | ||
| + | [[https:// | ||
| + | / | ||
| [[https:// | [[https:// | ||
| / | / | ||
sewon_park.txt · Last modified: 2024/05/09 18:54 by sewon