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