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 [2024/01/05 12:37] – [Other Activities] 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// |
sewon_park.txt · Last modified: 2024/05/09 18:54 by sewon