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-25] – external edit 127.0.0.1members [2024-04-14] (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 
  
  
- +==== Members ==== 
-===== Ph.D. Candidates ===== +  * [[mailto:august@kaist.ac.kr|August Lykke Thomsen]], MSc dual degree with [[https://www.compute.dtu.dk/|DTU]] 
- +  * [[https://www.donghyunlim.com/|Donghyun Lim]], on leave for military substitute service at [[https://www.nalbi.ai/|Nalbi]] 
-==== Sewon Park ==== +  * Tobias Thiel, MSc exchange student from TU Darmstadt 
-  * Email: swelite [at] kaist.ac.kr +  * [[https://www.linkedin.com/in/biniyamaschalew|Biniyam Aschalew Tolera]], undergraduate intern 
-  * Website: [[https://park-sewon.github.io/]] +  * Jaden Jorradol, undergraduate intern
-  * 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// +
- +
- +
-==== Seunghun Koh ==== +
-  * Undergraduate Student +
-  * Email: shk0724 [at] kaist.ac.kr +
 ===== 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, 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)