Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
members [2021-01-25] – external edit 127.0.0.1 | members [2024-04-14] (current) – [Members] 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 | ||
- | + | ==== Members | |
- | ===== Ph.D. Candidates ===== | + | * [[mailto:august@kaist.ac.kr|August Lykke Thomsen]], MSc dual degree with [[https://www.compute.dtu.dk/|DTU]] |
- | + | * [[https:// | |
- | ==== Sewon Park ==== | + | * Tobias Thiel, MSc exchange student from TU Darmstadt |
- | * Email: swelite [at] kaist.ac.kr | + | * [[https://www.linkedin.com/in/biniyamaschalew|Biniyam Aschalew Tolera]], undergraduate intern |
- | * Website: | + | * Jaden Jorradol, undergraduate intern |
- | * 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: | + | |
- | * 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 | + | |
- | * Office: KAIST School of Computing, E3-1 #3413 | + | |
- | * Topic: Computational complexity of exponentia-sizel linear algebra with real entries | + | |
- | + | ||
- | + | ||
- | ==== Jiman Hwang ==== | + | |
- | * Email: molehair | + | |
- | * Website: | + | |
- | * Office: KAIST School of Computing, E3-1 #3413 | + | |
- | * Topic: High Precision Computation using Floating Point Numbers | + | |
- | + | ||
- | ===== Interns/Undergraduate Researchers ===== | + | |
- | + | ||
- | + | ||
- | ==== Youngjo Min ==== | + | |
- | * Undergraduate Student | + | |
- | * Email: tuna10516 [at] kaist.ac.kr | + | |
- | * Topic: Analytic Functions | + | |
- | + | ||
- | + | ||
- | ==== Seunghun Koh ==== | + | |
- | * Undergraduate Student | + | |
- | * Email: shk0724 [at] kaist.ac.kr | + | |
===== 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, |