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
Last revisionBoth sides next revision
members [2021-03-02] – [Donghyun Lim] Martin Zieglermembers [2024-01-16] – [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, 3 months in 2017 and 2018)+  *  Prof. Dr. Dieter Spreen (Uni Siegen in Germany, 4 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)