-
Email:
rk.ca.tsiak@relgeiz; public PGP key
Office: KAIST School of Computing, N1 #506
Phone: +82-42-350-3568
- Short CV:
11.11.2002: PhD defense (referees: Peter Bürgisser, Friedhelm Meyer auf der Heide, Klaus Weihrauch)
2003-2004: Post-doc in DFG Graduiertenkolleg 693 "PaSCo" (headed by Joachim von zur Gathen and Michael Dellnitz)
2005: Guest lecturer at the University of Southern Denmark; host: Klaus Meer
2006: von Humboldt fellow (JSPS scholarship) at Japan Advanced Institute of Science and Technology; host: 石原 哉
2007: visiting scholar at the Korea Institute for Advanced Study; host: 박형주
2008: Habilitation at the University of Paderborn
2008: Visiting Associate at the Korea Advanced Institute of Science and Technology (KAIST); host: 정지원
2009: DFG Heisenberg-Scholar at the Technical University of Vienna, Department of Theoretical Physics; host: Karl Svozil
2010-2015: Associate Professor (W2) at the Department of Mathematics, Technische Universität Darmstadt
2011-2015: elected member of the Faculty Council (re-elected 2013)
2012-2015: Speaker of IANUS: Interdisziplinäre Arbeitsgruppe Naturwissenschaft und Sicherheit
Feb+Mar.2013: Visiting Researcher at the Graduate School of Information Science and Technology, University of Tokyo; host: 河村彰星
Oct.2013: elected to the university convention ("Universitätsversammlung" plus "Senatsausschuß Lehre")
Jul.2014: hosting the 11th International Conference on Computability and Complexity in Analysis (CCA)
Since Oct.2014: steering committee of the Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG)
Programme committee chair of the 12th International Conference on Computability and Complexity in Analysis (Tokyo'15)
from 2015: professor of theoretical computer science at KAIST
from 2016: council of the Association Computability in Europe
2020~2021: KAIST International Faculty Council
-
See below for
Awards,
Projects,
Publications,
Group,
Teaching,
Memberships,
Conferences,
and
Miscellaneous.
- Honours and Awards:
- Preis für herausragende Abschlußarbeiten 1996/97 der Uni-GH Paderborn for the Diploma Thesis "Eine alternative Formulierung der Quantenmechanik".
- Multimedia Award 1998 founded by the German Ministry of Economy and Technology (BMWi) (jointly with Matthias Fischer and Tamás Lukovszki) for project Multimediale Entdeckungsreisen unserer Welt mit dem Internet
- Forschungspreis 2006 (jointly with Dr. Matthias Fischer)
- Best Paper at the 32nd Annual Conference on Artificial Intelligence (2009) for joint work with Florentin Neumann and Andrea Reichenberger: "Variations of the Turing Test in the Age of Internet and Virtual Reality"
- Athene Fachbereichspreis für Gute Lehre und Sonderpreis für Interdisziplinäre Lehre 2011 (gem. mit Gerd Buntkowsky und Hans-Jürgen Bär)
- JSPS BRIDGE Fellow 2013 (held 9 lectures at 4 academic institutions within 1 month in Japan)
- Report on Science Circle (Wissenschaftlicher Gesprächskreis, WGK), pp.144-146 in Festschrift on the occasion of the 20th Anniversary of German-Japanese Scientific Exchange (2015)
- Computer Science Colloquium Organizer (fall 2016)
- Projects
- Real Hypercomputation (DFG, full position, 2005-2009)
- Computability and Computational Complexity of Physical Theories (DFG, Heisenberg Fellowship, 2009-2010)
- German counterpart to Royal Society International Exchange Grant IE111233 (2012-2014)
- Host of TSUKAMOTO Yasuyuki (DAAD, 2014)
- Quantitative uniforme Komplexitätstheorie mehrwertiger reeller Funktionen und Operatoren in Analysis, DFG Zi 1009/4 funding Carsten Rösnick (Apr.2013-Feb.2015) and Matthias Schröder (Dez.2014-Jan.2016)
- German-Japanese Workshop on Theory and Practice of Real Computation supported in part by the German Research and Innovation Forum - Tokyo.
- PI in COMPUTAL, EU PIRSES 294962 (Feb.2012-Jan.2016)
- PI in Mathematical Fluid Dynamics, DFG IRTG 1529 funding Florian Steinberg (Sep.2013-Aug.2016)
- Research Collaborator in ELC: Exploring the Limits of Computation
- Leader of KAIST Seed Grant (Sep.2015-Dec.2018)
- Principal Investigator in Computing with Infinite Data, EU H2020 MSCA IRSES #731143 cofunding by NRF #2016K1A3A7A03950702
- Project leader in Errorless Computing over Continuous Structures in Linear Algebra and Analysis, Korean Ministry of Science and ICT grant NRF-2017R1E1A1A03071032
- Recent (2012ff) fully-reviewed journal publications:
- A.M. Pauly, M. Ziegler: "Relative Computability and Uniform Continuity of Relations", in the Journal of Logic and Analysis vol.5 (2013).
- A. Kawamura, H. Ota, C. Rösnick, M. Ziegler: "Computational Complexity of Smooth Differential Equations", Logical Methods in Computer Science vol.10:1 (2014).
- A. Kawamura, N. Müller, C. Rösnick, M. Ziegler: "Computational Benefit of Smoothness: Parameterized Bit-Complexity of Numerical Operators on Analytic Functions and Gevrey's Hierarchy", pp. 689-714 in Journal of Complexity vol.31:5 (2015).
- C. Herrmann and M. Ziegler: "Computational Complexity of Quantum Satisfiability", Journal of the ACM article 19 vol 63:2 (2016).
- C. Herrmann, Yasuyuki Tsukamoto (塚本 靖之), M. Ziegler: "On the Consistency Problem for Modular Lattices and Related Structures", pp.1573-1595 in the International Journal of Algebra and Computation vol.26:8 (2016).
- A. Kawamura, F. Steinberg, M. Ziegler: "On the Computational Complexity of the Dirichlet Problem for Poisson's Equation, pp.1437-1465 in Mathematical Structures in Computer Science vol.27:8 (2017).
- C. Herrmann and M. Ziegler: "Definable Relations in Finite-Dimensional Subspace Lattices with Involution" article #68 in Algebra Universalis vol.79 (2018).
- I. Koswara, G. Pogudin, S. Selivanova, M. Ziegler: "Bit-complexity of classical solutions of linear evolutionary systems of partial differential equations", Journal of Complexity vol.76 (2023).
-
M. Ziegler:
"Real
Computation with Least Discrete Advice:
A Complexity Theory of Nonuniform Computability
with Applications to Effective Linear Algebra",
pp.1108-1139 in Annals of Pure and Applied Logic vol.163 (2012)
-
Group members:
- Dr. Alexander Stoimenov, external consultant
- 河村彰星
- Holger Thies
- 이계식
- Klaus Meer
- Norbert Preining
- Michal Konecny
- Pieter Collins
- Participants in EU H2020 PIRSES 731143
- Dr. Svetlana Selivanova
- MSc. Hyunwoo Lee (이현우), now working at Craft Technologies
- MSc. Donghyun Lim (임동현), now working at Nalbi
- Dr. Sewon Park (박세원), now postdoc at Kyoto University
- BSc. Jiman Hwang (황지만)
- MSc. Ivan Koswara, now PhD student at NUS
- BSc Seokbin Lee (이석빈), now graduate student at Georgia Tech
- TAs Seungwoo Lee, Namjo Ahn, Nguyen Viet Dung, Talipov Anuar
- Dongseong Seon (선동성), now working for KRAFTON Game Union
- Chansu Park (박찬수), now working for Skelter Labs
- Seungwoo Schin (신승우), founder of 미국주식사관학교
- Junhee Cho (조준희), now working for Google
- Jaewoong Han (한재웅), Waterloo University
- Bastian Dörig, TU Darmstadt
- Dr. Matthias Schröder
- Dr. Florian Steinberg
- Dipl.-Math. Robin Hesse
- Dr. Hugo Férée
- Dr. Carsten Rösnick-Neugebauer
- MSc. TSUKAMOTO Yasuyuki (塚本 靖之)
- Eike Neumann
- Dr. Stéphane Le Roux
- Prof. 森 隆一 and wife (visiting TUD from April to September 2012)
- 河村彰星 (Ph.D), visiting TUD from August to September 2011
(Prospective) students may consider advice by Sue Moon, by Sir Michael Atiyah, Béla Bollobás, Alain Connes, Dusa McDuff, Peter Sarnak, by the late Greg Hjorth and by the later Gian-Carlo Rota, as well as from Jorge Cham's online comic series and another graduate.
-
Teaching
since Fall 2022:
- Introduction to Algorithms (CS300) with 200 students
- Foundation of VR/AI/MMORPG (CS492) flipped learning
- Theory of Computation (CS422) with 60 students
- Future(s) of the World (CS492F)
Full teaching history...
- Professional Memberships:
- Deutsche Mathematiker Vereinigung (DMV)
- Societe Mathematique de France (SMF)
- Mathematical Society of Japan (MSJ)
- Korean Mathematical Society (KMS)
- Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG)
- Association for Symbolic Logic (ASL)
- Society for Industrial and Applied Mathematics (SIAM, lifetime)
- Association for Computing Machinery (ACM lifetime)
- European Association for Theoretical Computer Science (EATCS)
- European Association for Computer Science Logic (EACSL)
- Forum InformatikerInnen für Frieden und gesellschaftliche Verantwortung (FIfF)
- Gesellschaft für Informatik (GI) + Fachbereich Grundlagen + Fachgruppe Computeralgebra
- Institute for Electrical and Electronics Engineers (IEEE)
- Deutsche Physikalische Gesellschaft (DPG)
- Programme Committee Memberships
- 47th International Colloquium on Automata, Languages and Programming (ICALP 2020, PC Member)
- 37th Symposium on Theoretical Aspects of Computer Science (PC Member)
- 16th Annual Conference on Theory and Applications of Models of Computation (PC Member)
- 13th Annual International Conference on Combinatorial Optimization and Applications (PC Member)
- 25th International Computing and Combinatorics Conference (PC Member)
- 12th Annual International Conference on Combinatorial Optimization and Applications (PC Member)
- 15th Int. Conf. on Computability and Complexity in Analysis (PC Chair)
- Second Workshop on Mathematical Logic and its Application (JAIST, PC Member)
- 28th International Symposium on Algorithms and Computation (ISAAC, PC Member)
- CCC 2017 (PC Member)
- Colloquium Logicum (PC Member)
- PhDs in Logic 2016 (PC Member)
- 6th Int. Conf. on Mathematical Aspects of Computer and Information Science (PC Member), special session Real Complexity Theory and Practice
- 12th Int. Conf. on Computability and Complexity in Analysis (CCA 2015, PC Chair)
- Conference/Workshop Participation/Presentation/Organization:
- Logic for the Friendship of Nations
- Shonan seminar no.151 Higher-order Complexity Theory and its Applications
- 22nd Korea-Japan Joint Workshop on Algorithms and Computation (Local Organizing Chair)
- Logic Colloquium 2019 (plenary speaker)
- Bayreuth Seminar, MPI SWS Seminar
- 12th Ann. Meeting of the Asian Association for Algorithms and Computation
- Special Session SS-04 in joint meeting of KMS and DMV (co-organizer)
- Continuity, Computability, Constructivity (Faro, Tutorial Speaker)
- Colloquium Logicum 2018 (Bayreuth)
- 21st Japan-Korea Workshop on Algorithms and Computation
(Fukuoka, Invited Speaker) - KMS Conference on Math to Industry (SNU, May 2018)
- Japanese-German International Workshop on Mathematical Fluid Dynamics (Bad Boll)
- Shonan Meeting 115
- Reliable Computation and Complexity on the Reals (Co-Organizer)
- 14th International Conference on Computability and Complexity in Analysis (organising committee chair)
- 15th Asian Logic Conference (local committee)
- Workshop on Metafinite Model Theory (Reykjavik, invited speaker)
- POSTECH Seminar
- Winter School of the Korean Special Interest Group on Programming Languages (tutorial speaker)
- Korean Fall Workshop on Algorithms & Computation (invited speaker)
- Korean Mathematical Society Fall Meeting 2016 (Special Session on Algebra)
- Computability in Europe (invited speaker)
- 31st Ann. ACM/IEEE Symp. on Logic in Computer Science
- Abschied vom Menschen, ADeKo Symposium (invited speaker)
- IANUS Themenwoche Nuclear Condition(s)
- Dagstuhl Seminar: Measuring the Complexity of Computational Content
- CCC 2015: From Logic to Algorithms
- 18th Korea-Japan Joint Workshop on Algorithms and Computation
- German-Japanese Workshop on Theory and Practice of Real Computation
- 11th Conference on Computability in Europe (Bucharest)
- KAIST Theory Day
- 11th Japanese-German International Workshop on Mathematical Fluid Dynamics (Waseda, invited speaker)
- Workshop on Mathematical Fluid Dynamics
- Tag der Informatik 2014
- Continuity, Computability, Constructivity (CCC 2014, invited speaker)
- 4th Int. Congress on Mathematical Software, Hanyang University, Seoul
- 11th Int. Conf. on Computability and Complexity in Analysis (CCA 2014, local chair)
- Amsterdam Quantum Logic Workshop
- HNI Oberseminar Algorithmen und Komplexität (Jan.2014)
- Maastricht Workshop on Computable Analysis and Rigorous Numerics
- DAAD und JSPS Wissenschaftlicher Gesprächskreis Tokyo, 8.11.2013
- NII Shonan Meeting: Implicit Computational Complexity and applications: Resource control, security, real-number computation
- Seminar, Bundeswehr Universität München
- WoLLIC 2013 (local co-organizer)
- Logic Activities in and around JAIST
- 10th Int. Conf. on Computability and Complexity in Analysis (CCA'2013)
- Computability in Europe (CiE'2013, Milano)
- Continuity, Computability, Constructivity – From Logic to Algorithms (CCC 2013)
- Vernetzung im Mathematikunterricht, 5. Tagung des GDM Arbeitskreises
- Seminar Wissenschaftliches Rechnen, FB Mathematik, Uni Paderborn
- Cyberpeace (Apr.2013)
- ELC Tokyo Complexity Workshop (Mar.2013)
- 3. JSPS-Club-Treffen (Kobe, Mar.2013)
- ELC Seminar
- Computability Theory and Foundations of Mathematics (Tokyo Institute of Technology, Feb.2013)
- 64. Workshop über Algorithmen und Komplexität ("Theorietag", Darmstadt Okt.2012), organized jointly with PD Dr.habil. Ulrike Brandt
- 15'th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations (SCAN 2012, Novosibirsk)
- Colloquium Logicum 2012
- 5th International Workshop on Physics and Computation (Swansea, 2012), invited speaker
- Sondertheorietag in Tübingen
- 9th International Conference on Computability and Complexity in Analysis (Cambridge, 2012)
- 5th Japanese-German International Workshop on Mathematical Fluid Dynamics (Tokyo, 2012)
- Continuity, Computability, Constructivity - From Logic to Algorithms (Trier, 2012)
- Kolloqium Mathematische Informatik (Frankfurt, 2012)
- Kyoto Symposium on Computable Analysis 2012, invited speaker
- 63. Workshop Komplexität, Datenstrukturen, Effiziente Algorithmen (Theorietag, Brandenburg)
- Dagstuhl Seminar #11411: "Computing with Infinite Data: Topological and Logical Foundations"
- Workshop in Greifswald
- 62. Workshop Komplexität, Datenstrukturen, Effiziente Algorithmen (Theorietag, Kaiserslautern)
- Real-number complexity workshop at Foundations of Computational Mathematics (FoCM'11)
- 26th Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2011), Toronto
- 61. Workshop Komplexität, Datenstrukturen, Effiziente Algorithmen (Theorietag, Trier)
- 8th Int. Conf. on Computability and Complexity in Analysis (CCA-CCR-2011, Cape Town, South Africa)
- Ernst Specker at 90, Zürich 2010
- Colloquium Logicum 2010 Münster
- 7th Int. Conf. on Computability and Complexity in Analysis (CCA 2010, Zhenjiang, China); [PC Member]
- 7th Workshop on Quantum Physics and Logic, Oxford 2010 [talk video]
- 3rd Int. Workshop on PHYSICS AND COMPUTATION (P&C 2010); [PC Member]
- 59. Workshop über Algorithmen und Komplexität (Ilmenau 2010)
- Algorithmic Model Theory Meeting 2010 (Frankfurt)
- Logical Approaches to Barriers in Computing and Complexity (Greifswald 2010); [PC Member] photos+slides
- UC09 and co-located Workshops (Azores 2009)
- CCA2009 Ljubljana
- CCC2009 Cologne
- CCA'08 (Hagen)
- UC'08 (Vienna 2008)
- Workshop on Physics and Computation (Vienna 2008)
- Dagstuhl Seminar
"Topological and Game-Theoretic Aspects of Infinite Computations"
- Frühjahrstagung der Deutschen Physikalischen Gesellschaft (Freiburg, GERMANY)
- Domains VIII (Novosibirsk, RUSSIA).
- MFCS 2007 (Cesky Krumlov, CZECH REPUBLIC).
- Zero 2007 (Seoul,KOREA); invited talk.
- CiE'07 (Siena/ITALY); invited talk.
