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-01-31] – [Youngjo Min] Martin Ziegler | members [2024-01-16] – [Alumni] Martin Ziegler | ||
---|---|---|---|
Line 5: | Line 5: | ||
==== Prof. Dr. Martin Ziegler ==== | ==== Prof. Dr. Martin Ziegler ==== | ||
* Associate Professor | * Associate Professor | ||
- | * Email: ziegler [at] cs.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 | ||
- | * Topics: Complexity and Real Computation | + | * Main Topic: Complexity and Real Computation |
- | + | * Emerging: Science Policy and Ethics | |
- | ==== Dr. Svetlana Selivanova ==== | + | * [[http://my.hidrive.com/lnk/NjgGkaVe|Portrait]] |
- | * Visiting Research Professor | + | |
- | * Email: sseliv [at] kaist.ac.kr | + | |
- | * Website: https:// | + | |
- | * Office: KAIST School | + | |
- | * Topic: Computational Complexity of Partial Differential Equations | + | |
- | + | ||
- | ==== Consultant | + | |
- | * Dr. Alexander Stoimenov | + | |
- | * Email: stoimeno [at] stoimenov.net | + | |
- | * Website: | + | |
- | * Topic: // | + | |
- | + | ||
- | ===== Ph.D. Candidates ===== | + | |
- | + | ||
- | ==== Sewon Park ==== | + | |
- | * Email: swelite [at] kaist.ac.kr | + | |
- | * Website: [[https://park-sewon.github.io/ | + | |
- | * Office: KAIST School of Computing, E3-1 #3413 | + | |
- | * Topic: Semantics and Verification of //Exact Real Computation// | + | |
- | + | ||
- | + | ||
- | ==== Donghyun Lim ==== | + | |
- | * Email: klimdhn [at] kaist.ac.kr | + | |
- | * Website: [[https:// | + | |
- | * Office: KAIST School of Computing, E3-1 #3413 | + | |
- | * Topic: Coding Theory of Continuous Structures | + | |
- | + | ||
- | ==== Hyunwoo Lee ==== | + | |
- | * Email: lhw941 [at] kaist.ac.kr | + | |
- | * Office: KAIST School of Computing, E3-1 #3413 | + | |
- | * Topic: Probability and Type-2 Computation | + | |
- | ===== Master Students ===== | + | |
- | + | ||
- | ==== Ivan Koswara ==== | + | |
- | * Email: chaoticiak [at] kaist.ac.kr | + | |
- | * Office: KAIST School of Computing, E3-1 #3413 | + | |
- | * Topic: Computational complexity of exponentia-sizel linear algebra with real entries | + | |
- | + | ||
- | + | ||
- | ==== Jiman Hwang ==== | + | |
- | * Email: molehair [at] kaist.ac.kr | + | |
- | * Website: https:// | + | |
- | * Office: KAIST School of Computing, E3-1 #3413 | + | |
- | * Topic: High Precision Computation using Floating Point Numbers | + | |
- | + | ||
- | ===== Interns/ | + | |
+ | ==== Members ==== | ||
+ | * [[mailto: | ||
+ | * [[mailti: | ||
===== Alumni ===== | ===== Alumni ===== | ||
+ | * [[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: | ||
+ | * [[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, |