Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
members [2020-09-07] – [Alumni] Martin Zieglermembers [2024-01-16] (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://ziegler.theoryofcomputation.asia]]   * Website: [[http://ziegler.theoryofcomputation.asia]]
-  * Office: KAIST School of Computing, E3-1 #3406+  * Office: KAIST School of Computing, N1 #506
   * 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://my.hidrive.com/lnk/NjgGkaVe|Portrait]]
  
-==== Dr. Svetlana Selivanova ==== 
-  * Visiting Research Professor 
-  * Email: sseliv [at] kaist.ac.kr 
-  * Website: https://www.researchgate.net/profile/Svetlana_Selivanova2 
-  * 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://stoimenov.net/stoimeno/homepage/ 
-  * Office: KAIST School of Computing, E3-1 #3413 
-  * Topic: Knot Theory 
- 
-===== Staff ==== 
-==== Seulkina Kim 김슬기나 (on maternity leave) ==== 
-  * Email: kmkm23 [at] kaist.ac.kr 
-  * Office: KAIST School of Computing, E3-1 #3430 
-  * Phone: 042-350-7831  
- 
-==== Geurim Lim 임그림 ==== 
-  * 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://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://donghyunismyname.github.io/]] 
-  * 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://molehair.github.io/ 
-  * 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 in //Exact Real Computation// 
- 
- 
-==== Seunghun Koh ==== 
-  * Undergraduate Student 
-  * Email: shk0724 [at] kaist.ac.kr 
  
 +==== Members ====
 +  * [[mailto:august@kaist.ac.kr|August Lykke Thomsen]]
 +  * [[https://www.donghyunlim.com/|Donghyun Lim]], on leave for military substitute service at [[https://www.nalbi.ai/|Nalbi]]
 ===== Alumni ===== ===== Alumni =====
  
 +  * [[https://park-sewon.github.io/|Sewon Park]], PhD, 2021; now Postdoc at Kyoto University
 +  * [[https://molehair.github.io/|Jiman Hwang]], M.S., 2021
   * [[https://junheecho.com/|Junhee Cho]], M.S., 2018; now working at [[http://google.com|Google]]   * [[https://junheecho.com/|Junhee Cho]], M.S., 2018; now working at [[http://google.com|Google]]
-  * 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://www.skelterlabs.com|Skelter Labs]]   * Chansu Park, M.S., 2019; now working at [[https://www.skelterlabs.com|Skelter Labs]]
   * 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://www.qraftec.com/|Craft Technologies]]
   * [[http://people.math.gatech.edu/~slee3379/|Seokbin Lee]], Undergrad Researcher, 2019, now pursuing a combined MSc/PhD at Georgia Tech   * [[http://people.math.gatech.edu/~slee3379/|Seokbin Lee]], Undergrad Researcher, 2019, now pursuing a combined MSc/PhD at Georgia Tech
 +  * [[mailto:chaotic492iak@gmail.com|Ivan Koswara]], [[http://theoryofcomputation.asia/THESES/21Koswara.pdf|M.S.]], 2020; now PhD student at [[https://www.comp.nus.edu.sg/cs/|NUS]]
 +  * [[https://www.researchgate.net/profile/Svetlana_Selivanova2|Dr. Svetlana Selivanova]], KRF //BrainPool// Visiting Research Professor (2018~2022)
 +  * [[http://stoimenov.net/stoimeno/homepage/|Dr. Alexander Stoimenov]], external consultant (Computational Knot Theory)
 +
  
 ====== Visitors ====== ====== Visitors ======
-  *  Prof. Dr. Dieter Spreen (Uni Siegen in Germany, months in 2017 and 2018)+  *  Prof. Dr. Dieter Spreen (Uni Siegen in Germany, months in 2017 and 2018 and 2022)
   *  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, 1 month, 2017)   *  Prof. Dr. Pieter Collins (Uni Maastricht in Netherlands, 1 month, 2017)
Line 127: Line 67:
   * The world is in grave danger: If mankind has a future, it will be based on collaboration, not competition.   * The world is in grave danger: If mankind has a future, it will be based on collaboration, not competition.
   * 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 "gospel" in your field.   * 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 "gospel" in your field.
 +