Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
members [2021-07-22] – [Sewon Park] Martin Ziegler | members [2024-01-16] – [Alumni] Martin Ziegler | ||
---|---|---|---|
Line 7: | Line 7: | ||
* Email: ziegler [at] kaist.ac.kr | * Email: ziegler [at] kaist.ac.kr | ||
* Website: [[http:// | * Website: [[http:// | ||
- | * Office: KAIST School of Computing, | + | * Office: KAIST School of Computing, |
* Phone: +82-42-350-3568 | * Phone: +82-42-350-3568 | ||
* Main Topic: Complexity and Real Computation | * Main Topic: Complexity and Real Computation | ||
Line 13: | Line 13: | ||
* [[http:// | * [[http:// | ||
- | ==== Dr. Svetlana Selivanova ==== | ||
- | * Visiting Research Professor | ||
- | * Email: sseliv [at] kaist.ac.kr | ||
- | * Website: https:// | ||
- | * Office: KAIST School of Computing, E3-1 #3409 | ||
- | * Topic: Computational Complexity of Partial Differential Equations | ||
- | ==== External Consultant (Non-Member) ==== | ||
- | * Dr. Alexander Stoimenov | ||
- | * Email: stoimeno [at] stoimenov.net | ||
- | * Website: [[http:// | ||
- | * Topic: // | ||
- | |||
- | ===== Ph.D. Candidates ===== | ||
- | |||
- | ==== Sewon Park ==== | ||
- | * Email: swelite [at] kaist.ac.kr | ||
- | * Website: [[https:// | ||
- | * Office: KAIST School of Computing, E3-1 #3413 | ||
- | * Topic: Semantics and Verification of //Exact Real Computation// | ||
- | * Graduated in Summer 2021 | ||
- | |||
- | |||
- | ==== Donghyun Lim ==== | ||
- | * Email: klimdhn [at] kaist.ac.kr | ||
- | * Website: [[https:// | ||
- | * Office: KAIST School of Computing, E3-1 #3413 | ||
- | * Topic: Coding and Complexity Theory of Continuous Structures | ||
- | |||
- | ==== Hyunwoo Lee ==== | ||
- | * Email: lhw941 [at] kaist.ac.kr | ||
- | * Office: KAIST School of Computing, E3-1 #3413 | ||
- | * Topic: Computability and Complexity in Differential Geometry | ||
+ | ==== Members ==== | ||
+ | * [[mailto: | ||
+ | * [[mailti: | ||
===== Alumni ===== | ===== Alumni ===== | ||
+ | * [[https:// | ||
* [[https:// | * [[https:// | ||
* [[https:// | * [[https:// | ||
- | * Seungwoo Schin, M.S., 2019; now working at [[http://kr.ncsoft.com/korean|NCSoft]] | + | * Seungwoo Schin, M.S., 2019; founder of [[https://holix.com/m/2445|미국주식 사관학교]] |
* Chansu Park, M.S., 2019; now working at [[https:// | * Chansu Park, M.S., 2019; now working at [[https:// | ||
* Dongsong Seon, M.S., 2019; now working at [[https:// | * Dongsong Seon, M.S., 2019; now working at [[https:// | ||
www.krafton.com|KRAFTON Game Union]] | www.krafton.com|KRAFTON Game Union]] | ||
+ | * Hyunwoo Lee, M.S. 2020; now working at [[https:// | ||
* [[http:// | * [[http:// | ||
- | * [[mailto:chaoticiak@kaist.ac.kr|Ivan Koswara]], [[http:// | + | * [[mailto:chaotic492iak@gmail.com|Ivan Koswara]], [[http:// |
+ | * [[https:// | ||
+ | * [[http:// | ||
====== Visitors ====== | ====== Visitors ====== | ||
- | * Prof. Dr. Dieter Spreen (Uni Siegen in Germany, | + | * Prof. Dr. Dieter Spreen (Uni Siegen in Germany, |
* Prof. Dr.-math. Friedhelm Meyer auf der Heide (Uni Paderborn in Germany, 1 month, 2017) | * Prof. Dr.-math. Friedhelm Meyer auf der Heide (Uni Paderborn in Germany, 1 month, 2017) | ||
* Prof. Dr. Pieter Collins (Uni Maastricht in Netherlands, | * Prof. Dr. Pieter Collins (Uni Maastricht in Netherlands, |