Members

Prof. Dr. Martin Ziegler

  • Associate Professor
  • Email: ziegler [at] cs.kaist.ac.kr
  • Office: KAIST School of Computing, E3-1 #3406
  • Phone: +82-42-350-3568
  • Topics: Complexity and Real Computation

Dr. Svetlana Selivanova

  • Visiting Research Professor
  • Office: KAIST School of Computing, E3-1 #3409
  • Topic: Computational Complexity of Partial Differential Equations

Seulkina Kim

  • Email: kmkm23 [at] kaist.ac.kr
  • Office: KAIST School of Computing, E3-1 #3430
  • Phone: 042-350-7831

Sewon Park

  • Email: swelite [at] kaist.ac.kr
  • Office: KAIST School of Computing, E3-1 #3413
  • Topic: Semantics and Verification of Exact Real Computation

Ivan Koswara

  • Email: chaoticiak [at] kaist.ac.kr
  • Office: KAIST School of Computing, E3-1 #3413
  • Topic: Computational complexity of real polynomial/matrix/operator powering

Hyunwoo Lee

  • Email: lhw941 [at] kaist.ac.kr
  • Office: KAIST School of Computing, E3-1 #3413
  • Topic: Random Functions in Exact Real Computation

Dongsong Seon

  • Email: instigation [at] kaist.ac.kr
  • Office: KAIST School of Computing, E3-1 #3413
  • Topic: Computing Haar Averages

Donghyun Lim

  • Email: klimdhn [at] kaist.ac.kr
  • Office: KAIST School of Computing, E3-1 #3409
  • Topic: Coding Theory of Continuous Structures
  • 이승우
  • 안남조
  • Talipov Anuar
  • Nguyen Viet Dung

Youngjo Min

  • Undergraduate Student
  • Email: tuna10516 [at] kaist.ac.kr
  • Topic: Analytic Functions in Exact Real Computation

Seokbin Lee

  • Undergraduate Student
  • Email: seokbinlee [at] kaist.ac.kr
  • Topic: Grassmannian as Continuous Abstract Data Type

Seunghun Koh

  • Undergraduate Student
  • Email: shk0724 [at] kaist.ac.kr
  • Open, direct, constructive communication
  • “There is nothing more practical than a good theory” (Kurt Lewin, 1952)
  • Science thinks ahead of Engineering acting
  • True innovation happens OUTside the currently popular trends/beaten tracks
  • Administration supports the academic system, not vice versa
  • Collaboration trumps competition: our adversary is ignorance, not colleagues
  • Be true to yourself and others: If you like pretending, better become an actor than a scientist.
  • “Remember your humanity, and forget the rest” (Albert Einstein and Bertrand Russell, 1955)