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/12/08 11:13] – [Programming Projects] sewon | sewon_park [2024/04/01 13:17] – [Employment] sewon | ||
---|---|---|---|
Line 21: | Line 21: | ||
===== Employment ===== | ===== Employment ===== | ||
+ | * **Postdoctoral Researcher** | ||
+ | * Graduate School of Informatics, | ||
+ | * 1 April 2024 -- current | ||
* **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) | ||
Line 125: | Line 128: | ||
==== Invited Talks ==== | ==== 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** | * **Verified computation over real numbers and other continuous objects** | ||
* //Tutorial talk// | * //Tutorial talk// | ||
Line 252: | Line 259: | ||
===== Other Activities ===== | ===== Other Activities ===== | ||
+ | * **The third Korea Logic Day 2024** [[https:// | ||
+ | * // | ||
+ | * 12 January 2024, online | ||
* ** 2023 Continuity, Computability, | * ** 2023 Continuity, Computability, | ||
* //Programme Committee and Organizing Committee member// | * //Programme Committee and Organizing Committee member// |
sewon_park.txt · Last modified: 2024/05/09 18:54 by sewon