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-01-31] – [Seunghun Koh] 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 
- +  * EmergingScience Policy and Ethics of Education 
-==== Dr. Svetlana Selivanova ==== +  * [[http://my.hidrive.com/lnk/NjgGkaVe|Portrait]]
-  * Visiting Research Professor +
-  * Emailsseliv [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 +
- +
-==== 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// +
- +
- +
-==== Donghyun Lim ==== +
-  * Email: klimdhn [at] kaist.ac.kr +
-  * Website: [[https://www.donghyunlim.com/]] +
-  * 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://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//+
  
  
  
 +==== 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)