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)
  • Research should be fun: If you don't enjoy it, your advisor is doing a bad job :-)
  • Usain Bolt will never be fast ENOUGH: his coach will always push him to become even faster, FASTER. Similarly, your research will never be good ENOUGH.
  • Nevertheless, your value as person does not correlate with public recognition, fame, wealth.
  • The world is in grave danger: If mankind has a future, it will be based on collaboration, not competition.
  • For true innovation, and as Science is designated to research ahead of engineering and technology, FORGET all current and contemporary approaches! Instead, study the past classics and apply them to the future. Start by questioning what is considered “gospel” in your field.