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 [2020-10-16] – [Geurim Lim 임그림] Donghyun Lim | 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 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 ===== | ||
- | |||
- | ==== Dr. Alexander Stoimenov ==== | ||
- | * External Consultant | ||
- | * Email: stoimeno [at] stoimenov.net | ||
- | * Website: http:// | ||
- | * Office: KAIST School of Computing, E3-1 #3413 | ||
- | * Topic: Knot Theory | ||
- | |||
- | ===== Staff ==== | ||
- | ==== Seulkina Kim 김슬기나 ==== | ||
- | * Email: kmkm23 [at] kaist.ac.kr | ||
- | * Office: KAIST School of Computing, E3-1 #3430 | ||
- | * Phone: 042-350-7831 | ||
- | |||
- | ==== Geurim Lim 임그림 (retired) ==== | ||
- | * Email: rkwhr7382 [at] kaist.ac.kr | ||
- | * Office: KAIST School of Computing, E3-1 #3430 | ||
- | * Phone: 042-350-7831 | ||
- | |||
- | |||
- | ===== 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 #3409 | ||
- | * 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:// | ||
- | * 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 127: | Line 67: | ||
* 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 " | ||
+ |