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 [2021-03-02] – [Donghyun Lim] 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 
  
-==== External Consultant ==== 
-  * Dr. Alexander Stoimenov 
-  * Email: stoimeno [at] stoimenov.net 
-  * Website: [[http://stoimenov.net/stoimeno/homepage/]] 
-  * Topic: //Computational Knot Theory// 
- 
-===== 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// 
-  * Graduation (tentative): Summer 2021 
- 
- 
-==== Donghyun Lim ==== 
-  * Email: klimdhn [at] kaist.ac.kr 
-  * Website: [[https://www.donghyunlim.com/]] 
-  * Office: KAIST School of Computing, E3-1 #3413 
-  * Topic: Coding and Complexity 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 ===== 
- 
- 
-==== 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 
-  * Graduation (tentative): Summer 2021 
  
 +==== 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:chaoticiak@kaist.ac.kr|Ivan Koswara]], [[http://theoryofcomputation.asia/THESES/21Koswara.pdf|M.S.]], 2020+  * [[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)