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-26] – [Consultant] Martin Ziegler | members [2024-01-16] – [Undergraduate Interns] 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 of Education | ||
+ | * [[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 | ||
- | ==== Consultant | ||
- | * 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// | ||
- | |||
- | |||
- | ==== 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/ | ||
- | |||
- | |||
- | ==== Youngjo Min ==== | ||
- | * Undergraduate Student | ||
- | * Email: tuna10516 [at] kaist.ac.kr | ||
- | * Topic: Analytic Functions in //Exact Real Computation// | ||
- | |||
- | |||
- | ==== Seunghun Koh ==== | ||
- | * Undergraduate Student | ||
- | * Email: shk0724 [at] kaist.ac.kr | ||
+ | ==== 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: | ||
+ | * [[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, |