Habilitationen
Habilitationsordnung
laufende Habilitationsverfahren | |||
27.03.2018 | Einreichen der Habilschrift | Dr. rer. nat. Keyan Ghazi-Zahedi | Morphological Intelligence |
20.03. - 16.04.2018 | Auslage der Habilitationsschrift |
Dr. rer. nat. Conrad Mädler | Behandlung finiter matrizieller Potenzmomentenprobleme mittels Algorithmen vom Schur-Nevanlinna-Typ |
22.01.2018 | Eröffnung des Habilitationsverfahrens | Dr. rer. nat. Karin Quaas | Formal Verification of Infinite-State Systems: One-Counter Machines, Register Automata, and Timed Automata |
09.11. - 06.12.2017 | Auslage der Habilitationsschrift |
Dr. rer. nat. Axel-Cyrille Ngonga Ngomo | Link Discovery: Algorithms and Applications |
2017 | |
Dr. Roman Schneider | Strukturierte Speicherung und Abfrage mehrfach annotierter Textkorpora - Strategien und Performanzevaluierungen |
Dr. Hannes Straß | Abstract Dialectical Frameworks - An Analysis of Their Properties and Role in Knowledge Representation and Reasoning |
2016 | |
Dr. Sergey Tikhomirov | Quantitative properties of infinite and finite pseudotrajectories |
2015 | |
Dr. Agnes Radl | Contributions to the numerical range and some applications of semigroup theory |
2014 | |
Dr. rer. nat. Miroslav Bacák | Convex analysis and optimization in Hadamard spaces |
Dr. rer. nat. Nadine Große | Aspects of the Dirac operator on manifolds of bounded geometry |
2012 | |
Dr. rer. nat. Tim Netzer | Spectrahedra and Their Shadows |
Dr. Jane Neumann | Beyond activation detection: Advancing computational techniques for the analysis of functional MRI data |
2009 | |
Dr. rer. nat. Claus Diem | On arithmetic and the discrete logarithm problem in class groups of curves |
2008 | |
Dr. rer. nat. Helmut Abels | Diffuse Interface Models for Two-Phase Flows of Viscous Incompressible Fluids |
Dr. rer. nat. Andreas Lasarow | Einige Anwendungen der Szegö-Theorie orthogonaler rationaler Matrixfunktionen auf Extremal- und Interpolationsprobleme in der matriziellen Carathéodory-Klasse |
2007 | |
Dr. rer. nat. Mario Bebendorf | Hierarchical Matrices - A Means to Efficiently Solve Elliptic Boundary Value Problems |
Dr. rer. nat. Sascha Orlik | The Cohomology of Non-Archimedean Period Domains with regard to the Local Langlands Correspondence |
Dr. rer. nat. Hartmut Schwetlick | Travelling fronts arising in the mathematical modelling of transport and chemotaxis |
2006 | |
Dr. rer. nat. Dirk Drasdo | Computational models of tissue organization and multicellular growth |
Dr. rer. nat. Istvan Heckenberger | Nichols Algebras of Diagonal Type and Arithmetic Root Systems |
Dr. rer. nat. Michael Hellus | Local Cohomology and Matlis duality |
Dr. rer. nat. Daniel Kirsten | Distance Desert Automata and Star Height Substitutions |
2005 | |
Dr. rer. nat. Thomas Blesgen | A Qualitative and Quantitative Mathematical Analysis of Chalcopyrite Disease within Sphalerite |
Dr. rer. nat. Thomas Villmann | Neural Maps and Learning Vector Quantization for Data Mining - Theory and Applications |
2004 | |
Dr. Sergio Conti | Low-energy deformations of thin elastic plates: isometric embeddings and branching patterns |
2003 | |
Dr. rer. nat. Anita Kripfganz | Hemmi-Polyeder |
2002 | |
Dr. rer. nat. Georg Dolzmann | Variational methods for crystalline microstructure - analysis and computation |
2001 | |
Dr. rer. nat. Hans-Peter Gittel | A Variational Approach to Transonic Potential Flow Problems |
Dr. rer. nat. Bernd Kirchheim | Geometry and Rigidity of Microstructures |
Dr. rer. nat. Axel Schüler | Äußere Algebren, de-Rham-Kohomologie und Hodge-Zerlegung für Quantengruppen |
2000 | |
Dr. rer. nat. Bernd Fiedler | An Algorithm for the Decomposition of Ideals of Semi-Simple Rings and its Application to Symbolic Tensor Calculation by computer |
Dr. sc. math. Felix Finster Zirker | Der Diracsee im äußeren Feld |
Dr. rer. nat. Wolf-Dieter Heinrichs | Topologische Eigenschaften durch Operatoren in Fréchet- und (DF)-Räumen |
Dr. rer. nat. Bruce Hunt | A Gem of the Modular Universe |
Dr. rer. nat. Steffen Lange | Algorithmic Learning of Recursive Languages |
Dr. rer. nat. Knut Smoczyk | Der Lagrangesche mittlere Krümmungsfluss |
Dr. rer. nat. Wilderich Tuschmann | Endlichkeitssätze und positive Krümmung |
Dr. phil. Christian Wolff | Sichere Kommunikation im Internet mit Hilfe angewandter Kryptographie |
Dr. rer. nat. Frank Wolter | The Decision Problem for Combined Modal Logics |
1999 | |
Dr. rer. nat. Lutz Habermann | Eine kanonische Metrik für konforme Mannigfaltigkeiten positiver Yamabe-Invariante und Modulräume konformer Strukturen |
1998 | |
Dr. rer. nat. Friedemann Schuricht | Obstacle Problems for Shearable Nonlinearly Elastic Rods |
Dr. rer. nat. Friedemann Brock | Stetige Umordnungen und Symmetrie der Lösungen elliptischer Randwertaufgaben |
Dr. rer. nat. Lorenz Schwachhöfer | On the Classification of Holonomy Representations |
Dr. rer. nat. Joachim Apel | Zu Berechenbarkeitsfragen der Idealtheorie |
Dr. phil. Gerd Wagner | Conceptual Foundations of Artificial Agents |
1997 | |
Dr. rer. nat. Wolfgang Kliesch | A Mechanical String Model of Adiabatic Chemical Reactions |
Dr. rer. nat. Michael Frank | Beiträge zur Theorie der Hilbert-C*-Moduln |
1995 | |
Dr. rer. nat. Iwan Gawriljuk | Anwendung von Interpolation und exakten funktional-diskreten Schemata zum Aufbau und zur Analyse numerischer Verfahren |
1993 | |
Dr. rer. nat. Ljudmila Bordag | Einige Fragen der Effektivierung von thetafunktionalen Lösungen integrierbarer nichtlinearer Evolutionsgleichungen |
1992 | |
Dr. rer. nat. Günter Berger | |
Dr. rer. nat. Sabine Pickenhain | Beiträge zur Theorie mehrdimensionaler verallgemeinerter Steuerungsprobleme |
Dr. rer. nat. Manfred Schröder | Zur quantenmechanischen Beschreibung von Oberflächeneffekten |
1991 | |
Dr. rer. nat. Lutz Klotz | |
Dr. rer. nat. Reinhardt Schuster | Selbergsche Zetafunktion, Spektralabschätzungen, geodätische Doppeldifferentialformen und Gitterprobleme als Elemente der hyperbolischen Spektralgeometrie |
1990 | |
Dr. rer. nat. Andreas Schierwagen | Mathematische Modelle der Informationsverarbeitung in Nervenzellen: ein Beitrag zur Aufklärung neuronaler Struktur-Funktions-Beziehungen |