Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
members [2021-01-25] – [Dr. Alexander Stoimenov] Martin Ziegler | 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 | ||
- | ===== Consultants ===== | ||
- | |||
- | |||
- | ===== Staff ==== | ||
- | |||
- | ===== 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: | ||
+ | * [[https:// | ||
+ | * Tobias Thiel, MSc exchange student from TU Darmstadt | ||
+ | * [[https:// | ||
+ | * Jaden Jorradol, undergraduate intern | ||
===== 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, | ||
Line 111: | Line 70: | ||
* The world is in grave danger: If mankind has a future, it will be based on collaboration, | * The world is in grave danger: If mankind has a future, it will be based on collaboration, | ||
* For true innovation, and as Science is designated to research ahead of engineering and technology, FORGET all current and contemporary approaches! Instead, study the past classics and apply them to the future. Start by questioning what is considered " | * For true innovation, and as Science is designated to research ahead of engineering and technology, FORGET all current and contemporary approaches! Instead, study the past classics and apply them to the future. Start by questioning what is considered " | ||
+ |