Go Back  

Promotionen

Verteidigungstermine

Zeit	Vortrag	Ort
29. 04. 2024  15.00 Uhr	M. Sc. Franziska Reinhardt Beyond the Sequence: Unraveling the Evolutionary Stories of Proteins through Bioinformatic Analysis	Felix-Klein-Hörsaal, Paulinum, P501, Augustusplatz 10, 04109 Leipzig
30. 04. 2024  15.00 Uhr	M. Sc. John Eric Anders Annotation of Small Proteins. An Investigation of an Overlooked Protein Class	Rittersaal (Raum 114, 1. Etage, Härtelstraße 16-18, 04107 Leipzig)
15. 05. 2024  17.00 Uhr	M. Sc. Christopher Rost Scalable Management and Analysis of Temporal Property Graphs	Raum P 702 (Paulinum, Augustusplatz 10, 04109 Leipzig)
22. 05. 2024  16.00 Uhr	M. Sc. M. Sc. Johannes Christoph Müller Geometry of Optimization in Markov Decision Processes and Neural Network Based PDE Solvers	to be confirmed
30. 05. 2024  13.00 Uhr	M. Sc. Shahbaz Syed Summarizing User-Generated Discourse	Raum A520, 5. Etage, Augusteum, Augustusplatz 10, 04109 Leipzig

Abgeschlossene Promotionsverfahren

2024

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
M. Sc. Fabio Di Nocera	A W*-algebraic formalism for parametric models in Classical and Quantum Information Geometry	Prof. Dr. Jürgen Jost	Prof. Dr. Jürgen Jost Prof. Dr. Paolo Gibilisco, Universitä degli Studi di Roma “Tor Vergata", Italien	Dr. rer. nat.	Mathematik
M. Sc. Martin Franke	Scalable, Accurate and Secure Privacy-Preserving Record Linkage	Prof. Dr. Erhard Rahm	Prof. Dr. Erhard Rahm Prof. Dr. Rainer Schnell, Universität Duisburg-Essen	Dr. rer. nat.	Informatik
M. Sc. Lisa Fiedler	Computational Methods for the Analysis of Mitochondrial Genomes – Using Annotated de Bruijn Graphs	Prof. Dr. Martin Middendorf	Prof. Dr. Martin Middendorf Prof. Dr. Burkhard Morgenstern, Universität Göttingen	Dr. rer. nat.	Informatik
M. Sc. Carolin Schimmelpfennig	Characterization and Evaluation of Gene Fusions in Prostate Cancer	Dr. Kristin Reiche (Fraunhofer IZI) befürwortet von Prof. Dr. Peter F. Stadler	Prof. Dr. Peter F. Stadler gemeinsam mit Dr. Kristin Reiche, Fraunhofer IZI Prof. Dr. Benedikt Brors, Deutsches Krebsforschungszentrum Heidelberg	Dr. rer. nat.	Informatik
Dipl.-Math. Christian Alvermann	Optimale Steuerung in der Bearbeitung von Werkstücken mittels Ionenstrahlen	Prof. Dr. Stephan Luckhaus	Prof. Dr. Stephan Luckhaus Prof. Dr. Axel Kröner (U Halle-Wittenberg)	Dr. rer. nat.	Mathematik
M. Sc. Edgard Luiz Marx	Leveraging Information Retrieval over Linked Data	Prof. Dr. Thomas Riechert (HTWK) befürwortet durch Prof. Dr. Erhard Rahm	Prof. Dr. Thomas Riechert (HTWK) gemeinsam mit Prof. Dr. Erhard Rahm Prof. Dr. Dieter Fensel (Universität Innsbruck)	Dr. rer. nat.	Informatik
Dipl.-Math. Dominik Vietinghoff	Critical Points of Uncertain Scalar Fields: With Applications to the North Atlantic Oscillation	Prof. Dr. Gerik Scheuermann	Prof. Dr. Gerik Scheuermann Prof. Dr. Eugene Zhang, Oregon State University, USA	Dr. rer. nat.	Informatik
M. Sc. Kemal Samuel Rose	Sparse polynomial system(s) in optimization	Professor Dr. Bernd Sturmfels	Professor Dr. Bernd Sturmfels Professor Dr. Simon Telen, MPI Leipzig Professor Dr. Kristian Ranestad, Oslo	Dr. rer. nat.	Mathematik
M. Sc. Michael Rade	Biomarker discovery and confirmation using statistical and machine learning approaches in transcriptomics	Prof. Dr. Peter F. Stadler gemeinsam mit Dr. Kristin Reiche (Fraunhofer IZI)	Prof. Dr. Peter F. Stadler gemeinsam mit Dr. Kristin Reiche (Fraunhofer IZI) Prof. Dr. Matthias Schlesner (Universität Augsburg)	Dr. rer. nat.	Informatik

2023

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
M. Sc. Hanna Tseran	Expected Complexity and Gradients of Deep Maxout Neural Networks and Implications to Parameter Initialization	Prof. Dr. Guido Montúfar befürwortet von Prof. Dr. Bernd Sturmfels	Prof. Dr. Guido Montúfar gemeinsam mit Prof. Dr. Bernd Sturmfels Prof. Dr. Gitta Kutyniok (LMU München)	Dr. rer. nat.	Informatik
B. Sc. Zachary P. Adams	Quasi-Ergodicity of SPDE: Spectral Theory and Phase Reduction	Prof. Dr. Jürgen Jost	Prof. Dr. Jürgen Jost Prof. Dr. Wilhelm Stannat (TU Berlin)	Dr. rer. nat.	Mathematik
M. Sc. Christoph Haar	Cyber Security and Security Frameworks for Cloud and IoT Architectures	Prof. Dr. Erik Buchmann	Prof. Dr. Erik Buchmann Prof. Dr. Andriy Panchenko (Universität Cottbus)	Dr.-Ing.	Informatik
M. Sc. Christofer Meinecke	Visual Analytics for the Exploratory Analysis and Labeling of Cultural Data	Prof. Stefan Jänicke (SDU Odense, Dänemark) befürwortet von Prof. Dr. Gerik Scheuermann	Prof. Dr. Gerik Scheuermann gemeinsam mit Prof. Stefan Jänicke (SDU Odense, Dänemark) Prof. Dr. Andreas Kerren (Linköping University und Linnaeus University)	Dr. rer. nat.	Informatik
Dipl. Ing. Markus Tempelmayr	Algebraic and probabilistic aspects of regularity structures	Professor Dr. Felix Otto Professor Dr. Peter K. Friz, TU Berlin	Professor Dr. Felix Otto	Dr. rer. nat.	Mathematik
B. Sc. Shuhan Jiang	Mathematical Structures of Cohomological Field Theories	Professor Dr. Jürgen Jost	Professor Dr. Jürgen Jost Professor Dr. Ugo Bruzzo (Universita di Trieste, Italien), 1.Teil Professor Dr. Alessandro Tanzini (Universita di Trieste)	Dr. rer. nat.	Mathematik
M. Sc. Claudia Fevola	Computation and Physics in Algebraic Geometry	Professor Dr. Bernd Sturmfels	Professor Dr. Bernd Sturmfels Professor Dr. Daniele Agostini (U Tübingen) Professor Dr. Fatemeh Mohammadi (KU Leuven)	Dr. rer. nat.	Mathematik
M. Sc. Tariq Yousef	Translation Alignment Applied to Historical Languages Methods, Evaluation, Applications and Visualization	Prof. Dr. Gerhard Heyer und Prof. Stefan Jänicke	Prof. Dr. Gerhard Heyer gemeinsam mit Prof. Stefan Jänicke Prof. Dr. Alexander Mehler (Goethe University Frankfurt am Main)	Dr. rer. nat.	Informatik
M. Sc. Rida Ait El Manssour	Combinatorial methods in differential algebra	Prof. Dr. Bernd Sturmfels	Prof. Dr. Bernd Sturmfels Prof. Dr. Gleb Pogudin (INRIA Saclay) Prof. Dr. Alexey Ovchinnikov (City University of NY, USA)	Dr. rer. nat.	Mathematik
M. Sc. Hoang Thanh Le	Two-Stage Vehicle Routing Problems with Profits and Buffers: Analysis and Metaheuristic Optimization Algorithms	Prof. Dr. Martin Middendorf	Prof. Dr. Martin Middendorf Prof. Dr. Thomas Weise (Hefei University, China)	Dr. rer. nat.	Informatik
M. Sc. Richard Khulusi	How Visualization Supports the Daily Work in Traditional Humanities on the Example of Visual Analysis Case Studies	Assoc. Prof. Dr. Stefan Jähnicke (University of Southern Denmark) & Prof. Dr. Gerik Scheuermann	Assoc. Prof. Dr. Stefan Jähnicke (University of Southern Denmark) gemeinsam mit Prof. Dr. Gerik Scheuermann Prof. Dr. Silvia Miksch (TU Wien)	Dr. rer. nat.	Informatik
M. Sc. Sayed Mohammad Reza Hashemi	Generalization of the Einstein condition for pseudo-Riemannian manifolds	Prof. Dr. Hans-Bert Rademacher	Prof. Dr. Hans-Bert Rademacher Prof. Jeffrey Case, Pennsylvania State University, USA	Dr. rer. nat.	Mathematik
M. Sc. Marie-Charlotte Brandenburg	Tropical Positivity and Semialgebraic Sets from Polytopes	Professor Dr. Rainer Sinn	Professor Dr. Rainer Sinn Professor Dr. Francisco Santos (Universidad de Cantabria, Santander, Spanien)	Dr. rer. nat.	Mathematik
M. Sc. Polina Lipaeva	Temperature-related proteogenomics of cold-adapted amphipods from the Lake Baikal region	Dr. Till Luckenbach befürwortet von Professor Dr. Peter F. Stadler	Professor Dr. Peter F. Stadler gemeinsam mit Dr. Till Luckenbach Professor Dr. Michael Sammeth (Hochschule Coburg)	Dr. rer. nat.	Informatik
M. Sc. Maria Schmidt	Inferring developmental trajectories in gene and cell state space	Prof. Dr. Hans Binder befürwortet durch Prof. Dr. Peter F. Stadler	Dr. Hans Binder gemeinsam mit Prof. Dr. Peter F. Stadler Dr. Alexander Bagaev (BostonGene Corporation, USA)	Dr. rer. nat.	Informatik
M. Sc. Nono Saha Cyrille Merleau	From RNA folding to inverse folding: a computational study	Dr. Matteo Smerlak befürwortet von Prof. Dr. Peter F. Stadler	Prof. Dr. Peter F. Stadler gemeinsam mit Dr. Matteo Smerlak Prof. Dr. Yann Ponty (LIX, Palaiscau, Frankreich)	Dr. rer. nat.	Informatik
M. Sc. David Georg Reichelt	Untersuchung von Performanzveränderungen auf Quelltextebene	Professor Dr. Wilhelm Hasselbring befürwortet durch Prof. Dr. Gerhard Heyer	Prof. Dr. Wilhelm Hasselbring gemeinsam mit Prof. Dr. Gerhard Heyer Prof. Dr. Rick Rabiser (Johannes-Kepler-Universität Linz, Österreich)	Dr. rer. nat.	Informatik
M. Sc. Maximilian Stegemeyer	On global properties of geodesics. The string topology coproduct and geodesic complexity	Prof. Dr. Hans-Bert Rademacher	Prof. Dr. Hans-Bert Rademacher Prof. Dr. Nathalie Wahl (KU Kopenhagen)	Dr. rer. nat.	Mathematik

2022

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Dipl.-Math. Chiara Hergl	Analysis and Visualization of Higher-Order Tensors	Prof. Dr. Gerik Scheuermann	Prof. Dr. Gerik Scheuermann Prof. Dr. Bei Wang Phillips (University of Utah, Salt Lake City, UT, USA)	Dr. rer. nat.	Informatik
Dipl.-Math. Dipl.-Chem. Wilmer Oswaldo Leal Jaimes	Chemical space exploration: Formal, chemical and historical aspects	Professor Dr. Peter F. Stadler	Professor Dr. Peter F. Stadler gemeinsam mit Prof. Dr. Jürgen Jost Professor Dr. Rolf Fagerberg (University of Southern Denmark, Dänemark)	Dr. rer. nat.	Informatik
M. Sc. Baldwin Nsonga	Splat and Anti-Splat Events in Turbulent Flows – On the Detection, Visualization, and Application of Near-Wall Flow Phenomena	Prof. Dr. Gerik Scheuermann	Prof. Dr. Gerik Scheuermann Prof. Dr. Rüdiger Westermann (TU München)	Dr. rer. nat.	Informatik
Dipl.-Inf. Michael Petrifke	Advanced Techniques for Ranking Web Documents and Generating Recommendations in Social Media	Prof. Dr. Christoph Lindemann	Prof. Dr. Christoph Lindemann Prof. Dr. Christian Becker (Universität Stuttgart)	Dr. rer. nat.	Informatik
M. Sc. Irma Lozada Chávez	Differential evolution of non-coding DNA across eukaryotes and its close relationship with complex multicellularity on Earth	Prof. Dr. Peter F. Stadler	Prof. Dr. Peter F. Stadler gemeinsam mit Prof. Dr. Sonja Prohaska Prof. Dr. Hajk-Georg Drost (Max Planck Institute for Developmental Biology, Tübingen)	Dr. rer. nat.	Informatik
M. Sc. Felix Kühnl	The Folding Kinetics of RNA	Prof. Dr. Peter F. Stadler	Prof. Dr. Peter F. Stadler Prof. Dr. Yann Ponty (LIX, Ècole Polytechnique, Paris, Frankreich)	Dr. rer. nat.	Informatik
Dipl.-Inf. André Reichenbach	Improving the Tractography Pipeline: on Evaluation, Segmentation, and Visualization	Prof. Dr. Gerik Scheuermann	Prof. Dr. Gerik Scheuermann Prof Dr. Torsten Wolfgang Kuhlen (RWTH Aachen)	Dr. rer. nat.	Informatik
Dipl.-Math. Daniel Schliewe	BPX-Type Preconditioners and Convergence Estimates for Strictly Quasiconvex Functionals	Prof. Dr. Stephan Luckhaus	Prof. Dr. Stephan Luckhaus Prof. Dr. Carsten Carstensen (Humboldt Universität Berlin)	Dr. rer. nat.	Mathematik
M. Sc. Chiara Meroni	Semialgebraische konvexe Körper	Prof. Dr. Rainer Sinn	Prof. Dr. Rainer Sinn Prof. Dr. Peter Bergüsser (TU Berlin)	Dr. rer. nat.	Mathematik
M. Sc. Thu Hien Nguyen	On the entire functions from the Laguerre-Pólya Class having monotonic second quotients of Taylor coefficients	Prof. Dr. Anna Vishnyakova befürwortet von Prof. Dr. Tatjana Eisner	Prof. Dr. Tatjana Eisner Prof. Dr. Anna Vishnyakova (V.N. Karazin Kharkiv National University) Prof. Dr. Vladimir Kostov (Université de Nice Sophia-Antipolis)	Dr. rer. nat.	Mathematik
M. Sc. Henrik Eisenmann	Multilinear optimization in low-rank models	Prof Dr. André Uschmajew befürwortet von Prof. Dr. Bernd Sturmfels	Prof. Dr. André Uschmajew Prof. Dr. Bernd Sturmfels Prof. Dr. Reinhold Schneider (TU Berlin)	Dr. rer. nat.	Mathematik
M. Sc. Florian Kunick	Analysis and Numerics of Stochastic Gradient Flows	Professor Dr. Felix Otto	Professor Dr. Felix Otto Professor. Dr. José Carrillo, University of Oxford	Dr. rer. nat.	Mathematik
M. Sc. Felix Gaisbauer	Voice and silence in public debate: Modelling and observing collective opinion expression online	Prof. Dr. Jürgen Jost	Prof. Dr. Jürgen Jost Prof. Dr. Walter Quattrociocchi (Universita de Roma „La Sapienzia“, Italien)	Dr. rer. nat.	Informatik
M. Sc. Pablo Linares Ballesteros	On a tree-free approach to regularity structures for quasi-linear stochastic partial differential equations	Prof. Dr. Felix Otto	Prof. Dr. Felix Otto Prof. Dr. Lorenzo Zambotti, Sorbonne Université (ex UPMC), Jussieu Paris	Dr. rer. nat.	Mathematik
M. Sc. Tobias Lehmann	Contributions to measure-valued diffusion processes arising in statistical mechanics and population genetics	Prof. Dr. Max von Renesse	Prof. Dr. Max von Renesse Prof. Dr. Johannes Zimmer (TU München)	Dr. rer. nat.	Mathematik
M. Sc. Adam Nunn	Advancing the analysis of bisulfite sequencing data in the context of ecological plant epigenetics	Prof. Dr. Peter F. Stadler	Prof. Dr. Peter F. Stadler Prof. Dr. Robert J. Schmitz (University of Georgia, GA, USA)	Dr. rer. nat.	Informatik
Dipl.-Math. Christoph Eikemeier	Asymptotics of Hecke operators for quasi-split simple groups	Prof. Dr. Tobias Finis	Prof. Dr. Tobias Finis Prof. Dr. Werner Hoffmann (Universität Bielefeld)	Dr. rer. nat.	Mathematik
M. Sc. Cristian Arley Velandia Huerto	Workflows for the Large-Scale Assessment of miRNA Evolution. Birth and Death of miRNA Genes in Tunicates	Prof. Dr. Peter F. Stadler	Prof. Dr. Peter F. Stadler Prof. Dr. Cedric Notredame (Center for Genomic Regulation Barcelona, Spanien)	Dr. rer. nat.	Informatik
M. Sc. Stefan Krämer	Computationally Linking Chemical Exposure to Molecular Effects with Complex Data: Comparing Methods to Disentangle Chemical Drivers in Environmental Mixtures and Knowledge-based Deep Learning for Predictions in Environmental Toxicology	Prof. Dr. Jörg Hackermüller	Prof. Dr. Jörg Hackermüller Prof. Dr. Sven Nahnsen (Universität Tübingen)	Dr. rer. nat.	Informatik
M. Ed. Susanne Dögnitz	Diagnostik von besonderen Schwierigkeiten im Rechnen im Klassenverband der Sekundarstufe I	Prof. Dr. Silvia Schöneburg-Lehnert	Prof. Dr. Silvia Schöneburg-Lehnert Prof. Dr. Andrea Hoffkamp (TU Dresden)	Dr. rer. nat.	Mathematik
M. Sc. Franz Anders	Automatic Recognition of Non-Verbal Acoustic Communication Events With Neural Networks Applied to Infant Vocalizations and Chimpanzee Calls	Prof. Dr. Mario Hlawitschka (HTWK) befürwortet durch Prof. Dr. Gerik Scheuermann	Prof. Dr. Mario Hlawitschka (HTWK) gemeinsam mit Prof. Dr. Gerik Scheuermann Prof. Dr. Franz Pernkopf (TU Graz, Österreich)	Dr. rer. nat.	Informatik
M. Sc. Masoumeh Seydi Gheranghiyeh	Geospatial Analysis and Modeling of Textual Descriptions of Pre-modern Geography	Prof. Dr. Gregory Crane	Prof. Dr. Gregory Crane gemeinsam mit Dr. Maxim Romanov (Universität Hamburg) Prof. Dr. Øyvind Eide (Universität zu Köln)	Dr. rer. nat.	Informatik
M. Sc. Shang-Ju Wu	Analysis of consciousness for complete locked-in syndrome patients	Prof. Dr. Martin Bogdan	Prof. Dr. Martin Bogdan Prof. Dr. Po-Lei Lee (National Central University Taiwan)	Dr.-Ing.	Informatik
Dipl.-Ing. Sophie Adama	Consciousness Level Assessment in Completely Locked-in Syndrome Patients using Soft-Clustering	Prof. Dr. Martin Bogdan	Prof. Dr. Martin Bogdan Dr. Ander Ramos-Murguialday (Universität Tübingen)	Dr.-Ing.	Informatik
M. Sc. Lisa Maria Steinheuer	Network inference from sparse single-cell transcriptomics data – Exploring, exploiting, and evaluating the single-cell toolbox	Prof. Dr. Jörg Hackermüller	Prof. Dr. Jörg Hackermüller Prof. Dr. Wolfgang Enard (LMU München)	Dr. rer. nat.	Informatik
M. Sc. Thomas Gatter	New Algorithms for Fast and Economic Assembly: Advances in Transcriptome and Genome Assembly	Prof. Dr. Peter F. Stadler	Prof. Dr. Peter F. Stadler Prof. Dr. Michael Hiller (Goethe-Universität Frankfurt am Main)	Dr. rer. nat.	Informatik
M. Sc. Marzieh Eidi	Topological and Geometric Methods with a View Towards Data Analysis	Prof. Dr. Jürgen Jost	Prof. Dr. Jürgen Jost Prof. Dr. Nobert Peyerimhoff (Durham University)	Dr. rer. nat.	Mathematik

2021

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Dipl.-Inf. Jörn Hoffmann	MOSAIC: Ein Morph-gesicherter, adaptiver Prozessor für Mikrocontroller	Martin Bogdan	Martin Bogdan Thomas Eisenbarth (Universität Lübeck)	Dr. rer. nat.	Informatik
Dipl.-Math. Michaela Wall	The Truncated Matricial Stieltjes Moment Problem and Corresponding Matrix Balls	Bernd Fritzsche	Bernd Fritzsche Yongjian Hu (Beijing Normal University, China)	Dr. rer. nat.	Mathematik
M. Sc. Alieh Saeedi	Clustering Approaches for Multi-source Entity Resolution	Erhard Rahm	Erhard Rahm Felix Naumann (Universität Potsdam)	Dr. rer. nat.	Informatik
M. Sc. Angel Eduardo Rodriguez Fernandez	On the Study of Fitness Landscapes and the Max-Cut Problem	Peter F. Stadler	Peter F. Stadler Christian Reidys (University of Virginia, USA)	Dr. rer. nat.	Informatik
M. Sc. Masud Ehsani	Self-organized Criticality in Neural Networks by Inhibitory and Excitatory Synaptic Plasticity	Jürgen Jost	Jürgen Jost Jochen Triesch (Frankfurt Institute of Advanced Studies)	Dr. rer. nat.	Informatik
M. Sc. Amit Kirschenbaum	Unsupervised Approaches for Morphological Analysis	Gerhard Heyer	Gerhard Heyer Alexander Gelbukh (Instituto Politécnico Nacional Mexico)	Dr. rer. nat.	Informatik
M. Sc. David Schaller	Gene Family Histories - Theory and Algorithms	Peter F. Stadler	Peter F. Stadler und Marc Hellmuth (Universität Stockholm) Mike Steel (University of Canterbury, Neuseeland)	Dr. rer. nat.	Informatik
M. Sc. Benjamin Kalloch	Towards Individualized Transcranial Electric Stimulation Therapy through Computer Simulation	Mario Hlawitschka (HTWK) befürwortet von Gerik Scheuermann	Mario Hlawitschka (HTWK) gemeinsam mit Gerik Scheuermann Carsten Wolters (Universität Münster)	Dr. rer. nat.	Informatik
M. Sc. Maximilian Bryan	Unsupervised Pretraining of Neural Networks with Multiple Targets using Siamese Architectures	Gerhard Heyer	Gerhard Heyer gemeinsam mit Manuel Burghardt Antoine Doucet (La Rochelle Universitè, Frankreich)	Dr. rer. nat.	Informatik
M. Sc. Halima Saker	Segmentation of Heterogeneous Multivariate Genome Annotation Data	Peter F. Stadler	Peter F. Stadler gemeinsam mit Prof. Dr. Ahmad Shahin (Lebanese University, Libanon) Jan Gorodkin (Copenhagen University, Dänemark)	Dr. rer. nat.	Informatik
M. Sc. Dominik Jenz Otto	Computational Gene Expression Deconvolution	Kristin Reiche (Fraunhofer IZI) befürwortet durch Prof. Dr. Peter F. Stadler	Kristin Reiche (Fraunhofer IZI) und Prof. Dr. Stadler (gemeinsames Gutachten) Manuela Zucknick (University of Oslo, Norwegen)	Dr. rer. nat.	Informatik
M. Sc. Tom Liebmann	Topology of Uncertain Scalar Fields	Gerik Scheuermann	Gerik Scheuermann Holger Theisel (Universität Magdeburg)	Dr. rer. nat.	Informatik
M. Sc. Christian Kahmann	Design und Implementierung eines Software-Ökosystems für textbasierte Inhaltsanalysen in den Sozialwissenschaften mit Schwerpunkt auf der Detektion schwacher Signale	Gerhard Heyer	Gerhard Heyer Simone Paolo Ponzetto (Universität Mannheim)	Dr. rer. nat.	Informatik
Biolog. Lorena Soledad Rivarola Duarte	Unraveling the genetic secrets of ancient Baikal amphipods	Peter F. Stadler	Peter F. Stadler Ernst Stefan Seemann (Universität Kopenhagen)	Dr. rer. nat.	Informatik
M. Sc. Jan Engelhardt	DNA methylation across Metazoa	Peter F. Stadler	Peter F. Stadler Daniel Gautheret (CNRS, CEA, Université Paris-Sud, Frankreich)	Dr. rer. nat.	Informatik
Dipl.-Inf. Stefan Koch	Developing and Utilizing the Concept of Affine Linear Neighborhoods in Flow Visualization	Gerik Scheuermann	Gerik Scheuermann Filip Sadlo (Universität Heidelberg)	Dr. rer. nat.	Informatik
M. Sc. Rituparno Sen	Computational Characterization of Long Non-coding RNAs	Peter F. Stadler	Peter F. Stadler Erich Bornberg-Bauer (Universität Münster)	Dr. rer. nat.	Informatik
Dipl.-Math. Susanne Kley	The Truncated Matricial Hamburger Moment Problem and Corresponding Weyl Matrix Balls	Bernd Fritzsche Conrad Mädler	Bernd Fritzsche Hu Yongjian (Beijing Normal University, China)	Dr. rer. nat.	Mathematik
M. Sc. Mahsa Sayyary Namin	Real Algebraic Geometry of the Sextic Curves	Bernd Sturmfels	Bernd Sturmfels Peter Schenzel (MLU Halle-Wittenberg)	Dr. rer. nat.	Mathematik
M. Sc. Johannes Waschke	Trajectory data analysis in biomedical applications	Mario Hlawitschka (HTWK) befürwortet durch Gerik Scheuermann	Mario Hlawitschka (HTWK) gemeinsam mit Gerik Scheuermann Gunther H. Weber (Lawrence Berkeley National Laboratory, Berkeley, CA, USA)	Dr. rer. nat.	Informatik
Dipl.-Inf. André Valdestilhas	Identifying, Relating, Consisting and Querying Large Heterogeneous RDF Sources	Thomas Riechert (HTWK) befürwortet durch: Erhard Rahm	Thomas Riechert (HTWK) Oscar Corcho (Universidad Politecnica de Madrid, Spanien)	Dr. rer. nat.	Informatik

2020

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
M.Sc. Sven Dziadek	Weighted Logics and Weighted Simple Automata for Context-Free Languages of Infinite Words	Manfred Droste	Manfred Droste gemeinsam mit Werner Kuich (U Wien) Juha Honkala (University of Turku, Finland)	Dr. rer. nat.	Informatik
M. Sc. Victor Christen	Advanced Methods for Entity Linking in the Life Sciences	Erhard Rahm	Erhard Rahm Maria-Esther Vidal (Leibniz-Universität Hannover)	Dr. rer. nat.	Informatik
M. Sc. Orlando Marigliano	The Algebraic Statistics of Sampling, Likelihood, and Regression	Bernd Sturmfels	Mathias Drton (TU München) Bernd Sturmfels	Dr. rer. nat.	Mathematik
Dipl.-Inf. Konrad Höffner	Question Answering on RDF Data Cubes	Klaus-Peter Fähnrich/ Jens Lehmann (U Bonn)	Jens Lehmann (U Bonn) gemeinsam mit Gerhard Heyer Harald Sack (FIZ Karlsruhe)	Dr. rer. nat.	Informatik
M. Sc. Konstantinos Zemas	Geometric rigidity estimates for isometric and conformal maps from S^(n−1)to R^n	Stephan Luckhaus	Stephan Luckhaus Mohammad Reza Pakzad (U Pittsburgh)	Dr. rer. nat.	Mathematik
M. Sc. Paul Görlach	Projective geometry, toric algebra and tropical computations	Bernd Sturmfels/ Mateusz Michalek (MPI MIS)	Bernd Sturmfels Thomas Kahle (Otto von Guericke Universität Magdeburg)	Dr. rer. nat.	Mathematik
M. Sc. Tim Seynnaeve	Algebraic geometry for tensor networks, matrix multiplication, and flag matroids	Mateusz Michałek (MPI MIS) befürwortet durch Bernd Sturmfels	Bernd Sturmfels Joseph Landsberg (Texas A&M University)	Dr. rer. nat.	Mathematik
M. Sc. Phillipe Kupper	Homology products on Z2-quotients of free loop spaces of spheres	Hans-Bert Rademacher	Nathalie Wahl ( Copenhagen University) Hans-Bert Rademacher	Dr. rer. nat.	Mathematik
M. Sc. Vladimir Bajic	New approaches to investigating sex-biased admixture in southern African populations	Mark Stoneking (MPI Eva) Peter F. Stadler	Mark Stoneking (MPI Eva) gemeinsam mit Peter Stadler Hernán A. Burbano (UCL)	Dr. rer. nat.	Informatik
M. Sc. Maximilien-Sharwin Rezagholi	Hyperspace-type Monads on Top and the Entropy Theory of Dynamical Systems	Jürgen Jost	Jürgen Jost Prakash Panangaden (McGill Universität, Kanada)	Dr. rer. nat.	Informatik
M. Sc. Soheila Sahami	Improving Academic Natural Language Processing Infrastructures Utilizing Cluster Computation	Gerhard Heyer	Gerhard Heyer Maciej Piasecki (TU Wroclaw, Polen)	Dr. rer. nat.	Informatik
Dipl.-Math. Tobias Weihrauch	Characterizations and Probabilistic Representations of Effective Resistance Metric	Max-Konstantin von Renesse	Max-Konstantin von Renesse (Leipzig) Jun Kigami (Kyoto University)	Dr. rer. nat.	Mathematik
Dipl.-Inf. Jan Friedrich	Advanced Protocols for Peer-to-Peer Data Transmission in Wireless Gigabit Networks	Christoph Lindemann	Christoph Lindemann Stefan Fischer (Universität Lübeck)	Dr. rer. nat.	Informatik
Dipl.-Math. Erik Paul	Expressiveness and Decidability of Weighted Automata and Weighted Logics	Manfred Droste Helmut Seidl (TU München)	Manfred Droste Helmut Seidl (TU München)	Dr. rer. nat.	Informatik
M. Sc. Natanael Arndt	Distributed Collaboration on Versioned Decentralized RDF Knowledge Bases	Thomas Riechert (HTWK)	Cesare Pautasso (U Lugano, CH) Thomas Riechert (HTWK)	Dr. rer. nat.	Informatik
Dipl.-Wirt.-Math. Josef Feigl	Neural Networks for Collaborative Filtering	Martin Bogdan	Martin Bogdan (Universität Leipzig) Barbara Hammer (Universität Bielefeld)	Dr. rer. nat.	Informatik
M. Sc. Markus Nentwig	Scalable Data Integration for Linked Data	Erhard Rahm	Peter Christen (ANU, Canberra, Australien) Erhard Rahm (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Ing. Pau Vilimelis Aceituno	Structure, Dynamics and Self-Organization in Recurrent Neural Net-works: From Machine Learning to Theoretical Neuroscience	Jürgen Jost	Benjamin Grewe (Zürich) Jürgen Jost (Leipzig)	Dr. rer. nat.	Informatik
M. Sc. Raffaella Mulas	Spectra of Normalized Laplace Operators for Graphs and Hypergraphs	Jürgen Jost (MPI MIS, Leipzig)	Jürgen Jost Norbert Peyerimhoff (Durham University, UK)	Dr. rer. nat.	Mathematik
M. Sc. Anne Hofmann	The Marvelous World of tRNAs	Peter F. Stadler	Andrew Torda (Hamburg) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
M. Sc. Nancy Retzlaff	Studying Evolutionary Change Transdisciplinary Advances in Understanding and Measuring Evolution	Peter F. Stadler	Peter F. Stadler (Leipzig) Cedric Notredame (CRG, Barcelona)	Dr. rer. nat.	Informatik
M. Sc. Fabian Gärtner	Comparative Genomics in Distant Taxa	Peter F. Stadler	Peter F. Stadler (Leipzig) Burkhard Morgenstern (Göttingen)	Dr. rer. nat.	Informatik
M.Sc. Sarah Berkemer	Towards Dynamic Programming on Generalized Data Structures and Applications of Dynamic Programming in Bioinformatics	Peter F. Stadler	Peter F. Stadler (Leipzig) Danny Barash (Ben-Gurion University, Israel)	Dr. rer. nat.	Informatik
M. Sc. Pradeep Kumar Banerjee	Unique information and the Blackwell order	Jürgen Jost	Jürgen Jost (MPI MIS, Leipzig) Daniel Polani (Hertfordshire)	Dr. rer. nat.	Informatik

2019

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Dipl.-Math. Stefan Bachmann	Regularization by White Noise for Stochastic Functional Differential Equations	Max-Konstantin von Renesse	Max-Konstantin von Renesse (Leipzig) Franco Flandoli (Pisa)	Dr. rer. nat.	Mathematik
M.Sc. Manuela Geiß	From Best Match Graphs to Gene Trees A new perspective on graph-based orthology inference	Peter F. Stadler	Peter F. Stadler (Leipzig) Vincent Moulton (Norwich, UK)	Dr. rer. nat.	Informatik
M. Sc. Faisal Al-Shargi	Exploiting Lexical Ressources for Natural Language Processing: Compilation, Annotation, Classifying and Analysis of Arabic, German and English Corpora	Gerhard Heyer/ Uwe Quasthoff	Gerhard Heyer/ Uwe Quasthoff (Leipzig) Ayoub Al-Hamadi (Magdeburg)	Dr.-Ing.	Informatik
M. Sc. Sebastian Siemoleit	Formal-Ontological Analysis of the Relationship between Data and Knowledge	Heinrich Herre	Heinrich Herre/ Gerhard Brewka (Leipzig) Peter Schröder-Heister (Tübingen)	Dr. rer. nat.	Informatik
M. Sc. Maciej Janicki	Statistical and Computational Models for Whole Word Morphology	Gerhard Heyer/ Uwe Quasthoff	Gerhard Heyer/ Uwe Quasthoff (Leipzig) Kirster Lindén (Helsinki)	Dr. rer. nat.	Informatik
M. Sc. Renan Assimos Martins	The Geometry of Maximum Principles and a Bernstein Theorem in Codimension 2	Jürgen Jost	Jürgen Jost (Leipzig) C. de Lellis (IAS, Princeton)	Dr. rer. nat.	Mathematik
M. Sc. Christoph Kuras	Workflowmanagement als Grundlage eines Qualitätsmanagements für NLP-Prozesse am Beispiel der Korpuserstellung für die Leipzig Corpora Collection	Gerhard Heyer	Andreas Witt (Mannheim) Gerhard Heyer (Leipzig)	Dr.-Ing.	Informatik
M. Sc. Sebastian Volke	Towards Visualization of Discrete Optimization Problems and Search Algorithms	Gerik Scheuermann/ Martin Middendorf	Gerik Scheuermann (Leipzig) Holger Theisel (Magdeburg)	Dr. rer. nat.	Informatik
Dipl.-Wirtsch.-Math. Markus Ulbricht	Understanding Inconsistency - A Contribution to the Field of Non-monotonic Reasoning	Gerhard Brewka	Gerhard Brewka (Leipzig) Anthony Hunter (London)	Dr. rer. nat.	Informatik
Dipl.-Inf. (FH) Tim Gernat	Automatic acquisition and analysis of honeybee trophallaxis networks	Martin Middendorf	Martin Middendorf (Leipzig) Guy Theraulaz (Toulouse)	Dr. rer. nat.	Informatik
M. Sc. Nidhi Kaihnsa	Algebraic Methods for Dynamical Systems and Optimization	Bernd Sturmfels	Bernd Sturmfels (Leipzig) T. de Wolff (Braunschweig)	Dr. rer. nat.	Mathematik
M. Sc. Sacha Sokoloski	Implementing Bayesian Inference with Neural Networks	Nihat Ay	Nihat Ay (Leipzig) Manfred Opper (Berlin)	Dr. rer. nat.	Informatik
M. Sc. Daniel Wiegreffe	Visual Analysis of Form and Function in Computational Biology	Gerik Scheuermann	Ivo Hofacker (Wien) Gerik Scheuermann (Leipzig)	Dr. rer. nat.	Informatik
M. Sc. Ali Mohammad Yazbeck	Improved Workflows for RNA Homology Search	Kifah Tout Peter F. Stadler	Katja Nowick (Berlin) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Inf. Patrick Scheibe	A Parametric Model for the Analysis and Quantification of Foveal Shapes	Peter F. Stadler (Leipzig)	Ralph Michael (Barcelona) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
B. Sc. Deisy Morselli Gysi	Novel Methods for Constructiing, Combining and Comparing Co-Expression Networks	Peter F. Stadler	Ulf Leser (Berlin) Katja Nowick (Berlin)/Martin Middendorf (Leipzig)/Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Math. Tom Hartmann	Models and Algorithms for Sorting Permutations with Tandem Duplication and Random Loss	Martin Middendorf	Martin Middendorf (Leipzig) Jean-Stéphane Varré (Lille, Frankreich)	Dr. rer. nat.	Informatik
Dipl.-Ing. (FH) André Petermann	On Pattern Mining in Graph Data to Support Decision-Making	Erhard Rahm	Erhard Rahm (Leipzig) Esteban Zimányi (Rüssel, Belgien)	Dr. rer. nat.	Informatik
M. Sc. Claudia Raithel	Some Large-Scale Regularity Results for Linear Elliptic Equations with Random Coefficients and on the Well-Posedness of Singular Quasilinear SPDEs	Felix Otto	Felix Otto (Leipzig) Hendrik Weber (Bath, GB)	Dr. rer. nat.	Mathematik
Dipl.-Math. Torsten Schröder	Some considerations on a truncated matricial power moment problem of Stieltjes-type	Bernd Fritzsche Conrad Mädler	Adhemar Bultheel (Leuven, Belgien) Bernd Fritzsche (Leipzig)	Dr. rer. nat.	Mathematik

2018

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
M. Sc. Marwa Al Arab	Sequences Signature and Genome Rearrangements in Mitogenomes	Kifah R. Tout Peter F. Stadler	B. Morgenstern (Göttingen) Kifah R. Tout (Beirut, Libanon) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Inf. Michael Becker	Informationssystem und Methodenbausteine zur Ableitung situationsadäquater Vorgehensmodelle für die Entwicklung und Erbringung kundenindividuell anpassbarer Dienstleistungen	Klaus-Peter Fähnrich	Klaus-Peter Fähnrich (Leipzig) Marco Leimeister (Kassel)	Dr. rer. nat.	Informatik
M. Sc. Damian E. Blasi	Linguistic Diversity Through Data	Peter F. Stadler	Peter F. Stadler (Leipzig) David Wolpert (Santa Fe, USA)	Dr. rer. nat.	Informatik
Eleni Bozia PhD	Measuring Greekness: A novel computational methodology to analyze syntactical constructions and quantify the stylistic phenomenon of Attic oratory	Gregory Crane	Gregory Crane (Leipzig) Neel Smith (Worcester, USA)	Dr. phil.	Digital Humanities mit Schwerpunkt Informatik
M. Tech. Manjusha Chintalapati	Indels and large scale variation in archaic hominins compared to present day humans	Peter F. Stadler	Kasper Munch Terkelsen (Aarhus, Dänemark) Kay Prüfer (Leipzig) Peter F. Stadler	Dr. rer. nat.	Informatik
Dipl.-Math. Philipp di Dio	The Truncated Moment Problem	Konrad Schmüdgen	Claus Scheiderer (Konstanz) Konrad Schmüdgen (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Ing. Stefan Ellmauthaler	Multi-Context Reasoning in Continuous Data-Flow Environments	Gerhard Brewka	Gerhards Brewka (Leipzig) Torsten Schaub (Potsdam)	Dr. rer. nat.	Informatik
Dipl.-Math. Clemens Förster	Piecewise constant subsolutions for the incompressible Euler and IPM equations	László Székelyhidi	Diego Córdoba (Madrid) László Székelyhidi (Leipzig)	Dr. rer. nat.	Mathematik
M. Sc. Vishal Gupta	Limit Multiplicity Problem	Tobias Finis	Tobias Finis (Leipzig)	Dr. rer. nat.	Mathematik
M. Sc. Henrike Indrischek	High quality gene annotation for deep phylogenetic analysis	Peter F. Stadler	Yves van de Peer (Gent, Belgien) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Inf. B. Sc. Markus Jäger	SuperSampleRate-Filter in FPGAs für Subsample-Zeitauflösung und hochauflösende Energiemessung mit Gigasample-Digitizern	Martin Bogdan	Martin Bogdan (Leipzig) Udo Kebschull (Frankfurt am Main)	Dr.-Ing.	Informatik
M. Sc. Rojin Kianian	Algorithmic Methods for Synthesis Planning and Mass Spectrometry	Daniel Merkle Rolf Fagerberg	Peter Dittrich (Jena) Martin Middendorf (Leipzig)	Dr. rer. nat.	Informatik
M. Tech. Sree Rohit Raj Kolora	Understanding divergent evolution through comparative genomics	Peter F. Stadler	Michael Hiller (München) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
M. Sc. Dimitrios Kontokostas	Large-Scale Multilingual Knowledge Extraction, Publishing and Quality Assessment: The case of DBpedia	Klaus-Peter Fähnrich	Michel Dumontier (Maastricht, NL) Klaus-Peter Fähnrich (Leipzig)	Dr.-Ing.	Informatik
M. Sc. Niccolò Pederzani	On the spin cobordism invariance oft he homotopy type of the space Rinv(M)	Hans-Peter Rademacher	Nadine Große (Freiburg) Emmanuel Humbert (Tours, Frankreich) Hans-Bert Rademacher (Leipzig)	Dr. rer. nat.	Mathematik
M. Sc. Paolo Perrone	Categorical Probability and Stochastic Dominance in Metric Spaces	Jürgen Jost	Jürgen Jost (Leipzig) Walter Tholen (Toronto, Kanada)	Dr. rer. nat.	Mathematik
Dipl.-Wirtsch.-Math. Philipp Reiniger	Ein neuer Zugang zum matriziellen Schurproblem	Bernd Kirstein	Adhemar Bultheel (Leuven, Belgien) Bernd Kirstein (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Inf. Thomas Schmid	Automatisierte Analyse von Impedanzspektren mittels konstruktivistischem maschinellen Lernens	Martin Bogdan	Martin Bogdan (Leipzig)/Dorothee Günzel (Berlin) Günther Palm (Ulm)	Dr. rer. nat.	Informatik
M. Sc. Michael Schnurr	Generic properties of extensions	Tatjana Eisner	Tatjana Eisner (Leipzig) Christoph Thiele (Bonn)	Dr. rer. nat.	Mathematik
M. Sc. Thilo Simon	Materials Science-inspired problems in the Calculus of Variations: Rigidity of shape memory alloys and multi-phase mean curvature flow	Felix Otto	Felix Otto (Leipzig)	Dr. rer. nat.	Mathematik
M. Sc. Jochen Tiepmar	Implementation and Evaluation of the Canonical Text Service Protocol as Part of a Research Infrastructure in the Digital Humanities	Gerhard Heyer	Gerhard Heyer (Leipzig) Maximilian Eibl (Chemnitz)	Dr. rer. nat.	Informatik
M. Sc. Rasha Tolba	Cultural Usability Assessment of B2C E-Service Using Bayesian Belief Networks	Klaus-Peter Fähnrich	Klaus-Peter Fähnrich (Leipzig) Bogdan Franczyk (Leipzig)	Dr.-Ing.	Informatik
M. Sc. Maria Beatriz Walter Costa	Adaptive Evolution of Non-Coding RNAs	Peter F. Stadler	Wolfgang Hesse (Freiburg) Peter F. Stadler (Leipzig) Katja Nowick (Berlin)	Dr. rer. nat.	Informatik
M. Sc. Marius Emar Yamakou	Weak-noise-induced phenomena in a slow-fast dynamical system	Jürgen Jost	Christian Kühn (München) Jürgen Jost (Leipzig)	Dr. rer. nat.	Mathematik
M. Sc. Odette Sylvia Yaptieu Djeungue	Generalizations of discrete Morse theory	Jürgen Jost	Jürgen Jost (Leipzig) Krzysztof Rybakowski (Rostock)	Dr. rer. nat.	Mathematik
Dipl.-Math. Valentin Zobel	Visual Analysis of Second and Third Tensor Fields in Structural Mechanics	Gerik Scheuermann	Gerik Scheuermann (Leipzig) Eugene Zhang (Corvallis, USA)	Dr. rer. nat.	Informatik

2017

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Dipl.-Math. Martin Petersen	Approximation von Einbettungen periodischer Gevrey- und Korobovräume	Thomas Kühn	Thomas Kühn (Leipzig) Erich Novak (Jena)	Dr. rer. nat.	Mathematik
Dipl.-Phys. Stephan Poppe	Foundational Aspects of Coherent Predictive and Statistical Inference for Exchangeable Categorical Sequences	Jürgen Jost	Thomas Augustin (München) Jürgen Jost (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Sprachwiss. Daniel Quernheim	Bimorphism Machine Translation	Andreas Maletti	Alexander Koller (Saarbrücken) Andreas Maletti (Leipzig)	Dr. phil.	Informatik
Dipl.-Math. Wieland Reich	Spectral, Combinatorial, and Probabilistic Methods in Analyzing and Visualizing Vector Fields and Their Associate Flows	Gerik Scheuermann	Gerik Scheuermann (Leipzig) Eugene Zhang (Corvallis, Oregon, USA)	Dr. rer. nat.	Informatik
M. Sc. Murat Saglam	A Search for Finer Topological Information by Holomorphic Curves in Symplectizations: the Case of Lens Spaces and Their Unit Cotangent Bundles	Matthias Schwarz	Richard K. Hind (Notre Dame, USA) Matthias Schwarz (Leipzig)	Dr. rer. nat.	Mathematik
M. Sc. Gerardo Sosa Garciamarín	On symmetric transformations in metric measure geometry	Jürgen Jost	Jürgen Jost (Leipzig) Karl-Theodor Sturm (Bonn)	Dr. rer. nat.	Mathematik
M. Sc. Ricardo Usbeck	Knowledge Extraction for Hybrid Question Answering	Klaus-Peter Fähnrich	Klaus-Peter Fähnrich (Leipzig) Philipp Cimiano (Bielefeld)	Dr. rer. nat.	Informatik
M. Sc. José Javier Vásquez	Isospectral nearly Kähler manifolds	Hans-Bert Rademacher	Bernd Ammann (Regensburg) Hans-Bert Rademacher	Dr. rer. nat.	Mathematik
Dipl.-Inf. Nicolas Wieseke	From Homologous Genes to Phylogenetic Species Tree	Martin Middendorf	Nadia Al-Mabrouk (Montreal, Kanada) Martin Middendorf (Leipzig)	Dr. rer. nat.	Informatik
M. Sc. Ruijun Wu	Analysis of a Two-dimensional Nonlinear Sigma model with Gravitino	Jürgen Jost	Jürgen Jost (Leipzig) Michael Struwe (Zürich, Schweiz)	Dr. rer. nat.	Mathematik
B. Sc. Yunlong Xiao	A Framework for Uncertainty Relations	Jürgen Jost	Gilad Gour (Calgary, Kanada) Jürgen Jost (Leipzig)	Dr. rer. nat.	Mathematik
M. Sc. Xuzhou Zhan	On matrix generalization of Hurwitz polynomials	Bernd Kirstein	Yongjian Hu (Peking, VR China) Bernd Kirstein (Leipzig)	Dr. rer. nat.	Mathematik
M. A. Christian Zinke	Lebenszyklusengineering ud -management von Service Systemen	Klaus-Peter Fähnrich	Daniel Beverungen (Paderborn) Klaus-Peter Fähnrich (Leipzig)	Dr. phil.	Informatik
MSc.-Maths. Parvaneh Babari	Quantitative Automata and Logic for Pictures and Data Words	Manfred Droste	Benedikt Bollig (Cachan, Frankreich) Manfred Droste (Leipzig)	Dr. rer. nat.	Informatik
M. Stat. Deepan Basu	Generalizations and interpretations of Incipient Infinite Cluster measure on planar lattices and slabs	Artem Sapozhnikov	Markus Heydenreich (München) Artem Sapozhnikov (Leipzig)	Dr. rer. nat.	Mathematik
M. Sc. Mehmet Volkan Cakir	Boolean Implications in Transcriptomics	Hans Binder	Hans Binder/Peter F. Stadler (Leipzig) Andrew Harrison (Essex, GB)	Dr. rer. nat.	Informatik
M. Sc. Yuri Cassio Campbell Borges	Large deviation results for likelihood ratios and hypothesis testing on quantum spin chains	Arleta Szkola	Madalin Guta (Nottingham, GB) Jürgen Jost (Leipzig) Arleta Szkola (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Inf. Sebastian Canzler	Insights into the Evolution of small nucleolar RNAs	Peter F. Stadler	Hsien-Da Huang (HsinChu, Taiwan) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
M. Sc. Marcello Carioni	Existence of Calibrations for the Mumford-Shah Functional and the Reinitialization of the Distance Function in the Framework of Chan and Vese Algorithms	Bernd Kirchheim	Antonin Chambolle (Paris, Frankreich) Bernd Kirchheim (Leipzig)	Dr. rer. nat.	Mathematik
M. Sc. Muhammad Faisal Cheema	Visual Analysis and Exploration of Ancient Texts with a User-driven Concept Search	Gerik Scheuermann	Christopher Collins (Ontario, Kanada) Gerik Scheuermann (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Inf. Mario Cypko	Therapy Decision Support System using Bayesian Networks for Multidisciplinary Treatment Decisions	Heinz U. Lemke	Heinz U. Lemke (Leipzig) Gerhard Brewka (Leipzig) Peter Lucas (Nijmwegen, NL)	Dr.-Ing.	Informatik
Dipl.-Inf. Moritz Dannhauer	Evaluation of Forward Modeling Inaccuracies and Spatio-temporal Source Reconstruction for EEG/MEG Data Analysis in Human Brain Research	Thomas Knösche/Gerik Scheuermann	Jens Haueisen (Ilmenau) Thomas Knösche (Leipzig) Gerik Scheuermann (Leipzig)	Dr. rer. nat.	Informatik
M.Sc. Gero Doose	Exploring the transcriptome with high-throughput sequencing data	Peter F. Stadler	Jan Baumbach (Odense, DK) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Math. Stefan Dück	Weighted Automata and Logics on Hierarchical Structures and Graphs	Manfred Droste Heiko Vogler	Frank Drewes (Umea, Schweden) Manfred Droste (Leipzig)	Dr. rer. nat.	Informatik
M. Sc. Thomas Efer	Graphdatenbanken für die textorientierten e-Humanities	Gerhard Heyer	Andreas Henrich (Bamberg) Gerhard Heyer (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Inf. Stefan Franke	Modeling of surgical procedures and context-aware assistance for the integrated operating room	Thomas Neumuth	Gerhard Brewka/Thomas Neumuth (Leipzig) Bernhard Preim (Magdeburg)	Dr.-Ing.	Informatik
M. Sc. Arianna Giunti	Green's function estimates for elliptic and parabolic operators: Applications to quantitative stochastic homogenization and invariance principles for degenerate random environments and interacting particle systems	Felix Otto	Antoine Gloria (Brüssel, Belgien) Felix Otto (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Inf. Doreen Götze	Weighted Unranked Tree Automata over Tree Valuation Monoids	Manfred Droste	Manfred Droste (Leipzig) George Rahonis (Thessaloniki, GR)	Dr. rer. nat.	Informatik
Dipl.-Biomath. (FH) Claudia Grellmann	Combining brain imaging and genetic data using fast and efficient multivariate correlation analysis	Annette Horstmann	Julien Gagneur (München) Annette Horstmann (Leipzig) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Biomath. Lydia Hopp	Unraveling expression and DNA methylation landscapes in cancer	Hans Binder	Hans Binder (Leipzig) Rainer Spang (Regensburg) Peter F. Stadler	Dr. rer. nat.	Informatik
M. Sc. Leonhard Horstmeyer	Towards a Geometric Theory of Exact Lumpability	Jürgen Jost	Fatihcan Atay (Ankara, Türkei) Jürgen Jost (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Benjamin Jeschke	Einige Beiträge zu vollständig nichtdegenerierten matriziellen Momentenproblemen vom alpha-Stieltjes-Typ	Bernd Kirstein	Yuriy Dyukarev (Charkow, Ukraine) Bernd Kirstein (Leipzig)	Dr. rer. nat.	Mathematik
M. Sc. Enno Keßler	The Super Conformal Action Functional on Super Riemann Surfaces	Jürgen Jost	Ron Donagi (Philadelphia, USA) Jürgen Jost (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Sebastian Kochinke	Special Linear Systems on Curves and Algorithmic Applications	Claus Diem	Claus Diem (Leipzig) Tobias Finis (Leipzig) Antoine Joux (Paris)	Dr. rer. nat.	Mathematik
M. Sc. Gianluca Lauteri	The Emergence of Cosserat-type Structures in Metal Plasticity	Stephan Luckhaus	Sergio Conti (Bonn) Stephan Luckhaus (Leipzig)	Dr. rer. nat.	Mathematik
M. Sc. Tim Laux	Convergence of phase-field models and thresholding schemes via the gradient flow structure of multi-phase mean-curvature flow	Felix Otto	Felix Otto (Leipzig) Nung Kwan Aaron Yip (West Lafayette, USA)	Dr. rer. nat.	Mathematik
M. Sc. Arun Maiti	On the Goresky-Hingston product	Hans-Bert Rademacher	Alberto Abbondandolo (Bochum) Hans-Bert Rademacher (Leipzig)	Dr. rer. nat.	Mathematik
M. Sc. Atia Bano Memon	Inter-InnoLab Collaboration: Conceptualization, Assessment, and Technological Supportive Artifact of the Interconnection among Innovation Laboratories	Klaus-Peter Fähnrich	Klaus-Peter Fähnrich (Leipzig) Bogdan Franczyk (Leipzig)	Dr.-Ing.	Informatik
Dipl.-Math. Stephan Mescher	Hochschild homology of Morse cochain complexes and free loop spaces	Matthias Schwarz	Alberto Abbondandolo (Bochum) Matthias Schwarz (Leipzig)	Dr. rer. nat.	Mathematik
M. Sc. Lilit Nersisyan	Telomere analysis based on high-troughput multi-omics data	Hans Binder Peter F. Stadler	Hans Binder (Leipzig) Aram Galstyan (Marine del Rey, USA) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Inf. Anne Nitsche	Tracing the evolution of long non-coding RNAs - Principles of comparative transcriptomics for splice site conservation and biological applications	Peter F. Stadler	Dmitrij Frishman (München) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik

2016

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
M. Sc. ETH Philipp F. Benner	Combining Prior Information for the Prediction of Transcription Factor Binding Sites	Jürgen Jost	Ivo Große (Halle) Jürgen Jost (Leipzig)	Dr. rer. nat.	Informatik
M. Sc. Stefano Berto	Transcription factor networks play a key role in human brain evolution and disorders	Peter F. Stadler	Erich Bornberg-Bauer (Münster) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
M.Sc. Arnim Bleier	Approximate methods for Bayesian Models with Applications to the Social Sciences	Gerhard Heyer	Gerhard Heyer (Leipzig) Alexander Mehler (Frankfurt/Main)	Dr. rer. nat.	Informatik
Dipl.-Inf. MSc (Oxon.) Tilo Buschmann	The Systematic Design and Application of Robust DNA Barcodes	Leonid Bystrykh	Ivo Große (Halle) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
M. Sc. Haleh Ebadi	Boolean functions and discrete dynamics: analytic and biological application	Peter F. Stadler	Pedro Miramontes (Mexico-City) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Inf. Thomas Eckart	Einsatz und Bewertung komponentenbasierter Metadaten in einer föderierten Infrastruktur für Sprachressourcen am Beispiel der CMDI	Gerhard Heyer	Gerhard Heyer (Leipzig) Erhard Hinrichs (Tübingen)	Dr. rer. nat.	Informatik
Dr. phil. Shiguang Feng	Integration of Auxiliary Data Knowledge in Prototype Based Vector Quantization and Classification Models	Markus Lohrey	Manfred Droste (Leipzig) Martin Lange (Kassel) Markus Lohrey (Siegen)	Dr. rer. nat.	Informatik
M. Sc. Oliver Fernández Gil	Adding Threshold Concepts to the Description Logic EL	Gerhard Brewka	Gerhard Brewka (Leipzig) Frank Wolter (Liverpool, GB)	Dr. rer. nat.	Informatik
Dipl.-Math. René Gebhardt	Unbounded operators on Hilbert C*-Modules: graph regular operators	Konrad Schmüdgen	Konrad Schmüdgen (Leipzig) Evgenij Troitsky (Moskau, Russland)	Dr. rer. nat.	Mathematik
M. Sc. Daniel Gerber	Statistical Extraction of Multilingual Natural Language Patterns for RDF Predicates: Algorithms and Applications	Klaus-Peter Fähnrich	Klaus-Peter Fähnrich (Leipzig) Axel Polleres (Wien, Österreich)	Dr. rer. nat.	Informatik
Dipl.-Inf. Axel Hummel	Simulationsbasierte Entscheidungsunterstützung im B2C-E-Commerce - Konzepte, Vorgehen, Anwendung	Klaus-Peter Fähnrich	Klaus-Peter Fähnrich (Leipzig) Andreas Speck (Kiel)	Dr.-Ing.	Informatik
M. Sc. Patrick Jähnichen	Time dynamic topic models	Gerhard Heyer	Khurshid Ahmad (Dublin, Irland) Gerhard Heyer (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Inf. Stefan Jänicke	Close and Distant Reading Visualizations for the Comparative Analysis of Digital Humanities Data	Gerik Scheuermann	Hans Hagen (Kaiserslautern) Gerik Scheuermann (Leipzig)	Dr. rer. nat.	Informatik
M. Sc. Marika Kaden	Integration of Auxiliary Data Knowledge in Prototype Based Vector Quantization and Classification Models	Martin Bogdan Thomas Villmann	Martin Bogdan (Leipzig) Jon A. Lee (Louvain, Frankreich) Thomas Villmann (Mittweida)	Dr. rer. nat.	Informatik
Dipl.-Inf. Stephanie Kehr	Expanding the SnoRNA Interaction Network - Conservation of Guiding Function in Vertebrates	Peter F. Stadler	Daniel Gautheret (Paris) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Inf. Heiko Kern	Model Interoperability between Meta-Modeling Environments by using M3-Level-Based Bridges	Klaus-Peter Fähnrich	Klaus-Peter Fähnrich (Leipzig) Ulrich Frank (Duisburg-Essen)	Dr. rer. nat.	Informatik
Dipl.-Biomath. Helene Kretzmer	Methods for DNA Methylation Sequencing Analysis and their Application on Cancer Data	Peter F. Stadler	Peter F. Stadler (Leipzig) Martin Vingron (Berlin)	Dr. rer. nat.	Informatik
M. Sc. Philippe Logaritsch	An Obstacle Problem for Mean Curvature Flow	Emanuele N. Spadaro	Stephan Luckhaus (Leipzig) Matteo Focardi (Florenz, Italien)	Dr. rer. nat.	Mathematik
Dipl.-Ing. (FH) Andreas Niekler	Automatisierte Verfahren für die Themenanalyse nachrichtenorientierter Textquellen	Gerhard Heyer	Christiane Fellbaum (Princeton, USA) Gerhard Heyer (Leipzig)	Dr.-Ing.	Informatik
Dipl.-Inf. Patrick Oesterling	Visual Analysis of High-Dimensional Point Clouds using Topological Abstraction	Gerik Scheuermann	Gerik Scheuermann (Leipzig) Thomas Wischgoll (Dayton, USA)	Dr. rer. nat.	Informatik
M. Sc. Bruno Pace	Rythms and Evolution: Effects of Timing on Survival	Peter F. Stadler	Christoph Adami (Michigan State, USA) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
M. Sc. Alvaro Perdomo Sabogal	Gene regulatory factors in the evelutionary history of humans	Katja Nowick	Peter F. Stadler (Leipzig) Andrew Torda (Hamburg)	Dr. rer. nat.	Informatik
M. Math. Gabriel Renaud	Bayesian maximum a posteriori algorithms for modern and ancient DNA	Janet Kelso Peter F. Stadler	Janet Kelso/Peter F. Stadler (Leipzig) Christophe Dessimoz (London)	Dr. rer. nat.	Informatik
Dipl.-Math. Lavinia Roncoroni	Lumpability of Evolution Equations in Banach Spaces	Fatihcan M. Atay	Jürgen Jost (Leipzig) Delio Mugbolo (Hagen)	Dr. rer. nat.	Mathematik
M. Sc. Muhammad Saleem	Efficient Source Selection for SPARQL Endpoint Query Federation	Klaus-Peter Fähnrich	Klaus-Peter Fähnrich (Leipzig) Pascal Molli (Nantes, Frankreich)	Dr. rer. nat.	Informatik
Dipl.-Math. Felix Schmäschke	Abelianization and Floer homology of Lagrangians in clean intersection	Matthias Schwarz	Urs Frauenfelder (Augsburg) Matthias Schwarz (Leipzig)	Dr. rer. nat.	Mathematik
M.A. Dipl.-Inf. Ingmar Schuster	Probabilistic models of natural language semantics	Gerhard Heyer	Gerhard Heyer (Leipzig) Christian Robert (Paris, Frankreich)	Dr. rer. nat.	Informatik
M. Sc. Mohamed Ahmed M. Sherif	Automating Geospatial RDF Dataset Integration and Enrichment	Klaus-Peter Fähnrich	Klaus-Peter Fähnrich (Leipzig) Daniel P. Mirankar (Austin, USA)	Dr. rer. nat.	Informatik
M. Sc. Fred Stefan	Untersuchung der Aspekte Gewichtigkeit und Invasivität bei der Anwendungsintegration	Klaus-Peter Fähnrich	Klaus-Peter Fähnrich (Leipzig) Wolf Zimmermann (Halle)	Dr. rer. nat.	Informatik
Dipl.-Inf. Thomas Weidner	Probabilistic Logic, Probabilistic Regular Expressions, and Constraint Temporal Logic	Manfred Droste	Benedikt Bollig (Cachan, Frankreich) Manfred Droste (Leipzig)	Dr. rer. nat.	Informatik
M.A. Gregor Wiedemann	Integrating Text Mining into Qualitative Data Analysis for Social Sciences	Gerhard Heyer	Gerhard Heyer (Leipzig) York Sure-Vetter (Karslruhe)	Dr.-Ing.	Informatik
Dipl.-Phys. Konrad Zimmermann	Positivstellensätze for the Weyl algebra	Konrad Schmüdgen	Tim Netzer (Dresden) Konrad Schmüdgen (Leipzig)	Dr. rer. nat.	Mathematik

2015

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
M. Sc. Jakob Lykke Andersen	Analysis of Generative Chemistries	Daniel Merkle Peter F. Stadler	Jørgen Bang-Jensen (Odense, DK) Peter Dittrich (Jena) Martin Middendorf (Leipzig)	Dr. rer. nat.	Informatik
M. Sc. Patrick Arnold	Semantic Enrichment of Ontology Mappings	Erhard Rahm	Sören Auer (Bonn) Erhard Rahm (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Math. Michael Baldus	Homogenization via correctors	Stephan Luckhaus	Marco Cicalese (München) Stephan Luckhaus (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Phys. Holger Bernigau	Causal Models over Infinit Graphs and their Application to the Sensorimotor Loop - General Stochastic Aspects and Gradient Methods for Optimal Control	Nihat Ay	Nihat Ay (Leipzig) Shun-ichi Amari (Saitama, Japan)	Dr. rer. nat.	Mathematik
M. Sc. Claudia Carapelle	On the Satisfiability of Temporal Logics with Concrete Domains	Markus Lohrey	Markus Lohrey (Siegen) Carsten Lutz (Bremen)	Dr. rer. nat.	Informatik
Dipl.-Math. Lukas Döring	Asymmetric domain walls in soft ferromagnetic films	Felix Otto	Christof Melcher (Aachen) Felix Otto (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Philip Dowerk	Algebraic and Topological Properties of Unitary Groups of II1-Factors	Andreas Thom	Andreas Thom (Dresden) Alain Valette (Neuchatel, CH)	Dr. rer. nat.	Mathematik
M. Sc. Abdelrhman I. M. Elkasapy	Word Maps on Compact Lie Groups	Andreas Thom	Miklós Abért (Budapest, Ungarn) Andreas Thom (Dresden)	Dr. rer. nat.	Mathematik
Dipl.-Math. Elias Esselborn	Gradient Flows for nonconvex energies: Asymptotics and stability for two models from fluid mechanics	Felix Otto	Nicola Gigli (Paris) Felix Otto (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Inf. Sascha Gübner	Effective Data Dissemination over Multi-hop Gigabit Wireless Networks	Christoph Lindemann	Stefan Fischer (Lübeck) Christoph Lindemann (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Math. Stefan Handschuh	Numerical methods in Tensor Networks	Wolfgang Hackbusch	Wolfgang Hackbusch (Leipzig) Daniel Kressner (Lausanne)	Dr. rer. nat.	Mathematik
Dipl.-Inf. Lydia Hellrung	Softwareframework zur universellen Methodenentwicklung für ein fMRT-BCI: Adaptive Paradigmen und Echtzeitdatenanalyse	Arno Villringer	Martin Bogdan/Arno Villringer (Leipzig) Klaus-Robert Müller (Berlin)	Dr. rer. nat.	Informatik
Dipl.-Math. Rico Hoffmann	Selbstadjungierte lineare DAEs und ihre Numerik	Peter Kunkel	Peter Kunkel (Leipzig) Bernd Simeon (Kaiserslautern)	Dr. rer. nat.	Mathematik
M. Sc. Ali Khalili	A Semantics-based User Interface Model for Content Annotation, Authoring and Exploration	Klaus-Peter Fähnrich	Roberto Garcia (Lleida, Spanien) Klaus-Peter Fähnrich (Leipzig)	Dr.-Ing.	Informatik
M. Sc. Dipl.-Inf. (FH) Stephan Klingner	Modellierung kooperativer, personenbezogener und wissensintensiver Dienstleistungen am Beispiel der seltenen Erkrankung ALS	Klaus-Peter Fähnrich	Klaus-Peter Fähnrich (Leipzig) Volker Stich (Aachen)	Dr.-Ing.	Informatik
Dipl.-Math. Andreas Kübel	Equivariant Differential Cohomology	Andreas Thom	Thomas Schick (Göttingen) Andreas Thom (Dresden)	Dr. rer. nat.	Mathematik
M. Sc. Xuanshi Liu	Parent of origin effects in obesity in the Sorbs	Yvonne Böttcher Peter F. Stadler	MBjarni V. Halldorsson (Reykjavik) Yvone Böttcher/Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Inf. Frank Loebe	Ontological Semantics - An Attempt at Foundations of Ontology Representation	Heinrich Herre	Michael Grüninger (Toronto, Kanada) Heinrich Herre (Leipzig)	Dr. rer. nat.	Informatik
M. Sc. Wiktor Mlynarski	Functional Sensory Representations of Natural Stimuli: The Case of Spatial Hearing	Jürgen Jost	Jürgen Jost (Leipzig) Joshua McDermott (Cambridge, USA)	Dr. rer. nat.	Informatik
Dipl.-Bioinf. Ruby L. V. Moritz	Cooperation in Self-Organized Heterogeneous Swarms	Marin Middendorf	Martin Middendorf (Leipzig) Sanaz Mostaghim (Magdeburg)	Dr. rer. nat.	Informatik
M. Sc. Camilla Nobili	Rayleigh-Bénard convection: bounds on the Nusselt number	Felix Otto	Charles Doering (Ann Arbor) Felix Otto (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Lydia Ostermeier	(Relaxed) Product Structures of Graphs and Hypergraphs	Peter F. Stadler	Richard Hammack (Richmond, USA) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Inf. Christian Otto	The mapping task and its various applications in next-generation sequencing	Peter F. Stadler	Burkard Morgenstern (Göttingen) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Inf. Vitaly Perevoshchikov	Multi-Weighted Automata Models and Quantitative Logics	Manfred Droste	Manfred Droste (Leipzig) Paul Gastin (Cachan, Frankreich)	Dr. rer. nat.	Informatik
Dipl.-Inf. Robert Remus	Genre and Domain Dependencies in Sentiment Analysis	Gerhard Heyer	Gerhard Heyer (Leipzig) Alexander Mehler (Frankfurt/Main)	Dr. rer. nat.	Informatik
Dipl.-Inf. Markus Rohrschneider	Visualization of Metabolic Networks	Gerik Scheuermann	Gerik Scheuermann (Leipzig) Falk Schreiber (Halle)	Dr. rer. nat.	Informatik
M. Sc. Abdullah Sahyoun	Computational investigations into the evolution of mitochondrial genomes	Peter F. Stadler	Rolf Backofen (Freiburg) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
M. Sc. Michael Sonnenberg	Service Engineering in der Branche erneuerbare Energien - Anwendung eines metamodellbasierten Ansatzes und Entwicklung eines Dienstleistungsframework	Klaus-Peter Fähnrich	Klaus-Peter Fähnrich (Leipzig) Volker Gruhn (Duisburg-Essen)	Dr.-Ing.	Informatik
B. Sc. Linlin Sun	Dirac equations, Dirac-harmonic maps and their heat flows	Jürgen Jost	Jürgen Jost (Leipzig) Michael Struwe (Zürich)	Dr. rer. nat.	Mathematik
M. Sc. Lorenzo Taggi	Absorbing-state phase transition in activated random walk and probabilistic cellular automata	Artem Sapozhnikov	Volker Betz (Darmstadt) Artem Sapozhnikov (Leipzig)	Dr. rer. nat.	Mathematik
M. Sc. Anatol Eugen Wegner	Subgraph Covers - An Information Theoretic Approach to Motif Analysis in Networks	Jürgen Jost	Stefan Bornholdt (Bremen) Jürgen Jost (Leipzig)	Dr. rer. nat.	Informatik
M. Sc. Amrapali Zaveri	Linked Data Quality Assessment and its Application to Societal Progress Measurement	Klaus-Peter-Fähnrich	Klaus-Peter Fähnrich (Leipzig) Felix Naumann (Potsdam)	Dr.-Ing.	Informatik

2014

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Dipl.-Inf. Christian Arnold	The Eukaryotic Chromatin Computer - Components, Mode of Action, Properties, Tasks, Computational Power, and Disease Relevance	Sonja Prohaska	Manfred Laubichler (Tempe, USA) Sonja Prohaska (Leipzig)	Dr. rer. nat.	Informatik
M. Phil. Liliya Avdiyenko	Adaptive sequential feature selection in visual perception and pattern recognition	Jürgen Jost	Matthias Bethge (Tübingen) Jürgen Jost (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Math. Ringo Baumann	Metalogical Contributions to the Nonmonotonic Theory of Abstract Argumentation	Gerhard Brewka	Gerhard Brewka (Leipzig) Pietro Baroni (Brescia, Italien)	Dr. rer. nat.	Informatik
Dipl.-Inf. Silvia Born	Illustrative Flow Visualization of 4D PC-MRI Blood Flow and CFD Data	Gerik Scheuermann	Kenneth I. JoyJanet Kelso (Davis, USA) Gerik Scheuermann (Leipzig)	Dr. rer. nat.	Informatik
M.Sc. Tristan James Buckmaster	Onsager's Conjecture	László Székelyhidi	Stefan Müller (Bonn) László Székelyhidi (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Roxana Bujack	Orientation Invariant Pattern Dedection in Vector Fields with Clifford Algebra and Moment Invariants	Gerik Scheuermann	Jan Flusser (Prag) Gerik Scheuermann (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Stat. (FH) Michael Dannemann	Application of next generation sequencing to the analysis of evolutionary changes in gene expression in primates	Janet Kelso	Janet Kelso (Leipzig) Cathal Seoighe (Galway, Irland) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
M.Sc. Sergey Dolgov	Tensor product methods in numerical simulation of high-dimensional dynamical problems	Boris N. Khoromskij	Boris N. Khoromskij (Leipzig) Reinhold Schneider (Berlin)	Dr. rer. nat.	Mathematik
Dipl.-Math. David Dubray	On Unbounded Induced Hilbert Space Representations	Konrad Schmüdgen	Vasil L. Ostrovski (Kiew, Ukraine) Konrad Schmüdgen (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Inf. Sebastian Eichelbaum	Applied Visualization in the Neurosciences and the Enhancement of Visualization through Computer Graphics	Mario Hlawitschka	Mario Hlawitschka (Leipzig) Bernhard Preim (Magdeburg)	Dr. rer. nat.	Informatik
Dipl.-Kffr. (FH) Romy Elze	eHealth Service Engineering für seltene Erkrankungen am Beispiel ALS	Klaus-Peter Fähnrich	Klaus-Peter Fähnrich (Leipzig) Alfred Winter (Leipzig)	Dr.-Ing.	Informatik
Dipl.-Ing. Timofey Ermilov	Ubiquitous Semantic Applications	Klaus-Peter Fähnrich	Klaus-Peter Fähnrich (Leipzig) Amit Sheth (Dayton, USA)	Dr.-Ing.	Informatik
Dipl.-Phys. Dipl.-Math. Manuel V. Gnann	The Moving Contact Line in Viscous Thin Films: a Singular Free Boundary Problem	Felix Otto	Felix Otto (Leipzig) Juan J. L. Velázquez (Bonn)	Dr. rer. nat.	Mathematik
Dipl.-Inf. Mathias Goldau	Multi-Modal and Sliced-Based Visualization of Diffusion Tractography Data	Mario Hlawitschka	Mario Hlawitschka (Leipzig) Thomas Wischgol (Dayton, USA)	Dr. rer. nat.	Informatik
Dipl.-Bioinf. Anika Groß	Evolution von ontologiebasierten Mappings in den Lebenswissenschaften	Erhard Rahm	Ulf Leser (Berlin) Erhard Rahm (Leipzig)	Dr. rer. nat.	Informatik
M.Sc. Jiao Gu	The spectral distance based on the normalized Laplacian and applications to large networks	Jürgen Jost Peter F. Stadler	Jürgen Jost/Peter F. Stadler (Leipzig) Josef Leydold (Wien)	Dr. rer. nat.	Informatik
Dipl.-Inf. Sebastian Hellmann	Integrating Natural Language Processing (NLP) and Language Resources Using Linked Data	Klaus-Peter Fähnrich	Klaus-Peter Fähnrich (Leipzig) Hans Uszkoreit (Saarbrücken)	Dr.-Ing.	Informatik
Dr. med. Dipl.-Bioinf. Steve Hoffmann	Genome Informatics for High-Throughput Sequencing Data Analysis - Methods and Applications	Peter F. Stadler	Rolf Backofen (Freiburg) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Math. Julian Hofrichter	On the Diffusion Approximation of Wright-Fisher Models with Several Alleles and Loci and its Geometry	Jürgen Jost	Jürgen Jost (Leipzig) Angela Stevens (Münster)	Dr. rer. nat.	Mathematik
M. Sc. Maryna Kachanovska	Fast, Parallel Techniques for Time-Domain Boundary Integral Equations	Lehel Banjai	Wolfgang Hackbusch (Leipzig) Achim Schädle (Düsseldorf)	Dr. rer. nat.	Mathematik
Dipl.-Math. Martin Kell	On curvature conditions using Wasserstein spaces	Jürgen Jost	Luigi Ambrosio (Pisa, Italien) Jürgen Jost (Leipzig)	Dr. rer. nat.	Mathematik
M. Sc. Akmal Saeed Khattak	Text Classification using Hierarchical Structure	Gerhard Heyer	Gerhard Heyer (Leipzig) Alexander Mehler (Frankfurt/Main)	Dr.-Ing.	Informatik
Dipl.-Inf. Hanna Köpcke	Object matching on real-world problems	Erhard Rahm	Peter Christen (Canberra, Australien) Erhard Rahm (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Inf. Lars Kolb	Effiziente MapReduce-Parallelisierung von Entity Resolution-Workflows	Erhard Rahm	Felix Naumann (Potsdam) Erhard Rahm (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Inf. Jörg Lehmann	Relative Timing of Intron Gain and a New Marker for Phylogenetic Analysis	Peter F. Stadler	Burkhard Morgenstern (Göttingen) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
B.Sc. Yangjing Long	Graph Relations and Constrained Homomorphism Partial Orders	Jürgen Jost	Pavol Hell (Burnaby, Kanada) Jürgen Jost (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Wirtsch.-Math. Tatsiana Makarevich	Ein matrizielles finites Momentenproblem vom Stieltjes-Typ	Bernd Fritzsche	Bernd Fritzsche (Leipzig) Adhemar Bultheel (Leuven, Belgien)	Dr. rer. nat.	Mathematik
M. Sc. Michael Martin	Entwicklung laufzeitoptimierter semantischer Web-Applikationen: Konzepte, Lösungsansätze und Anwendungsfälle	Klaus-Peter Fähnrich	Christian Bizer (Mannheim) Klaus-Peter Fähnrich (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Math. Till-Pascal Riffert	Extraction of Structural Metrics from Crossing Fiber Models	Gerik Scheuermann	Thomas Schultz (Bonn) Gerik Scheuermann (Leipzig)	Dr. rer. nat.	Informatik
Phys. Camilo Eduardo Sarmiento Cortés	Concerning Triangulations of Products of Simplices	Jürgen Jost	Jürgen Jost (Leipzig) Seth Sullivant (Raleigh, USA)	Dr. rer. nat.	Mathematik
Dipl.-Math. Peter Schlicht	Amenable groups and a geometric view on unitarisability	Andreas Thom	Gilles Pisier (College Station, USA) Andreas Thom (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Phys. Johannes Stelzer	Nonparametric statistical inference for functional brain information mapping	Martin Bogdan	Martin Bogdan (Leipzig) Nikolaus Kriegeskorte (Cambridge, GB)	Dr. rer. nat.	Informatik
M.A. Christoph Teichmann	Markov Chain Monte Carlo Sampling for Dependency Trees	Gerhard Heyer	Gerhard Heyer (Leipzig) Anders Søgaard (Kopenhagen, DK)	Dr. rer. nat.	Informatik
Dipl.-Inf. Christoph Theunert	Approaches for Inferring Post Populations Size Changes from Genome-wide Genetic Data	Mark Stoneking	Dirk Metzler (München) Mark Stoneking (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Inf. Sebastian Tramp	Distributed Semantic Social Networks: Architecture, Protocols and Applications	Klaus-Peter Fähnrich	Klaus-Peter Fähnrich (Leipzig) Roberto Garcia (U Lleida, Spanien)	Dr. rer. nat.	Informatik
Dipl.-Math. Roland Voigt	Transport functions and Morse K-theory	Matthias Schwarz	Matthias Schwarz (Leipzig) Felix Schlenk (Neuchatel, CH)	Dr. rer. nat.	Mathematik
M.Sc. Ting-Gui Zhang	Separability and Local Unitary Equivalence of Quantum States	Jürgen Jost	Jürgen Jost (Leipzig) Karol Zyczkowski (Krakau, Polen)	Dr. rer. nat.	Mathematik

2013

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Dipl.-Inf. Mathias Christoph Bank	AIM - A Social Media Monitoring System for Quality Engineering	Gerhard Heyer	Gerhard Heyer (Leipzig) Alexander Mehler (Frankfurt/Main)	Dr. rer. nat.	Informatik
Dipl.-Math. David Bauer	Towards Discretization by Piecewise Pseudoholomorphic Curves	Matthias Schwarz	Tobias Ekholm (Uppsala, Schweden) Matthias Schwarz (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Mathias Becker	Asymptotische Resultate über Lokalzeiten von Irrfahrten im Zd	Wolfgang König	Wolfgang König (Berlin) Max-Konstantin von Renesse (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Inf. Thorsten Berger	Variability Modeling in the Real - An Empirical Journey from Software Product Lines to Software Ecosystems	Klaus-Peter Fähnrich	Klaus-Peter Fähnrich (Leipzig) Paul Grünbacher (Linz, Österreich)	Dr. rer. nat.	Informatik
M.Eng. Stefan Bohn	Design einer generischen modularen IT-Integrationsarchitektur für die computerassistierte Chirurgie	Klaus-Peter Fähnrich	Klaus-Peter Fähnrich (Leipzig) Heinz Wörn (Karlsruhe)	Dr.-Ing.	Informatik
Dipl.-Inf. Marco Büchler	Informationstechnische Aspekte des Historical Text Re-use	Gerhard Heyer	Gerhard Heyer (Leipzig) Klaus Schulz (München)	Dr. rer. nat.	Informatik
Dipl.-Bioinf. Mario Fasold	Hybridization biases of microarray expression data - A model-based analysis of RNA quality and sequence effects	Hans Binder	Andrew Harrison (Essex, GB) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Inf. Dirk Goldhahn	Quantitative Methoden in der Sprachtypologie: Nutzung korpusbasierter Statistiken	Gerhard Heyer	Michael Cysouw (München) Gerhard Heyer (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Math. (FH) M.Sc. Volker Gruhne	Numerische Behandlung zeitabhängiger akustischer Streuung im Außen- und Freiraum	Lehel Banjai	Wolfgang Hackbusch (Leipzig) Christian Lubich (Tübingen)	Dr. rer. nat.	Mathematik
Dipl.-Inf. Christian Hänig	Unsupervised Natural Language Processing for Knowledge Extraction from Domain-specific Textual Resources	Gerhard Heyer	Gerhard Heyer (Leipzig) Jonas Kuhn (Stuttgart)	Dr. rer. nat.	Informatik
Dipl.-Math. Michael Hecht	Isomorphic chain complexes of Hamiltonian dynamics on tori	Matthias Schwarz	Pietro Majer (Pisa) Matthias Schwarz (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Inf. Christian Heine	Contours in Visualization	Gerik Scheuermann	Gerik Scheuermann (Leipzig) Heidrun Schumann (Rostock)	Dr. rer. nat.	Informatik
Dipl.-Math. Gereon Knott	Oscillatory Solutions to Hyperbolic Conservation Laws and Active Scalar Equations	László Székelyhidi	Daniel Faraco (Madrid) László Székelyhidi (Leipzig)	Dr. rer. nat.	Mathematik
B. Sc. Maribel Hernández Rosales	The Orthology Road - Theory and Methods in Orthology Analysis	Peter F. Stadler	David Sankoff (Ottawa, Kanada) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Inf. Frank Jühling	Structure and Evolution of animal mitochondrial tRNAs	Cathrine Florentz	Rolf Backofen (Freiburg) Ivo Hofacker (Wien) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Wirtsch.-Math. Bernd Klaus	False Discovery Rates, Higher Criticism and Related Methods in High Dimensional Multiple Testing	Korbinian Strimmer	Anne-Laure Boullesteix (München) Bernd Kirstein (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Ing. (FH) David Langenberger	High-throughput sequencing and small non-coding RNAs	Peter F. Stadler	Kay Nieselt (Tübingen) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
M. Sc. Hadi Mohammadzadeh	Improving Retrieval Accuracy in Main Content Extraction from HTML Web Documents	Gerhard Heyer	Jinan Fiaidhi (Ontario, Kanada) Gerhard Heyer (Leipzig)	Dr. rer. nat.	Informatik
M. Sc. Mohamed Mabrouk Mawed Morsey	Efficient Extraction and Query Benchmarking of Wikipedia Data	Klaus-Peter Fähnrich	Klaus-Peter Fähnrich (Leipzig) Martin Gaedke (Chemnitz)	Dr.-Ing.	Informatik
Dipl.-Wirtschaftsinf. Martin Pero	Unterstützung von Integrationsdienstleistungen durch abstrakte Integrationsmuster	Klaus-Peter Fähnrich	Klaus-Peter Fähnrich (Leipzig) Roland Maier (Innsbruck)	Dr. rer. nat.	Informatik
Dipl.-Medieninf. Eric Peukert	Process-based Schema Matching: From Manual Design to Adaptive Process Construction	Erhard Rahm	Erhard Rahm (Leipzig) Gunter Saake (Magdeburg)	Dr. rer. nat.	Informatik
Dipl.-Math. Armin Rahn	Über die Inversen matrizieller Carathéodoryfolgen	Bernd Kirstein	Adhemar Bultheel (Leuven, Belgien) Bernd Kirstein (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Matti Schneider	The Leray-Serre spectral sequence in Morse homology on Hilbert manifolds and in Floer homology on cotangent bundles	Matthias Schwarz	Alberto Abbondandolo (Bochum) Matthias Schwarz (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Inf. Lydia Steiner	The Dynamic Epigenome - Analysis of the Distribution of Histone Modifications	Sonja Prohaska	Sonja Prohaska (Leipzig) Andrew Torda (Hamburg)	Dr. rer. nat.	Informatik
Dipl.-Math. Abel Stolz	Linear Approximation of Groups and Ultraproducts of Compact Simple Groups	Andreas Thom	Nikolay Nikolov (Oxford, GB) Andreas Thom (Leipzig)	Dr. rer. nat.	Mathematik
M.A. Dipl.-Phys. Mario Thüne	Eigenvalues of Matrices and Graphs	Jürgen Jost	Leonid Bunimovich (Atlanta, USA) Jürgen Jost (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Phys. Jens Wohlgemuth	Study of a model for preference-free plasticity	Stephan Luckhaus	Gero Friesecke (München) Stephan Luckhaus (Leipzig)	Dr. rer. nat.	Mathematik
M.Sc. Hamdy Zyan Ali Ahmed	Reconstruction of Graphs from Images	Gerik Scheuermann	Guido Brunnett (Chemnitz) Gerik Scheuermann (Leipzig)	Dr. rer. nat.	Informatik

2012

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Dipl.-Math. Jonas Ballani	Fast Evaluation of Near-Field Boundary Integrals using Tensor Approximations	Wolfgang Hackbusch	Wolfgang Hackbusch (Leipzig) Daniel Kressner (Lausanne, CH)	Dr. rer. nat.	Mathematik
M. Sc. Konrad Diwold	Natural optimization: An analysis of self-organized principles found in social insects and their application for optimization	Martin Middendorf	Bernd Meyer (Victoria, Australien) Martin Middendorf (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Inf. Simon Frohn	Measurement Infrastructure and Modeling Techniques for Evaluating Multi-Hop Wireless Networks	Christoph Lindemann	Christoph Lindemann (Leipzig) Ralf Steinmetz (Darmstadt)	Dr. rer. nat.	Informatik
M. Sc. Fakhteh Ghanbarnejad	Perturbations in Boolean Networks as Model of Gene Regulatory Dynamics	Peter F. Stadler	Peter F. Stadler (Leipzig) Olli Yli-Harja (Tampere, Finnland)	Dr. rer. nat.	Informatik
Dipl.-Math. Niko Haubold	Komprimierte Entscheidungsprobleme in Gruppen	Markus Lohrey	Volker Diekert (Stuttgart) Markus Lohrey (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Ing. Gregor Heinrich	Ein generischer Ansatz für Topic-Modelle und seine Anwendung auf virtuelle Gemeinschaften	Gerhard Heyer	Gerhard Heyer (Leipzig) Alexander Mehler (Bielefeld)	Dr.-Ing.	Informatik
M. Sc. Danijela Horak	Combinatorial Laplace operators on simplicial complexes	Jürgen Jost	Józef Dodziuk (New York) Jürgen Jost (Leipzig)	Dr. rer. nat.	Mathematik
M.Sc.-Ing. Mohamed Esmail Karar	Development of a Surgical Assistence System for Guiding Transcatheter Aortic Valve Implantation	Oliver Burgert	Thomas Deserno (Aachen) Gerik Scheuermann (Leipzig)	Dr.-Ing.	Informatik
Dipl.-Inf. Stephanie Keller-Schmidt	Stochastic Tree Models for Macroevolution - Development, Validation and Application	Peter F. Stadler	Kimmo Kaski (Aalto, Finnland) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
Mag. Mohammad Izadi Khaleghabadi	Hierarchical Matrix Techniques on Massively Parallel Computers	Wolfgang Hackbusch	Wolfgang Hackbusch (Leipzig) Gerhard Zumbusch (Jena)	Dr. rer. nat.	Mathematik
Dipl.-Wirtsch.-Inf. André Köhler	Mobile Process Landscaping	Volker Gruhn	Harald Gall (Zürich, CH) Volker Gruhn (Duisburg-Essen)	Dr. rer. nat.	Informatik
Mag. Ilona Kosiuk	Relaxation oscillations in slow-fast systems beyond the standard form	Jürgen Jost	Freddy Dumortier (Hasselt, BE) Jürgen Jost (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Stefan Kühn	Hierarchische Tensordarstellung	Wolfgang Hackbusch	Wolfgang Hackbusch (Leipzig) Reinhold Schneider (TU Berlin)	Dr. rer. nat.	Mathematik
B. Sc. Shiping Liu	Synthetic notions of curvature and applications in graph theory	Jürgen Jost	Jürgen Jost (Leipzig) Karl-Thodor Sturm (Bonn)	Dr. rer. nat.	Mathematik
Dipl.-Math. techn. Peter Meszmer	Hierarchische Integration und der Strahlungstransport in streuenden Medien	Wolfgang Hackbusch	Mario Bebendorf (Bonn) Wolfgang Hackbusch (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Dipl.-Phys. Guido F. Montúfar Cuartas	On the Expressive Power of Discrete Mixture Models, Restricted Boltzmann Machines, and Deep Belief Networks - A Unified Mathematical Treatment	Nihat Ay	Jürgen Jost (Leipzig) Christoph Schnörr (Heidelberg)	Dr. rer. nat.	Mathematik
Dipl.-Wirtsch.-Math. Max J. Nitsche	Zur Eisenbud-Goto-Vermutung für affine Halbgruppenringe	Jürgen Stückrad	Winfried Bruns (Osnabrück) Jürgen Stückrad (Leipzig)	Dr. rer. nat.	Mathematik
M.Sc. Arli Aditya Parikesit	Evolutionary Analysis of the Protein Distribution in Eukaryotes	Sonja Prohaska	Sonja Prohaska (Leipzig) Erich Bornberg-Bauer (Münster)	Dr. rer. nat.	Informatik
Dipl.-Inf. Thomas Riechert	Eine Methodologie für agiles und kollaboratives Requirements-Engineering	Klaus-Peter Fähnrich	Klaus-Peter Fähnrich (Leipzig) Jürgen Ziegler (Duisburg-Essen)	Dr. rer. nat.	Informatik
Dipl.-Math. André Schlichting	The Eyring-Kramers formula for Poincaré and logarithmic Sobolev inequalities	Stephan Luckhaus	Anton Bovier (Bonn) Stephan Luckhaus (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Inf. Dominic Schneider	Scalar Field Comparison, Stream Surfaces and Stochastic Integration for Flow Visualisation	Gerik Scheuermann	Ronald Peikert (Zürich, CH) Gerik Scheuermann (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Phys. Margit Schönherr	Development and Evolution of Data Processing Techniques in Magnetoencephalography	Burkhard Maeß	Jens Haueisen (Ilmenau) Gerik Scheuermann (Leipzig)	Dr. rer. nat.	Informatik
M. Sc. Hannes Straß	Default Reasoning about Actions	Gerhard Brewka	Gerhard Brewka (Leipzig) Torsten Schaub (Potsdam)	Dr. rer. nat.	Informatik
Dipl.-Kfm. Benjamin Strehl	Innovationsmanagement im Service Center	Klaus-Peter Fähnrich	Klaus-Peter Fähnrich (Leipzig) Dieter Spath (Stuttgart)	Dr.-Ing.	Informatik
M. Sc. Tat Dat Tran	Information Geometry and the Wright-Fisher Model of Mathematical Population Genetics	Jürgen Jost	Shun-ichi Amari (Saitama, Japan) Jürgen Jost (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Inf. Henry Wirth	Analysis of large-scale molecular biological data using self-organizing maps	Hans Binder	David P. Kreil (Wien) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
M. Sc. Verena Zuber	A Multivariate Framework for Variable Selection and Identification of Biomarkers in High-Dimensional Omics Data	Korbinian Strimmer	Jörg Rahnenführer (Dortmund) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik

2011

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Dipl.-Phys. Frank Bauer	Eigenvalues of directed and undirected graphs and their applications	Jürgen Jost	Alexander Grigoryan (Bielefeld) Jürgen Jost (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Inf. Alexander Donath	Molecular Morphology - Phylogenetically Informative Characters Derived from Sequence Data	Peter F. Stadler	Axel Mosig (Bochum) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Math. Florian Drechsler	Über die Lösung von elliptischen Randwertproblemen mittels Gebietszerlegungstechniken, Hierarchischer Matrizen und der Methode der finiten Elemente	Wolfgang Hackbusch	Wolfgang Hackbusch (Leipzig) Robert Scheichl (Bath, GB)	Dr. rer. nat.	Mathematik
M. Sc. Karim El-Laithy	Towards a Brain-inspired Information Processing System: Modelling and Analysis of Synaptic Dynamics	Martin Bogdan	Martin Bogdan (Leipzig) Julius Georgiou (Nikosia, Zypern)	Dr. rer. nat.	Informatik
Dipl.-Psych. Tobias Elze	Accurate and Precise Visual Stimulation in Neuroscience and Psychophysics Experiments	Jürgen Jost	Jürgen Jost (Leipzig) Felix Wichmann (Berlin)	Dr. rer. nat.	Informatik
Dipl.-Inf. Sven Findeiß	Expanding the repertoire of bacterial (non-)coding RNAs	Peter F. Stadler	Wolfgang Hess (Freiburg) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Inf. Michael Hartung	Evolution von Ontologien in den Lebenswissenschaften	Erhard Rahm	Erhard Rahm (Leipzig) York Sure (Koblenz-Landau)	Dr. rer. nat.	Informatik
Dipl.-Inf. Hagen Jung	Evolutionäre Sprachtransformation - Ereignismodell und Rekonstruktionsverfahren für Sprachwandel	Michael Cysouw	Andreas Dress (Shanghai, VR China) Martin Middendorf (Leipzig)	Dr. rer. nat.	Informatik
M.Sc. Martin Kircher	Understanding and improving high-throughput sequencing data production and analysis	Peter F. Stadler	Anton Nekrutenko (PennState University, USA) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
B. Sc. Chiranjib Mukherjee	Large Deviations for Brownian Intersection Measures	Wolfgang König	Wolfgang König (Berlin) Peter Mörters (Bath, GB)	Dr. rer. nat.	Mathematik
Dipl.-Bioinf. Wolfgang Otto	Transcriptional Regulatory Elements: Detection and Evolutionary Analysis	Peter F. Stadler	Burkhard Morgenstern (Göttingen) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Inf. Kay Prüfer	Computational Approaches to Ancient Genome Analysis	Peter F. Stadler	Gabor Marth (Boston College, USA) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Inf. Riyadh Qashi	Performance QoS-orientierter Datenübertragung unter dem Standard IEEE 802.11e WLAN	Martin Bogdan	Martin Bogdan (Leipzig) Alexander Schill (Dresden)	Dr. rer. nat.	Informatik
Dipl.-Phys. Dipl.-Math. Johannes Rauh	Finding the Maximizers of the Information Divergence from an Exponential Family	Nihat Ay	Andreas Knauf (Erlangen) Jürgen Jost (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Inf. Martin Schierle	Language Engineering for Information Extraction	Gerhard Heyer	Gerhard Heyer (Leipzig) Stefan Wrobel (Bonn)	Dr. rer. nat.	Informatik
Dipl.-Math. Susanne Schindler	Fitness-based mating: A systematic analysis of a new preference model	Jürgen Jost	Wolfgang Banzhaf (St. John's, Kanada) Joachim Hermisson (Wien) Jürgen Jost (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Math. Univ. Patrick Schmid	Random processes in truncated and ordinary Weyl chambers	Wolfgang König	Wolfgang König (Berlin) Herbert Spohn (München)	Dr. rer. nat.	Mathematik
Dipl.-Math. Christian Seis	Scaling laws in two models for thermodynamically driven fluid flow	Felix Otto	Charles Doering (Ann Arbor, USA) Felix Otto (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Inf. Alexander Ullrich	Computational Sudies on the Evolution of Metabolism	Peter F. Stadler	Daniel Merkle (Odense, DK) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
M.Sc. Wing-Cheong Wong	Towards a complete sequence homology concept: Limitations and Applications	Frank Eisenhaber	Thomas Dandekar (Würzburg) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
M.Sc. Ling Xu	On Galerkin Approximations for the Zakai Equation with Diffusive and Point Process Observations	Rüdiger Frey	Rüdiger Frey (Leipzig) Wolfgang Runggaldier (Padua, Italien)	Dr. rer. nat.	Mathematik

2010

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
M.A. Sabine Gründer	Die Granularität zeitlicher Bedeutung - Ein dynamischer Ansatz zur Syntax und Semantik temporaler Adverbiale	Gerhard Heyer	Friedrich Hamm (Tübingen) Gerhard Heyer (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-WiMath. Marc Hellmuth	Local Prime Factor Decomposition of Approximate Strong Product Graphs	Peter F. Stadler	Peter F. Stadler (Leipzig) Sandi Klavzar (Ljubljana)	Dr. rer. nat.	Informatik
Dipl.-Inf. Stefan Höhme	Agent-based modeling of growing cell populations and the regenerating liver based on image processing	Dirk Drasdo	Dirk Drasdo (Leipzig) Gerik Scheuermann (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Inf. Malte Hülder	Context-Aware Support for Mobile Information Systems	Volker Gruhn	Stefan Eiker (Essen) Volker Gruhn (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Inf. Enrico Kaden	Statistical Analysis of Diffusion MR Images: Estimating the Connectional Architecture of the Human Brain	Gerik Scheuermann	Gerik Scheuermann (Leipzig) Frithjof Kruggel (Irvine, USA)	Dr. rer. nat.	Informatik
Dipl.-Phys. Thomas Kahle	On Boundaries of Statistical Models	Nihat Ay	Jürgen Jost (Leipzig) Bernd Sturmfels (Berkeley, USA)	Dr. rer. nat.	Mathematik
Dipl.-Phys. Axel Krinner	Spherical Individual Cell-Based Models - Limitations and Applicatons	Dirk Drasdo	Mark Chaplain (Dundee, GB) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Inf. Stefan Kühne	Ein Transformationsraum zur prozessmodellgetriebenen serviceorientierten Integration	Klaus-Peter Fähnrich	Stefan Eicker (Essen) Ulrich Eisenecker (Leipzig) Klaus-Peter Fähnrich (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Phys. Matthias Lampe	On Conformal Connections and Infinitesimal Conformal Transformations	Hans B. Rademacher	Helga Baum (Berlin) Hans B. Rademacher (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Ralf Laue	Musterbasierte Überprüfung der Qualitätseigenschaften von Geschäftsprozessmodellen	Volker Gruhn	Volker Gruhn (Leipzig) Markus Nüttgens (Hamburg)	Dr. rer. nat.	Informatik
Dipl.-Inf. Jens Lehmann	Learning OWL Class Expressions	Klaus-Peter Fähnrich	Klaus-Peter Fähnrich (Leipzig) Nicola Fanizzi (Bari, Italien)	Dr. rer. nat.	Informatik
Dipl.-Math. Wolfgang Löhr	Models of Discrete-Time Stochastic Processes and Associated Complexity Measures	Nihat Ay	Jürgen Jost (Leipzig) Gerhard Keller (Köln)	Dr. rer. nat.	Mathematik
Dipl.-Math. Conrad Mädler	Einige Beiträge zur Behandlung von Matrixversionen von Potenzmomentenproblemen	Bernd Fritzsche	Adhemar Bultheel (Leuven, B) Yuriy Dyukarev (Belgorod, RUS) Bernd Fritzsche (Leipzig)	Dr. rer. nat.	Mathematik
Master of Advanced Studies Percy D. Makita	Periodic and Homoclinic Motions in Infinite Lattices	Stephan Luckhaus Matthias Schwarz	Thomas Bartsch (Gießen) Stephan Luckhaus (Leipzig)	Dr. rer. nat.	Mathematik
MSc Karin Quaas	Kleene-Schützenberger and Büchi Theorems for Weighted Timed Automata	Manfred Droste	Patricia Bouyer-Decitre (Cachan, F) Manfred Droste (Leipzig)	Dr. rer. nat.	Informatik
M.A. Matthias Richter	Nutzen und Benutzen von Text Mining für die Medienanalyse	Gerhard Heyer	Maximilian Eibl (Chemnitz) Gerhard Heyer (Leipzig) Volker Wulf (Siegen)	Dr. phil.	Informatik
Dipl.-Inf. Markus Riester	Genealogy Reconstruction: Methods and applications in cancer and wild populations	Peter F. Stadler	David Bryant (Aukland, NZL) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Inf. Dominic Rose	The long and the short of computational ncRNA prediction	Peter F. Stadler	Burkhard Morgenstern (Göttingen) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Inf. Alexander Scheidler	Self-Organized Specialization and Controlled Emergence in Organic Computing Systems	Martin Middendorf	Martin Middendorf (Leipzig) Hartmut Schmeck (Karlsruhe)	Dr. rer. nat.	Informatik
Dipl.-Wirtschaftsmath. Sylvia Schmidt	Das parabolische Anderson-Model mit Be- und Entschleunigung	Wolfgang König	Wolfgang König (Leipzig) Peter Mörters (Bath, GB)	Dr. rer. nat.	Mathematik
Dipl.-Math. oec. univ. Roland Seydel	Impulse Control for Jump-Diffusions: Viscosity Solutions of Quasi-Variational Inequalities and Applications in Bank Risk Management	Rüdiger Frey	Rüdiger Frey (Leipzig) Halil Mete Soner (Zürich)	Dr. rer. nat.	Mathematik
Dipl.-Wirtsch.-Math. Kathrin Sieber	Über Matrixpolynome sowie Stein-Tripel vom J-Potapovtyp und deren Anwendungen zur Lösung des J-Potapovproblems	Bernd Kirstein	Vladimir K. Dubovoj (Kharkiv) Bernd Kirstein (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Inf. Wolfram Stacklies	Force Distribution in Macromolecules	Dr. Frauke Gräte	Peter F. Stadler (Leipzig) Volkhard Helms (Saarbrücken)	Dr. rer. nat.	Informatik
Dipl.-Math. Rainer Stollhoff	Modeling Prosopagnosia: Computational Theory and Experimental Investigations of a Deficit in Face Recognition	Jürgen Jost	Jürgen Jost (Leipzig) Christoph von der Malsburg (Frankfurt)	Dr. rer. nat.	Informatik
Dipl.-Math. Oliver Thomys	Asymptotic behaviour of capillary problems governed by disjoining pressure potentials	Erich Miersemann	John McCuan (Atlanta) Erich Miersemann (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Ing. (FH) Peter Walde	Digital Intelligence - Möglichkeiten und Umsetzung einer informatikgestützten Frühaufklärung	Gerhard Heyer	Iryna Gurevych (Darmstadt) Gerhard Heyer (Leipzig)	Dr.-Ing.	Informatik
B.Sc. Ying Wang	Branching Processes: Optimization, Variational Charaterization, and Continous Approximation	Jürgen Jost	Jürgen Jost (Leipzig) Wolfgang König (Berlin)	Dr. rer. nat.	Mathematik
Dipl.-Phys. Hedwig Wilhelm	A Neural Network Model of Invariant Object Identification	Jürgen Jost	Jürgen Jost (Leipzig) Laurenz Wiskott (Bochum)	Dr. rer. nat.	Informatik
M.Sc. Clara Isabel Bermudez Santana	tRNomics: Genomic Organization and Processing Patterns of tRNAs	Peter F. Stadler	Peter F. Stadler (Leipzig) Eric Westhof (Straßbourg, F)	Dr. rer. nat.	Informatik
Dipl.-Inf. Matthias Bernt	Gene order rearrangement methods for the reconstruction of phylogeny	Martin Middendorf	Martin Middendorf (Leipzig) Marie-France Sagot (Lyon)	Dr. rer. nat.	Informatik
Dipl.-Medieninf. Tobias Brückmann	Model Driven Development and Maintenance of Business Logic for Information Systems	Volker Gruhn	Volker Gruhn (Leipzig) Wilhelm Hasselbring (Kiel)	Dr. rer. nat.	Informatik
Dipl.-Inf. Thomas Fischer	Effiziente Vorkonditionierung von Finite-Elemente-Matrizen unter Verwendung hierarchischer Matrizen	Mario Bebendorf	Mario Bebendorf (Bonn) Wolfgang Hackbusch (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Inform. Michael Gessat	Interfaces for Modular Surgical Planning and Assistance Systems		Gerik Scheuermann (Leipzig) Heinz Wörn (Karlsruhe)	Dr.-Ing.	Informatik
Mag. Mykola Golovin	Web Recommendations for E-Commerce Websites	Erhard Rahm	Erhard Rahm (Leipzig) Francesco Ricci (Bozen, Italien)	Dr.-Ing.	Informatik

2009

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Dipl.-Phys., Dipl.-Math. Abdulaziz Ali	Hybrid Finite Element - Finite Volume Method for Quasilinear Elliptic-Parabolic Differential Equations	Stephan Luckhaus	Wolfgang Hackbusch (Leipzig) Dietmar Kröner (Freiburg) Stephan Luckhaus (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Inf. Nils Bertschinger	An information theoretic perspective on cognitive systems: Memory and autonomy	Jürgen Jost	Ralf Der (Leipzig) Jürgen Jost (Leipzig) Christian Jutten (Grenoble)	Dr. rer. nat.	Informatik
Dipl.-Wirtschaftsinf. Martin Böttcher	Architektur integrierter Dienstleistungssysteme - Konzeption, Metamodell und technikraumspezifische Konkretisierung	Klaus-Peter Fähnrich	Ulrich Eisenecker (Leipzig) Klaus-Peter Fähnrich (Leipzig) Helmut Krcmar (München)	Dr. rer. nat.	Informatik
Dipl.-Inf. Matthias Book	Dialog Flow Specification and Control for Web Applications	Volker Gruhn	Volker Gruhn (Leipzig) Wilhelm Schäfer (Paderborn) Anette Weisbecker (Stuttgart)	Dr. rer. nat.	Informatik
Dipl.-Phys. Guy Sebastian Buss	On the Construction and the Behaviour of Automorphic Forms on Completions of Teichmüller Spaces and Higher Bers Maps	Jürgen Jost	Jürgen Jost (Leipzig) Anthony Tromba (Santa Cruz) Michael Wolf (Houston)	Dr. rer. nat.	Mathematik
BSc Brian Clarke	The completion of the manifold of Riemannian metrics with respect to its L2 metric	Jürgen Jost	Jürgen Jost (Leipzig) Peter W. Michor (Wien) Anthony J. Tromba (Santa Cruz, USA)	Dr. rer. nat.	Mathematik
Dipl.-Inf. Sherif M. ElRakabawy	Effective Data Transport for Reliable End-to-End Communication in Multihop Wireless Networks	Christoph Lindemann	Jörg Eberspächer (München) Christoph Lindemann (Leipzig) Martin Mauve (Düsseldorf)	Dr. rer. nat.	Informatik
Dipl.-Math. Bernhard Englitz	Synaptic Transmission and Signal Representation at the Calyx of Held	Jürgen Jost	Jürgen Jost (Leipzig) Maneesh Sahani (London) Shihab Shamma (College Park, USA)	Dr. rer. nat.	Informatik
Mag. Rafal Grabos	A Qualitative Model of Automated Decision Making: The Answer Set Programming Approach	Gerhard Brewka	Gerhard Brewka (Leipzig) Jérôme Lang (Toulouse) Torsten Schaub (Potsdam)	Dr. rer. nat.	Informatik
Dipl.-Inf. Jana Hertel	Structure non-coding RNAs: Prediction, Comparison, Annotation	Peter F. Stadler	Daniel Gautheret (Paris) Hsien-Da Huang (Hsinchua, Taiwan) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Inf. Robert Höhndorf	Basic considerations for improving interoperability between ontology-based biological information systems	Heinrich Herre	Heinrich Herre (Leipzig) Pascal Hitzler (Karlsruhe) Robert Stevens (Manchester, GB)	Dr. rer. nat.	Informatik
Dipl.-Math. Alexander Huber	Periodic solutions for the Landau-Lifshitz-Gilbert Equation	Stefan Müller	Helmut Abels (Regensburg) Stephan Luckhaus (Leipzig) Stefan Müller (Bonn)	Dr. rer. nat.	Mathematik
Dipl.-Inf. Heike Jänicke	Information Theoretic Methods for the Visual Analysis of Climate and Flow Data	Gerik Scheuermann	Min Chen (Swansea, GB) Klaus Müller (Stony Brook, USA) Gerik Scheuermann (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Inf. Lars Littig	Classifying Web Sites	Christoph Lindemann	Peter Buchholz (Dortmund) Christoph Lindemann (Leipzig) Benno Stein (Weimar)	Dr. rer. nat.	Informatik
Dipl.-Inf. Robert Lokaiczyk	Verfahren kontextbasierter Nutzerzielanalyse	Gerhard Heyer	Gerhard Heyer (Leipzig) Knut Manske (Darmstadt) Jürgen Ziegler (Duisburg)	Dr. rer. nat.	Informatik
Dipl.-Inf. Dipl.-Biol. Manuela Marz	Strategies for Homology-Based Identification of Eukaryotic Non-Coding RNA Genes	Peter F. Stadler	Peter F. Stadler (Leipzig) Anrew Torda (Hamburg)	Dr. rer. nat.	Informatik
Dipl.-Math. Christian Mathissen	Weighted Automata and Weighted Logics over tree-like Structures	Manfred Droste	Manfred Droste (Leipzig) Zoltán Ésik (Szeged) Heiko Vogler (Dresden)	Dr. rer. nat.	Informatik
Dipl.-Inf. Kyrill Meyer	Software-Service-Co-Design: Eine Methodik für die Entwicklung komponentenorientierter IT-basierter Dienstleistungen	Klaus-Peter Fähnrich	Klaus-Peter Fähnrich (Leipzig) Kathrin M. Möslein (Nürnberg) Dieter Spath (Stuttgart	Dr. rer. nat.	Informatik
M.A. Hannes Michalek	A Formal Ontological Approach to Causality - Embedded in the Top-Level Ontology of GFO (General Formal Ontology)	Heinrich Herre	John A. Bateman (Bremen) Gerhard Brewka (Leipzig) Heinrich Herre (Leipzig)	Dr. rer. nat.	Informatik
M.Sc. Fatmagül Mintas	Twistor Spinors on Riemannian Spin Orbifolds	Hans B. Rademacher	Helga Baum (Berlin) Wolfgang Kühnel (Stuttgart) Hans B. Rademacher (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Inf. Axel-Cyrille Ngonga Ngomo	Low-Bias Extraction of Domain-Specific Concepts	Klaus-Peter Fähnrich	Klaus-Peter Fähnrich (Leipzig) Alexander Gelbukh (Mexico-City) Gerhard Heyer (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Inf. Florian Pitschi	Sequence similarity motif detection and alignments with N-local decoded anchor points	Andreas Dress	Rolf Backofen (Freiburg) Andreas Dress (Shanghai) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Math. Cornelia Schneider	Besov spaces with positive smoothness	Dorothee Haroske	Stephan Dahlke (Marburg) Dortohee Haroske (Jena) Thomas Kühn (Leipzig)	Dr. rer. nat.	Mathematik
Mag. rer. nat. Andrea Tanzer	Evolution of MicroRNAs and Other Small Noncoding RNAs	Peter F. Stadler	Vincent Moulton (Norwich) Peter F. Stadler (Leipzig) Limsoon Wong (Singapore)	Dr. rer. nat.	Informatik
Dipl.-Math. Kai Zehmisch	Singularities and Self-Intersections of Holomorphic Discs	Matthias Schwarz	Octav Cornea (Montreal) Felix Schlenk (Neuchâtel) Matthias Schwarz (Leipzig)	Dr. rer. nat.	Mathematik

2008

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Dipl.-Math./Dipl.-Phys. Steffen Arnrich	Maßwertige Lösungen für ein Gleichungssystem zur Beschreibung von Phasenübergängen in Kristallen	Stephan Luckhaus	Harald Garcke (Regensburg) Stephan Luckhaus (Leipzig) Erich Miersemann (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Wirtschaftsmath. Jochen Backhaus	Pricing and Hedging of Credit Derivatives in a Model with Interacting Default Intensities: A Markovian Approach	Rüdiger Frey	Rüdiger Frey (Leipzig) Jean-Paul Laurant (Lyon) Wolfgang Rungaldier (Padua)	Dr. rer. nat.	Mathematik
M.Sc. Anirban Banerjee	The Spectrum of the Graph Laplacian as a Tool for Analyzing Structure and Evolution of Networks	Jürgen Jost	Jürgen Jost (Leipzig) Josef Leydold (Wien) Ricard V. Solé (Barcelona)	Dr. rer. nat.	Informatik
MCSc Raymond Chan	A Biofluid Dynamic Model for Centrifugal Accelerated Cell Culture Systems	Angela Stevens	Gerik Scheuermann (Leipzig) Angela Stevens (Heidelberg) Juan J. L. Velazquez (Madrid)	Dr. rer. nat.	Informatik
M.Sc. Sambasiva Rao Chinnamsetty	Wavelet Tensor Product Approximation in Electronic Structure Calculations	Wolfgang Hackbusch	Wolfgang Hackbusch (Leipzig) Manfred Salmhofer (Leipzig) Harry Yserentant (Berlin)	Dr. rer. nat.	Mathematik
Mag. math. Elio Eduardo Espejo Arenas	Global solutions and finite time blow up in a two species model for chemotaxis	Angela Stevens	Angela Stevens (Heidelberg) Erich Miersemann (Leipzig) Juan Velazquez (Madrid)	Dr. rer. nat.	Mathematik
Dipl.-Math. Mike Espig	Effiziente Bestapproximation mittels Summen von Elementartensoren in hohen Dimensionen	Wolfgang Hackbusch	Mario Bebendorf (Leipzig) Wolfgang Hackbusch (Leipzig) Reinhold Schneider (Berlin)	Dr. rer. nat.	Mathematik
Dipl.-Math. Michael Geis	Secondary Structure Prediction of Large RNAs	Martin Middendorf Peter F. Stadler	Martin Middendorf (Leipzig) Holger H. Hoos (Vancouver) Daniel Gautheret (Paris)	Dr. rer. nat.	Informatik
Dipl.-Inf. Stefan Göller	Computational Complexity of Propositional Dynamic Logics	Markus Lohrey	Markus Lohrey (Leipzig) Damian Niwinski (Warschau) Colin Stirling (Edinburgh)	Dr. rer. nat.	Informatik
Dipl.-Math. Nadine Große	On a spin conformal invariant on open manifolds	Hans B. Rademacher	Christian Bär (Potsdam) Rafe Mazzeo (Stanford) Hans B. Rademacher (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Inf. Jörg Härtwig	Konzept, Realisierung und Evaluation des semantischen Informationsraums	Klaus-Peter Fähnrich	Klaus-Peter Fähnrich (Leipzig) Gerhard Heyer (Leipzig) Dimitris Karagiannis (Wien)	Dr. rer. nat.	Informatik
MCSc (FH) Michael Herrmann	Service-orientierte Architektur: Identifizierung äquivalenter Services in Form semantischer semiautomatischer Unterstützung des EMEO-Layer	Wilhelm Spruth	Wilhelm Spruth (Leipzig) Alfred Zimmermann (Reutlingen) Anette Weisbecker (Stuttgart)	Dr.-Ing.	Informatik
Dipl.-Inf. Mario Hlawitschka	Efficient Visualization of Tensor Fields with Application to Magnetic Resonance Data	Gerik Scheuermann	Bernd Hamann (Davis, USA) Bernhard Preim (Magdeburg) Gerik Scheuermann (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Math. Sonja Hohloch	Floer homology for homoclinic tangles	Matthias Schwarz	Alberto Abbondandolo (Pisa, Italien) Matthias Schwarz (Leipzig) Friedrich Siburg (Dortmund)	Dr. rer. nat.	Mathematik
Dipl.-Inf. Thomas Hübsch	Human Cortical Folding and Variability	Gerik Scheuermann Marc Tittgemeyer	Jan Modersitzki (Lübeck) Yves von Cramon (Leipzig) Gerik Scheuermann (Leipzig)	Dr. rer. nat.	Informatik
MSc Biswajit Karmakar	Regularity in thin film micromagnetics	Stefan Müller	Georg Dolzmann (Regensburg) Stefan Müller (Leipzig) Felix Otto (Bonn)	Dr. rer. nat.	Mathematik
Dipl.-Inf. Sebastian Lange	Hyperreconfigurable Architectures: Formal concepts, methods, and applications	Martin Middendorf	Udo Kebschull (Heidelberg) Martin Middendorf (Leipzig) Marco Platzner (Paderborn)	Dr. rer. nat.	Informatik
Mag. Phys. Alexey Lebedev	Simple modular Lie superalgebras	Jürgen Jost	Jürgen Jost (Leipzig) Alberto Elduque (Zaragoza, Spanien) Yuri A. Bakhturin (Moskau, Russland)	Dr. rer. nat.	Mathematik
Dipl.-Inf. Holger Märtens	Beiträge zur dynamischen Lastbalancierung in parallelen Datenbanksystemen	Erhard Rahm	Martin Middendorf (Leipzig) Erhard Rahm (Leipzig) Norbert Ritter (Hamburg)	Dr.-Ing.	Informatik
Dipl.-Ing (FH) Ronny Melz	Exponential Language Models - Efficient Scaling and Integrability of Semantic Information	Gerhard Heyer	Pushpak Bhattacharyya (Mumbai, Indien) Gerhard Heyer (Leipzig) Andreas Wendemuth (Magdeburg)	Dr.-Ing.	Informatik
Dipl.-Inf. Alexander Nittka	A Method for Reasoning about other Agents' Beliefs from Observations	Gerhard Brewka	Gerhard Brewka (Leipzig) Gabriele Kern-Isberner (Dortmund) Jerome Lang (Toulouse, Frankreich)	Dr. rer. nat.	Informatik
Dipl.-Inf. Kristin Reiche	Computational Identification and Annotation of non-coding RNAs	Peter F. Stadler	Burkhard Morgenstern (Göttingen) Peter F. Stadler (Leipzig) Andrew Torda (Hamburg)	Dr. rer. nat.	Informatik
Dipl.-Inf. Tobias Salzbrunn	Flow Visualization and Analysis Based on Integral Line Predicates	Gerik Scheuermann	Guido Brunett (Chemnitz) Bernd Hamann (Davis, USA) Gerik Scheuermann (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Inf. Yuriy O. Savchuk	Unbounded induced *-Representations	Konrad Schmüdgen	Samoilenko (Kiew) Konrad Schmüdgen (Leipzig) Werner Timmermann (Dresden)	Dr. rer. nat.	Mathematik
Dipl.-Inf. Andreas Thor	Automatische Mapping-Verarbeitung auf Webdaten	Erhard Rahm	Felix Naumann (Berlin) Erhard Rahm (Leipzig) Gerhard Weikum (Saarbrücken)	Dr. rer. nat.	Informatik
Dipl.-Wirtschaftsinf. Maik Thränert	Integration-Engineering - Grundlagen, Vorgehen, Fallstudien	Klaus-Peter Fähnrich	Klaus-Peter Fähnrich (Leipzig) Andreas Speck (Kiel) Annette Weisbecker (Stuttgart)	Dr. rer. nat.	Informatik
Dipl.-Inf. Alexander Wiebel	Localized Flow, Particle Tracing, and Topological Separation Analysis for Flow Visualization	Gerik Scheuermann	Kenneth I. Joy (Davis, USA) Ronals Peikert (Zürich, Schweiz) gerik Scheuermann (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Inf. Hans Friedrich Witschel	Global and Local Ressources for Peer-to-Peer Text Retrieval	Gerhard Heyer	Ricardo Baeza-Yates (Barcelona, ESP) Andreas Henrich (Bamberg) Gerhard Heyer (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Math. Malte Witte	Noncommutative Iwasawa Main Conjectures for Varieties over Finite Fields	Annette Huber-Klawitter	Matthias Flach (Pasadena) Annette Huber-Klawitter (Freiburg) Otmar Venjakob (Heidelberg)	Dr. rer. nat.	Mathematik
B.Sc. Miaomiao Zhu	Harmonic Maps and Dirac-Harmonic Maps from Degenerating Surfaces	Jürgen Jost	Jürgen Jost (Leipzig) Hans B. Rademacher (Leipzig) Tristan Rivière (Zürich)	Dr. rer. nat.	Mathematik

2007

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Dipl.-Ing. Mihai C. Albu	Quantitative Analyses of Typological Data	Peter F. Stadler	Balthasar Bickel (Leipzig) Peter F. Stadler (Leipzig) Christian Wolff (Regensburg)	Dr. rer. nat.	Informatik
M. Sc. Muhammad Ahtisham Aslam	Towards Integration of Business Processes and Semantic Web Services	Klaus-Peter Fähnrich	Klaus-Peter Fähnrich (Leipzig) Wilhelm Spruth (Leipzig) Yun Yang (Victoria, Australien)	Dr.-Ing.	Informatik
Dipl.-Wirtschaftsmath. Arne Becker	Über linke und rechte ℂ qxq - de Branges-Hilbertmoduln von meromorphen qxq-Matrixfunktionen im Einheitskreis	Bernd Kirstein	Vladimir K. Dubovoj (Charkow) Bernd Kirstein (Leipzig) Harald Woracek (Wien)	Dr. rer. nat.	Mathematik
Dipl.-Inf. Christian Biemann	Unsupervised and Knowledge-free Natural Language Processing in the Structure Discovery Paradigm	Gerhard Heyer	Antal van den Bosch (Tilburg, NL) Gerhard Heyer (Leipzig) Stefan Wrobel (St. Augustin)	Dr. rer. nat.	Informatik
Dipl.-Inf. Stefan Bordag	Elements of Knowledge-free and Unsupervised Lexical Acquisition	Gerhard Heyer	Gerhard Heyer (Leipzig) Hinrich Schütze (Stuttgart) Eric Gaussier (Grenoble)	Dr. rer. nat.	Informatik
Mag. Patryk Burek	Ontology of Functions: A Domain-independent Framework of Modelling Functions	Heinrich Herre	Heinrich Herre (Leipzig) Nicola Guarino (Trento) Antonius van Hoof (Stuttgart)	Dr. rer. nat.	Informatik
Dipl.-Math. Ina Fichtner	Characterizations of Recognizable Picture Series	Manfred Droste	Manfred Droste (Leipzig) Werner Kuich (Wien) Heiko Vogler (Dresden)	Dr. rer. nat.	Informatik
Dipl.-Math. Asvin Goel	Fleet telematics: Real-time management and planning of commercial vehicle operations	Volker Gruhn	Volker Gruhn (Leipzig) Herbert Kopfer (Bremen) Anette Weisbecker (Stuttgart)	Dr. rer. nat.	Informatik
M. Sc. Naglaa Hamed	Self-referential dynamical systems for the self-organization of behavior in robotic systems	Ralf Der	Ralf Der (Leipzig) Frank Pasemann (St. Augustin) Helge Ritter (Bielefeld)	Dr. rer. nat.	Informatik
Dipl.-Inf. Benjamin Inden	Evolving artificial neural networks with complex genetic architectures	Jürgen Jost	Jürgen Jost (Leipzig) Frank Pasemann (St. Augustin) Kenneth Stanley (Orlando)	Dr. rer. nat.	Informatik
Dipl.-Inf. Stefan Janson	Distributed Decision Making and Optimization with Swarms	Martin Middendorf	Martin Middendorf (Leipzig) Marco Dorigo (Brüssel) Luca Maria Gambardella (Manno-Lugano)	Dr. rer. nat.	Informatik
Dipl.-Kfm. (FH) Toralf Kirsten	Data-Warehouse- und Mapping-basierte Datenintegrationsplattformen in der Bioinformatik	Erhard Rahm	Klaus Kruczynski (Leipzig) Ulf Leser (Berlin) Erhard Rahm (Leipzig)	Dr.-Ing.	Informatik
Dipl.-Math. Carl Friedrich Kreiner	A variational approach to travelling waves in particle chains with on-site potential	Stefan Müller	Robert V. Kohn (New York, USA) Christof Melcher (Oxford, GB) Stefan Müller (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Katharina Kühn	Reversal Modes in Magnetic Nanowires	Stefan Müller	Stefan Müller (Leipzig) Robert Pego (Pittsburgh, USA) Johannes Zimmer (Bath, GB)	Dr. rer. nat.	Mathematik
Dipl.-Psych. Timm-Ulrich Lochmann	Uncertainty in Neural Perceptual Systems	Jürgen Jost	Jürgen Jost (Leipzig) Andreas Schierwagen (Leipzig) Sophie Denève (Lyon)	Dr. rer. nat.	Informatik
Dipl.-Wirtschaftsinf. Lutz Maicher	Autonome Topic Maps - Zur dezentralen Erstellung von implizit und explizit vernetzten Topic Maps in semantisch heterogenen Umgebungen	Gerhard Heyer	Maximilian Eibl (Chemnitz) Gerhard Heyer (Leipzig) Jürgen Krause (Koblenz)	Dr. rer. nat.	Informatik
Dipl.-Wirtschaftsmath. Ulrike Polte	On Hedging and Pricing of Derivatives in Illiquid Markets - A PDE Approach	Rüdiger Frey	Rüdiger Frey (Leipzig) Alexander Schied (Berlin) Martin Schweizer (Zürich)	Dr. rer. nat.	Mathematik
Hilke Reiter	On Functoriality of Homological Mirror Symmetry of Elliptic Curves	Annette Huber-Klawitter Matthias Schwarz	Annette Huber-Klawitter (Leipzig) Bernd Kreussler (Limerick, Ireland) Matthias Schwarz (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Phys. Christoph Sachse	Global Analytic Approach to Super Teichmüller Spaces	Jürgen Jost	Freed (Austin) Jürgen Jost (Leipzig) Dimitry A. Leites (Stockholm)	Dr. rer. nat.	Mathematik
Dipl.-Math. Alla Sargsyan	On the ∂-Problem with Polynomial Weights and Levi-Degenerate Hypersurfaces in ℂℙn	Judith Brinkschulte	Judith Brinkschulte (Leipzig) Jürgen Leiterer (Berlin) George Marinescu (Köln)	Dr. rer. nat.	Mathematik
Dipl.-Wirtschaftsmath. Helge Thiele	Beiträge zu matriziellen Potenzmomentenproblemen	Bernd Fritzsche	Adhemar Bultheel (Leuven) Yury Dyukarev (Charkow) Bernd Fritzsche (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Inf. Matthias Wendt	On Fibre Sequences in Motive Homotopy Theory	Annette Huber-Klawitter	Annette Huber-Klawitter (Leipzig) Marc Levine (Boston, USA) Fabien Morel (München)	Dr. rer. nat.	Mathematik
Dipl.-Math. Mohammad Zaino	Exakte parametrische multivariate Tests für hochdimensionale Beobachtungen mit Unterstützung der Auffindung faktorieller Strukturen	Siegfried Kropf	Bernd Kirstein (Leipzig) Siegfried Kropf (Magdeburg) Jürgen Läuter (Magdeburg) Markus Löffler (Leipzig)	Dr. rer. nat.	Informatik

2006

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Dipl.-Math. Sören Auer	Towards Agile Knowledge Engineering: Methodology, Concepts and Applications	Klaus-Peter Fähnrich	Klaus-Peter Fähnrich (Leipzig) Heinrich Herre (Leipzig) Robert Tolksdorf (Berlin)	Dr. rer. nat.	Informatik
Mag. rer. nat. Gil Benkö	Uncovering the Structure of the Artificial Chemistry Universe	Peter F. Stadler	Peter Dittrich (Jena) Peter F. Stadler (Leipzig) Peter Wills (Auckland, NZL)	Dr. rer. nat.	Informatik
Dipl.-Math. Sebastian Bogner	Der Schur-Potapov-Algorithmus für p x q-Matrixfolgen	Bernd Kirstein	Adhemar Bultheel (Leuven) Vladimir K. Dubovoj (Kharkiv) Bernd Kirstein (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Jelena Djokić	Efficient Update of Hierarchical Matrices in the case of Adaptive Discretisation Schemes	Wolfgang Hackbusch	Wolfgang Hackbusch (Leipzig) Sergej Rjasanow (Saarbrücken) Stefan Sauter (Zürich, CH)	Dr. rer. nat.	Mathematik
Dipl.-Inf. Hong-Hai Do	Schema Matching and Mapping-based Data Integration	Erhard Rahm	Erhard Rahm (Leipzig) Philip Bernstein (Redmond, USA) Anhai Doan (Urbana, USA)	Dr.-Ing.	Informatik
Dipl.-Inf. Julia Ebling	Visualization and Analysis of Flow Fields based on Clifford Convolution	Gerik Scheuermann	Hans Hagen (Kaiserslautern) Laus Müller (New York, USA) Gerik Scheuermann (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Inf. Ulrike Greiner	Quality-oriented Execution and Optimization of Cooperative Processes: Model and Algorithms	Erhard Rahm	Stefan Jablonski (Erlangen-Nürnberg) Erhard Rahm (Leipzig) Manfred Reichert (Twente)	Dr.-Ing.	Informatik
Dipl.-Phys. Peter Hornung	Analysis of Thin Elastic Films	Stefan Müller	Sergio Conti (Duisburg) Stefan Müller (Leipzig) Ben Schweizer (Basel)	Dr. rer. nat.	Mathematik
M. Sc. Alexander G. Litvinenko	Application of Hierarchical Matrices for Solving Multiscale Problems	Wolfgang Hackbusch	Wolfgang Hackbusch (Leipzig) Ivan Graham (Bath, UK) Sergej Rjasanow (Saarbrücken)	Dr. rer. nat.	Mathematik
Dipl.-Math. Bernd Schmidt	Effective theories for thin elastic films	Stefan Müller	Gero Friesecke (U München) Richard D. James (Minnesota) Stefan Müller (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Biol. Stephan Steigele	Computer assisted analysis of RNA-based cellular regulation	Peter F. Stadler	Jan Gorodkin (Fredreriksberg, DK) Knut Reinert (Berlin) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
Mag. rer. nat. Claudia Stocsits	Comparative Genomics of Regulatory Sequence Elements	Peter F. Stadler	Yuh-Jyh Hu (Taipeh) Burkhard Morgenstern (Göttingen) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Ing. Andrei Voinikonis	Adaptiver Vermittlungsdienst für das Management der Erinnerungsaufgaben in einem mobilen Gedächtnishilfesystem	Klaus Irmscher	Stefan Fischer (Lübeck) Volker Gruhn (Leipzig) Klaus Irmscher (Leipzig)	Dr.-Ing.	Informatik
Dipl.-Wirtschaftsinf. Thorsten Weber	Software-Referenzarchitekturen für Geschäftsmodelle des e-Business unter besonderer Beachtung ihrer Erlösmodelle	Volker Gruhn	Stefan Eiker (Duisburg-Essen) Volker Gruhn (Leipzig) Helmut Krcmar (München)	Dr. rer. nat.	Informatik

2005

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Dipl.-Math./Dipl.-Phys. Peter Albers	On functoriality in Floer homology	Matthias Schwarz	Helmut Hofer (New York) Dietmar Salamon (Zürich) Matthias Schwarz (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Shahram Biglari	Motives of Reductive Groups (, )	Annette Huber-Klawitter	Annette Huber-Klawitter (Leipzig) Uwe Jannsen (Regensburg) Bruno Kahn (Paris)	Dr. rer. nat.	Mathematik
Dipl.-Inf. Mariele Hagen	Definition einer Sprache zur Beschreibung von Prozessmustern zur Unterstützung agiler Softwareentwicklungsprozesse (	Volker Gruhn	Gregor Engels (Paderborn) Bogdan Franczyk (Leipzig) Volker Gruhn (Leipzig)	Dr. rer. nat.	Informatik
Mag. rer. nat. Sonja Prohaska	Evolution of Conserved Non-Coding Sequences (, )	Peter F. Stadler	Rolf Backofen (Freiburg) Peter F. Stadler (Leipzig) Andrew Torda (Hamburg)	Dr. rer. nat.	Informatik
Dipl.-Math. Uwe Raabe	Einige Untersuchungen zur Struktur von J-Potapov-Folgen (	Bernd Kirstein	Adhemar Bultheel (Leuven) Vladimir K. Dubovoj (Kharkiv) Bernd Kirstein (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Petr Trojek	The mathematical problems connected with the modeling of the sphalerite disease	Stephan Luckhaus	Harald Garcke (Regensburg) Stephan Luckhaus (Leipzig) Josef Márek (Prag)	Dr. rer. nat.	Mathematik

2004

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Dipl.-Phys. André Grüning	Neural Networks and the Complexity of Languages	Jürgen Jost	Jürgen Jost (Leipzig) Raúl Rojas (Berlin) Peter F. Stadler (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Math. Ulrich Krähmer	On Quantum Double Groups and Quantum Flag Manifolds - Two Mathematical Structures with Possible Applications in q-Deformed Field Theories	Konrad Schmüdgen	Timothey J. Hodges (Cincinnati) Gerd Rudolph (Leipzig) Konrad Schmüdgen (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Matthias Kurzke	Analysis of boundary vortices in thin magnetic films	Stefan Müller	Robert V. Kohn (New York) Stefan Müller (Leipzig) Felix Otto (Bonn)	Dr. rer. nat.	Mathematik
Dipl.-Math. Ursula Beate Ludwig	Morsetheorie auf stratifizierten Räumen	Jürgen Jost	Jürgen Jost (Leipzig) Matthias Schwarz (Leipzig) K. F. Siburg (Bochum)	Dr. rer. nat.	Mathematik
Dipl.-Inf. Sergej Melnik	Generic Model Management: Concepts and Algorithms	Erhard Rahm	Philip A. Bernstein (Microsoft Corp.) Erhard Rahm (Leipzig) Gio Wiederhold (Stanford)	Dr. rer. nat.	Informatik
Dipl.-Inf. Jean-Alexander Müller	Hierarchisches Management differenzierter Transportdienste in autonomen Systemen	Klaus Irmscher	Klaus Irmscher (Leipzig) Martin Middendorf (Leipzig) Alexander Schill (Dresden)	Dr.-Ing.	Informatik
Dipl.-Math. Olaf Müller	Natural Geometric Quantization of First-Order Field Theories	Jürgen Jost	Sergio Albeverio (Bonn) Jürgen Jost (Leipzig) Rainer Verch (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Marc Nardmann	Pseudo-Riemannian metrics with prescribed scalar curvature	Hans B. Rademacher	Felix Finster Zirker (Regensburg) Stephan Luckhaus (Leipzig) Hans B. Rademacher (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Inf. Daniel Pullwitt	Explorative Analyse von Textkorpora mit Clusterverfahren	Jürgen Jost	Ralf Der (Leipzig) Jürgen Krause (Koblenz) Martin Middendorf (Leipzig	Dr. rer. nat.	Informatik
Dipl.-Math. Eva Richter	Nonmonotonic Fuzzy Inference	Gerhard Brewka	Gerhard Brewka (Leipzig) Gabriele Kern-Isberner (Hagen) Luis Godo (Barcelona)	Dr. rer. nat.	Informatik
M.S. Sikiru Sanni	A coupled system of the Reynolds', κ - ε and scalar concentration equations	Stephan Luckhaus	Stephan Luckhaus (Leipzig) Stefan Müller (Leipzig) Martin Rumpf (Duisburg)	Dr. rer. nat.	Mathematik
Dipl.-Math. Sibylle Schwarz	Selektor-erzeugte Modelle verallgemeinerter logischer Programme	Heinrich Herre	Thomas Eiter (Wien) Siegfried Gottwald (Leipzig) Heinrich Herre (Leipzig)	Dr. rer. nat.	Informatik
M. Math. László Székelyhidi	Elliptic Regularity versus Rank-One Convexity	Stefan Müller	Bernd Kirchheim (Oxford) Stefan Müller (Leipzig) David Preiss (London)	Dr. rer. nat.	Mathematik
Dipl.-Ing. Dejan V. Vranic	3D Model Retrieval	Dietmar Saupe	Frithjof Kruggel (Leipzig) Dietmar Saupe (Konstanz) Gerik Scheuermann (Kaiserslautern)	Dr.-Ing.	Informatik

2003

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Dipl.-Inf. Sami Beydeda	The Self-Testing COTS Components (STECC) Method	Volker Gruhn	Fevzi Belli (Paderborn) Volker Gruhn (Leipzig) Wilhelm Spruth (Leipzig	Dr. rer. nat.	Informatik
M. Sc. Lin Chen	Methods and algorithms for the structural description and identificationof the human cortical folding and its variability	Jürgen Jost	Jürgen Jost (Leipzig) Gabriele Lohmann (Leipzig) Martin Rumpf (Duisburg)	Dr. rer. nat.	Mathematik
Dipl.-Phys. Michael Holicki	Pulsgekoppelte Oszillatorsysteme mit Zeitverzögerung	Ralf Der	Ralf Der (Leipzig) Theo Geisel (Göttingen) Klaus Pawelzik (Bremen)	Dr. rer. nat.	Mathematik
Dipl.-Math. Frank Klinker	Supersymmetric Killing Structures	Hans B. Rademacher	Hans B. Rademacher (Leipzig) Lorenz Schwachhöfer (Brüssel) Vicente Cortéz Suárez (Nancy)	Dr. rer. nat.	Mathematik
Dipl.-Math. Alexander Lange	Causal perturbative Quantum Field Theory in the Epstein Glaser approach: Graphs and Hopf algebras (, )	Eberhard Zeidler	Dirk Kreimer (Boston) Manfred Wollenberg (Leipzig) Eberhard Zeidler (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Mario Listing	Rigidity of Hyperbolic Spaces (, )	Hans B. Rademacher	Hans B. Rademacher (Leipzig) Maung Min-Oo (Hamilton, Canada) Fangynag F. Zheng (Columbus, USA)	Dr. rer. nat.	Mathematik
Dipl.-Math. Maike Löhndorf	Effiziente Behandlung von Integraloperatoren mit H2-Matrizen variabler Ordnung	Wolfgang Hackbusch	Wolfgang Hackbusch (Leipzig) Sergej Rjasanow (Saarbrücken) Reinhold Schneider (Chemnitz)	Dr. rer. nat.	Mathematik
Dipl.-Ing. Vladimir Stankovic	Efficient Transmission of Multimedia Data Over Noisy Channels	Dietmar Saupe	Dietmar Saupe (Konstanz) Frithjof Kruggel (Leipzig) Thomas R. Fischer (Pullman, USA)	Dr.-Ing.	Informatik
Dipl.-Math. Gert Wollny	Analysis of changes in time series of medical images	Frithjof Kruggel	Frithjof Kruggel (Leipzig) Martin Rumpf (Duisburg) Dietmar Saupe (Konstanz)	Dr. rer. nat.	Informatik
Dipl.-Math. Carsten Wolters	Influence of Tissue Conductivity Inhomogeneity and Anisotropy to EEG/MEG based Source Localization in the Human Brain	Eberhard Zeidler	Gundolf Haase (Linz) Peter Maaß (Bremen) Eberhard Zeidler (Leipzig)	Dr. rer. nat.	Mathematik

2002

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Dipl.-Math. Stefan Boller	Spectral Theory of Modular Operators for von Neumann Algebras and Related Inverse Problems	manfred Wollenberg	Peter M. Alberti (Leipzig) Hellmut Baumgärtel (Potsdam) Manfred Wollenberg (Leipzig)	Dr. rer. nat.	Mathematik
Mag. math.-phys. Abdon E. Choque Rivero	Ein finites Matrixmomentenproblem auf einem endlichen Intervall	Bernd Kirstein	Bernd Kirstein (Leipzig) Yuri Djukarev (Kharkiv, Ukraine) Heinz Langer (Wien)	Dr. rer. nat.	Mathematik
Dipl.-Math. Nicolas Dirr	Sharp interface limit for nonlocal phase field equations	Stephan Luckhaus	Stephan Luckhaus (Leipzig) Matthias Günther (Leipzig) Enza Orlandi (Rom)	Dr. rer. nat.	Mathematik
Dipl.-Phys. Ionas Erb	Wechselseitige Information im Thermodynamischen Limes	Jürgen Jost	Sergio Albeverio (Bonn) Jürgen Jost (Leipzig) Andreas Knauf (Erlangen)	Dr. rer. nat.	Mathematik
Dipl.-Math. Stefan Kolb	Differential Calculus on Qunatum Complex Grassmann Manifolds	Konrad Schmüdgen	Harald Große (Wien) Konrad Schmüdgen (Leipzig) Leonid Vaksmann (Kharkiv, Ukraine)	Dr. rer. nat.	Mathematik
M. sc. Pan Liu	A Moser-Trudinger type inequality and blow-up analysis on Riemann surfaces	Jürgen Jost	Jürgen Jost (Leipzig) Jiayu Li (Beijing) Hans B. Rademacher (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Wirtschaftsmath. Jürgen Lorenz	Einige Beiträge zur Vervollständigung nichtnegativer und kontraktiver Blockoperatoren	Bernd Fritzsche	Bernd Fritzsche (Leipzig) Viktor E. Katsnelson (Rehovot. Israel) Vladimir K. Dubovoj (Kharkiv, Ukraine)	Dr. rer. nat.	Mathematik
Dipl.-Phys. Klaus Luig	Beiträge zur Wightmantheorie auf Testfunktionenräumen vom Gelfand-Typ S	Klaus-Detlef Kürsten	Erwin Brüning (Bonn) Gerald Hofmann (Leipzig) Klaus-Detlef Kürsten (Leipzig) Jakob Yngvason (Wien)	Dr. rer. nat.	Mathematik
Dipl.-Math. Christof Melcher	Néel walls and regularity in thin film micromagnetics	Stefan Müller	Rober V. Kohn (New York) Stefan Müller (Leipzig) Felix Otto (Bonn)	Dr. rer. nat.	Mathematik
Dipl.-Inf. Robert Müller	Event-Oriented Dynamic Adaptation of Workflows	Erhard Rahm	Gerhard Brewka (Leipzig) Erhard Rahm (Leipzig) Peter Dadam (Ulm)	Dr.-Ing.	Informatik
Dipl.-Math. Gregor Peltri	Beiträge und Beispiele zur Bures-Geometrie	Peter M. Alberti	Peter M. Alberti (Leipzig) Heide Narnhofer (Wien) Konrad Schmüdgen (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Marc Oliver Rieger	Nonconvex Variational Problems	Stefan Müller	Herbert Gajewski (Berlin) Stephan Luckhaus (Leipzig) Stefan Müller (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Phys. Anja Schlömerkemper	Magnetic forces in discrete and continuous systems (, )	Stefan Müller	Andrea Braides (Rom) Richard D. James (Minneapolis, USA) Stefan Müller (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Markus Scholz	Über das Verhalten von Kapillarflächen in Spitzen	Erich Miersemann	Robert Finn (Stanford) Bernhard Kawohl (Köln) Erich Miersemann (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Elmar Wagner	Hilbert Space Representations of some Quantum Algebras	Klaus-Detlef Kürsten	Klaus-Detlef Kürsten (Leipzig) Werner Timmermann (Dresden) Anatolii M. Samoilenko (Kiev)	Dr. rer. nat.	Mathematik

2001

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Dipl.-Math. Nihat Ay	Aspekte einer Theorie pragmatischer Informationsstrukturierung	Jürgen Jost	Sergio Albeverio (Bonn) Ralf Der (Leipzig) Jürgen Jost (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Ralf Guckel	Einige freie Randwertaufgaben aus der Elektrostatik und Hydrodynamik	Matthias Günther	Josef Bemelmans (Aachen) Joachim Escher (Hannover) Matthias Günther (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Inf. Ngoc Duc Ho	Resource-Bounded Reasoning about Knowledge	Heinrich Herre	Heinrich Herre (Leipzig) Gerd Wagner (Berlin) Patrice Enjalbert (Caen, Frankreich)	Dr. rer. nat.	Informatik

2000

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Dipl.-Math. Gabriele Dietrich	Invarianten algebraischer Singularitäten, ihre Bedeutung für die Deformationstheorie und ihre Berechnung	Bernd Herzog	Winfried Bruns (Osnabrück) Jörgen Backelin (Stockholm) Hans-Gert Gräbe (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Ulrich Hermisson	Differentialrechnung auf Quantenräumen	Konrad Schmüdgen	Konrad Schmüdgen (Leipzig) Hans-Jürgen Schneider (München) Heinz-Dietrich Doebner (Clausthal)	Dr. rer. nat.	Mathematik
Dipl.-Math. Andreas Lasarow	Aufbau einer Szegö-Theorie für rationale Matrixfunktionen	Bernd Kirstein	Adhemar Bultheel (Leuven) Bernd Kirstein (Leipzig) Olav Njastad (Trondheim)	Dr. rer. nat.	Mathematik
Dipl.-Math. Harald Wenk	Absolute Eindeutigkeit von Minimalflächen bei eineindeutig auf eine Ebene projezierbarer Berandung	Jürgen Jost	Jürgen Jost (Leipzig) Friedrich Sauvigny (Cottbus) Friedbert Prüfer (Leipzig)	Dr. rer. nat.	Mathematik

1999

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Dipl.-Phys. Ulrich Hartmann	Ein mechanisches Finite-Elemente-Modell des menschlichen Kopfes	Frithjof Kruggel	Gerhard Brewka (Leipzig) Dietmar Saupe (Leipzig) Siegfried Stiehl (Hamburg)	Dr. rer. nat.	Informatik
Dipl.-Math. Frank Heyde	Untersuchungen zur Gültigkeit eines dem Pontrjagischen Maximumprinzip entsprechenden Sattelpunktprinzips für Zweipersonen-Nullsummen-Differentialspiele	Rolf Klötzler	Alfred Göpfert (Halle/Wittenberg) Rolf Klötzler (Leipzig) Hans_Josef Pesch (Clausthal)	Dr. rer. nat.	Mathematik
Dipl.-Math. Martin Läuter	Realisierung von Kernoperatoren und Vertexoperatoren in Systemen stetiger linearer Operatoren mit partieller Multiplikation	Klaus-Detlef Kürsten	Florin Constantinescu (Frankfurt/Main) Klaus-Detlef Kürsten (Leipzig) Konrad Schmüdgen (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Diana Michler	Einige Vervollständigungsprobleme für Jp,q-innere Funktionen	Bernd Kirstein	A. Dijksma (Groningen) Viktor E. Katsnelson (Rehovot, Israel) Bernd Kirstein (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Mirko Mosch	Einige Vervollständigungsprobleme für jqq-Jq-innere Funktionen	Bernd Kirstein	Adhemar Bultheel (Leuven, Belgien) Viktor E. Katsnelson (Rehovot, Israel) Bernd Kirstein (Leipzig)	Dr. rer. nat.	Mathematik

1998

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Dipl.-Math. István Heckenberger	Bikovariante Differentialkalküle und Levi-Cevita-Zusammenhänge auf Quantengruppen	Konrad Schmüdgen	Konrad Schmüdgen (Leipzig) Tammo tom Dieck (Göttingen) Hans-Dieter Doebner (Clausthal)	Dr. rer. nat.	Mathematik
Dipl.-Inf. Stefan Weber	Investigations in Belnap´s Logic of Inconsistent and Unknown Information	Gerhard Brewka Heinrich Herre	Siegfried Gottwald (Leipzig) Heinrich Herre (Leipzig) John-Jule Meyer (Utrecht)	Dr. rer. nat.	Informatik
Dipl.-Math. Martin Welk	Kovariante Differentialrechnung auf Quantensphären ungerader Dimension. Ein Beitrag zur nichtkommutativen Geometrie homogener Quantenräume	Konrad Schmüdgen	Folkert Müller-Hoissen (Göttingen) Gert Rudolph (Leipzig) Konrad Schmüdgen (Leipzig)	Dr. rer. nat.	Mathematik

1997

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Dipl.-Math. Jens Dietrich	Inferenzframes - Untersuchungen zur Logik des nichtmonotonen Schließens	Heinrich Herre	Siegfried Gottwald (Leipzig) Heinrich Herre (Leipzig) David Pearce (Saarbrücken)	Dr. rer. nat.	Informatik
Dipl.-Math. Wilfried Neitz	Untersuchungen zum selektiven Backtracking in zielorientierten Kalkülen des automatischen Theorembeweisens	Heinrich Herre	Ulrich Furbach (Koblenz) Ulrich Geske (Berlin) Heinrich Herre (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Math. Alemayehu Worku Yalew	Investigations of allocation rules in multi-armed bandit problems	Hans-Joachim Girlich	Hans-Joachim Girlich (Leipzig) Peter Köchel (Chemnitz) Heinz-Uwe Küenle (Cottbus)	Dr. rer. nat.	Mathematik

1996

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Dipl.-Math. Virginia Berrón-Lara	Ein mathematisches Modell zur Bosekondensation in zwei Dimensionen mit unendlich kleinem Potential	Peter Richter	Sergio Albeverio (Bonn) Konrad Schmüdgen (Leipzig) Manfred Wollenberg (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Karsten Müller	Arov-Dewilde-Dym-Parametrisierung jpp-innerer Funktionen	Bernd Kirstein	Adhemar Bultheel (Leuven) Viktor E. Katsnerlson (Rehovot, Israel) Bernd Kirstein (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Michael Ohme	Modellierung der neuronalen Signalverarbeitung mittels kontinuierlicher Kabelmodelle	Andreas Schierwagen	Frithjof Kruggel (Leipzig) Günther Palm (Ulm) Jaap van Pelt (Amsterdam) Andreas Schierwagen (Leipzig)	Dr. rer. nat.	Informatik
Dipl.-Math. Christian Pfannschmidt	Positiv definite Verteilungsdichten unter besonderer Berücksichtigung der Unschärferelation	Hans-Joachim Roßberg	Bernd Kirstein (Leipzig) Zoltán Sasvári (Dresden) Hans-Joachim Roßberg (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Hans-Herrmann Thulke	Spezielle Probleme aus der Theorie positiv definiter Dichten	Hans-Joachim Roßberg	Bernd Kirstein (Leipzig) Hans-Joachim Roßberg (Leipzig) Zoltán Sasvári (Dresden)	Dr. rer. nat.	Mathematik
Dipl.-Math. Thomas Villmann	Topologieerhaltung in selbstorganisierenden neuronalen Merkmalskarten	Ralf Der	Ralf Der (Leipzig) Hans-Joachim Girlich (Leipzig) Helge Ritter (Bielefeld)	Dr. rer. nat.	Informatik
Dipl.-Math. Marcus Wagner	Erweiterungen des mehrdimensionalen Pontrjaginschen Maximumprinzips auf messbare und beschränkte sowie distributionelle Steuerungen	Rolf Klötzler	Joachim Gwinner (München) Bernd Kirstein (Leipzig) Rolf Klötzler (Leipzig) G. S. Rubinstein (Novosibirsk)	Dr. rer. nat.	Mathematik

1995

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Diplomlehrer André Loh	August Ferdinand Möbius (1790-1868) - Leben und Werk	Walter Purkert Hans Wußing	Erhard Scholz (Wuppertal) Hans Wußing (Leipzig) Eberhard Zeidler (Leipzig)	Dr. rer. nat.	Geschichte der Mathematik
Dipl.-Math. Thilo Pruschke	Aspects of Algebraic Intersection Theory	Jürgen Stückrad	Eduard Boda (Bratislava, Slowakai) Liam O'Caroll (Edinburgh, Großbritannien) Jürgen Stückrad (Leipzig)	Dr. rer. nat.	Mathematik

1994

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Diplomlehrer Dirk Beyer	Diffusionsapproximation in mehrstufigen Lagerhaltungsmodellen	Hans-Joachim Girlich	Hans-Joachim Girlich (Leipzig) Wilfried Grecksch (Halle/Wittenberg) Heinz-Uwe Küenle (Cottbus)	Dr. rer. nat.	Mathematik
Dipl.-Math. Sven Feldmann-Mijderwijk	Eindeutigkeitseigenschaften minimaler partieller Realisierungen und die kanonische Darstellung von Block-Hankel-Matrizen	Georg Heinig Bernd Kirstein	Albrecht Böttcher (Chemnitz) Diederich Hinrichsen (Bremen) Bernd Kirstein (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Wolf-Dieter Heinrichs	Einige Beiträge zur Theorie unbeschränkter Operator*-Algebren	Klaus-Detlef Kürsten	Klaus D. Bierstädt (Paderborn) H. Junek (Potsdam) Klaus-Detlef Kürsten (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Frank Hellinger	Zur Struktur von verallgemeinerten Inversen strukturierter Matrizen und Operatoren	Georg Heinig	Adhemar Bultheel (Leuven, Belgien) Bernd Fritzsche (Leipzig) Bernd Silbermann (Chemnitz)	Dr. rer. nat.	Mathematik
Diplomlehrer Sergio Roberto Nobre	Über die Mathematik in Zedlers "Universal-Lexicon" (1732-1754): Ein historisch-kritischer Vergleich mit der Mathematik bei Christian Wolff	Hans Wußing	Hans Wußing (Leipzig) Tore Frängsmyr (Uppsala, Schweden) Günther Eisenreich (Leipzig)	Dr. paed.	Geschichte der Mathematik
Dipl.-Math. Axel Schüler	Klassifikation von bikovarianten Differentialkalkülen auf Quantengruppen	Konrad Schmüdgen	Branislav Jurco (Genf) Konrad Schmüdgen (Leipzig) Jürgen Stückrad (Leipzig)	Dr. rer. nat.	Mathematik

1993

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Dipl.-Math. András Dörr	Lokale Einbettungen von Basismengen	Hans-Günter Bothe Eberhard Zeidler	Hans-Günter Bothe (Berlin) Friedbert Prüfer (Leipzig) Eberhard Zeidler (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Stefan Fuchs	Über Zusammenhänge zwischen verschiedenen Resolventenmatrizen des nichtdegenerierten Schurproblems und zur Darlington-Synthese von Schurfunktionen	Bernd Fritzsche Bernd Kirstein	Aad Dijksma (Groningen) Viktor E. Katsnelson (Rehovot) Bernd Kirstein (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Phys. Klaus Hendel	Qualitative und quantitative Untersuchungen der Dynamik von Mehrkörpersystemen mittels Störungsgleichungen und ersten Integralen	Peter Maißer	Wolfgang Laßner (Leipzig) Peter Maißer (Leipzig) P. C. Müller (Wuppertal)	Dr. rer. nat.	Informatik
Dipl.-Math. Michael Herrmann	Untersuchungen zu Hopfield-ähnlichen neuronalen Netzwerken	Harald Englisch	Joachim Buhmann (Bonn) Harald Englisch (Leipzig) Wolfgang Kinzel (Würzburg) Günther Palm (Düsseldorf)	Dr. rer. nat.	Informatik
Dipl.-Math. Frank Leitenberger	Unitäre Darstellungen und koadjungierte Orbits für eine Gruppe lokaler, reellanalytischer Diffeomorphismen	Konrad Schmüdgen	Günter Czichowski (Greifswald) Yuri Samoilenko (Kiew) Konrad Schmüdgen (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Helmut Lutz	Ein Scheduling Problem: Strukturuntersuchungen und ein Branch- and Bound-Algorithmus mit verbesserten unteren Schranken	Günter Deweß	Rolf Klötzler (Leipzig) Günter Nägler (Leipzig) Horst Sachs (Ilmenau) Frank Werner (Magdeburg)	Dr. rer. nat.	Mathematik
Dipl.-Math. John Matzke	Mehrdimensionale Momentenprobleme und Positivitätskegel	Konrad Schmüdgen	Jens P. Christensen (Kopenhagen) Konrad Schmüdgen (Leipzig) Zoltán Sasvári (Dresden)	Dr. rer. nat.	Mathematik
Dipl.-Math. Armin Mund	Über Gleichgewichtsfiguren von Flüssigkeiten in Kugelnähe	Klaus Beyer	Josef Bemelmans (Aachen) Klaus Beyer (Leipzig) Erich Miersemann (Leipzig)	Dr. rer. nat.	Mathematik

1992

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Dipl.-Math. Karin Frank	Fortsetzbarkeitsprobleme in der Theorie der dynamischen Halbgruppen	Peter M. Alberti	Peter M. Alberti (Leipzig) Manfred Wolff (Tübingen) Helmut Langer (Wien)	Dr. rer. nat.	Mathematik
Dipl.-Math. Volker Heinemann	Geometrie und Transformation von Paaren positiver Linearformen über C*-Algebren	Peter M. Alberti	Peter M. Alberti (Leipzig) Heide Narnhofer (Wien) Armin Uhlmann (Leipzig	Dr. rer. nat.	Mathematik
Dipl.-Math. Elke Knobloch	Zur Optimierung ressourcenbeschränkter Ablaufpläne mittels Spaltengenerierung	Günter Deweß	Günter Deweß (Leipzig) Norbert Sieber (Leipzig) Johannes Terno (Dresden)	Dr. rer. nat.	Mathematik
Dipl.-Lehrerin Wenke Krause	Zur Optimierung ressourcenbeschränkter Ablaufpläne mittels Schnittalgorithmen	Günter Deweß	Günter Deweß (Leipzig) Günter Nägler (Leipzig) Eberhard Girlich (Magdeburg)	Dr. rer. nat.	Mathematik
Dipl.-Lehrerin Kerstin Marschner-Franzke	Graphische Veranschaulichungen im Prozess der Aneignung mathematischen Wissens und Könnens	Hans Bock	Hans Bock (Leipzig) Manfred Gimpel (Halle/Köthen) Werner Walsch (Halle/Wittenberg)	Dr. paed.	Didaktik der Mathematik
Dipl.-Math. Andreas Schötzig	Abschätzungen der Metrik und ihrer Ableitungen für eine Riemannsche Mannigfaltigkeit. Mit einer Anwendung auf die Wellengleichung	Paul Günther	Paul Günther (Leipzig) Rainer Schimming (Greifswald) Jürgen Stückrad (Leipzig)	Dr. rer. nat.	Mathematik

1991

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Dipl.-Math. Wolfram Apitzsch	Schuranalytische Behandlung von Abstandsproblemen im Hilbertraum	Bernd Fritzsche Hans-Joachim Girlich	Hans-Joachim Girlich (Leipzig) Heinz Langer (Regensburg) Bernd Silbermann (Chemnitz)	Dr. rer. nat.	Mathematik
Dipl.-Math. Siegmar Pohlenz	Zur Struktur optimaler Strategien bei speziellen Markovschen Entscheidungsprozessen	Hans-Joachim Girlich	Hans-Joachim Girlich (Leipzig) Wilfried Grecksch (Halle/Wittenberg) Ulrich Rieder (Ulm)	Dr. rer. nat.	Mathematik
Dipl.-Lehrerin Martina Schmutzler	Die Entwicklung des Mathematikunterrichtes an den höheren Knabenschulen Sachsens während des 19. Jahrhunderts unter besonderer Berücksichtigung der Herausbildung der genetischen Methode
Dipl.-Lehrer Andreas Trunschke	Franz Neumann (1798-1895) und die Königsberger Schule der theoretischen Physik

1990

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Dipl.-Math. Ralf Becker	Automorphismen, Derivationen und KMS-Zustände auf unbeschränkten Operatorenalgebren
Dipl.-Math. Matthias Jäger	Mathematische Modellierung vermittlungstechnischer Prozesse und Realisierungsfragen
Dipl.-Math. Heribert Kraut	Optimale Korridore in Steuerungsproblemen	Rolf Klötzler	Hans-Joachim Girlich (Leipzig) Rolf Klötzler (Leipzig) Johannes Vogel (Ilmenau)	Dr. rer. nat.	Mathematik
Dipl.-Math. Abdul Mohssin	Freies Randwertproblem der Hydrodynamik
Dipl.-Math. Michael Roth	Ressourcenbeschränkte Ablaufplanung bei Kreisen im System der Reihenfolgebeziehungen	Günter Deweß		Dr. rer. nat.	Mathematik
Dipl.-Math. Klaus Schenk	Das Invarianzproblem bei quantenchemischen Untersuchungen auf der Basis kartesischer Koordinaten	Eberhard Zeidler		Dr. rer. nat.	Mathematik

1989

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Dipl.-Math. Joachim Apel	Gröbnerbasen in nichtkommutativen Algebren und ihre Anwendung	Wolfgang Laßner	Boseck (Greifswald) Wolfgang Laßner (Leipzig) Jürgen Stückrad (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Volker Barche	Spezielle Steuerprobleme für eine Klasse von Diffusionsprozessen	Hans-Joachim Girlich	Hans-Joachim Girlich (Leipzig) Wolfgang Grecksch (Merseburg) Köchel (Karl-Marx-Stadt)	Dr. rer. nat.	Mathematik
Dipl.-Math. Ferdinand Börner	Operationen auf Relationen	Karl-Heinz Bachmann	Klaus Denecke (Potsdam) Günther Eisenreich (Leipzig) Pöschel (Berlin)	Dr. rer. nat.	Mathematik
Dipl.-Math. Bodo Gehrmann	Zur Spezifikationstheorie Funktionaler Programmiersysteme	Siegmar Gerber	Siegmar Gerber (Leipzig) Jürgen Stückrad (Leipzig) W. Wechsler (Dresden)	Dr. rer. nat.	Mathematik
Dipl.-Math. Klaus Hering	Prozeßsysteme fester und variabler Struktur
Dipl.-Lehrerin Christine Hudecek	Zur Lösung von Grundfragen hochschulmethodischer Arbeit im Lehrgebiet Mathematik für Ökonomen in der Grundstudienrichtung Wirtschaftswissenschaften - unter besonderer Berücksichtigunbg der Linearen Optimierung	Walther Jahn	Günther Deweß (Leipzig) Walther Jahn (Leipzig) K. Manteuffel (Magdeburg)
Dipl.-Math. Andreas Kasparek	Über Kommutanten von symmetrischen Operatoren und O*-Algebren und Erweiterungen von *-Darstellungen
Dipl.-Math. Uwe Klaus	Eine virtuelle Maschine für ein Computeralgebra-System
Dipl.-Math. Bernd Kolkwitz	Zur Steuerung von Produktionslagerhaltungsmodellen	Hans-Joachim Girlich	Hans-Joachim Girlich (Leipzig) Wolfgang Grecksch (Merseburg) Köchel (Karl-Marx-Stadt)	Dr. rer. nat.	Mathematik
Dipl.-Math. Hans-Georg Rex	E-Vefahren und parameterabhängige nichtlineare Gleichungssysteme
Dipl.-Math. Friedemann Schuricht	Eigenwertprobleme für Variationsungleichungen	Eberhard Zeidler		Dr. rer. nat.	Mathematik
Dipl.-Math. Bernd Winter	Zu Fragen von Hausaufgaben im Mathematikunterricht - untersucht am Beispiel der Klassenstufe 9	Hans Bock	Hans Bock (Leipzig) Faust () A. Pietsch (Berlin)	Dr. rer. nat.	Didaktik der Mathematik

1988

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Dipl.-Math. Jochen Dittmann	Geometrische Konstruktion klassischer kanonischer Realisierungen von Lie-Algebren auf koadjungierten Orbits	Gerd Laßner	Jürgen Eichhorn (Greifswald) Miloslav Havlícek (Prag) Gerd Laßner (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Michael Frank	Beiträge zur Entwicklung und systematischen Darstellung der Theorie der Hilbvert-C*-Moduln	Gerd Laßner	Thomas Friedrich (Berlin) Gerd Laßner (Leipzig) A. S.Miscenko (Moskau)	Dr. rer. nat.	Mathematik
Dipl.-Math. Heidi Kühn	Die Mathematik im deutschen Hochschulwesen des 18. Jahrhunderts (unter besonderer Berücksichtigung der Leipziger Universität)	Walther Purkert	Günther Eisenreich (Leipzig) Konrad Grau (Berlin) Walther Purkert (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Frank Löffler	Calkindarstellungen, singuläre Funktionale und Struktur des Zustandsraumes maximaler Op*-algebren auf Fréchetbereichen	Gerd Laßner	Horst Juneck (Potsdam) Gerd Laßner (Leipzig) Werner Timmermann (Dresden)	Dr. rer. nat.	Mathematik
Dipl.-Math. Nguyen Nhuy	Kommutanten von *-Darstellungen der Polynomalgebra in zwei Veränderlichen	Konrad Schmüdgen	Bernd Silbermann (Karl-Marx-Stadt) Konrad Schmüdgen (Leipzig) Eberhard Zeidler (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Rolf Scharm	Grundzüge der Theorie von Phragmén-Lindelöf mit Anwendungen in der Fortsetzungstheorie für Verteilungsfunktionen	Hans-Joachim Roßberg	Hans-Joachim Roßberg (Leipzig) P. Schatte (Freiberg) Tutschke (Halle/Wittenberg)	Dr. rer. nat.	Mathematik
Dipl.-Math. Thephavongsa Onh	Über einen konstruktiven Existenzbeweis für permanente Kapillar-Schwerewellen von zwei übereinander strömenden Flüssigkeiten in einem Kanal endlicher Tiefe	Eberhard Zeidler	Dietrich Göhde (Zwickau) Konrad Schmüdgen (Leipzig) Eberhard Zeidler (Leipzig)	Dr. rer. nat.	Mathematik

1987

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Dipl.-Math. Jörg Bethmann	Charakterisierung von Potenzmischungen und Grenzwertsätze für zufällige Summen unabhängiger, identisch verteilter Zufallsgrößen	Hans-Joachim Roßberg	Roland Riedel (Halle/Wittenberg) Hans-Joachim Roßberg (Leipzig) Wolf (Dresden)	Dr. rer. nat.	Mathematik
Dipl.-WiMath. Harald Friedrich	Statistische Modellierung von Melkprozessen	Hans-Joachim Girlich	Hans-Joachim Girlich (Leipzig) G. Schwarze (Berlin) Zipper (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Lehrerin Susann Hensel	Die Auseinandersetzungen um die mathematische Ausbildung der Ingenieure an den Technischen Hochschulen Deutschlands Ende des 19. Jahrhunderts	Walter Purkert	Gisela Buchheim (Dresden) Hans-Joachim Girlich (Leipzig) Walter Purkert (Leipzig)	Dr. rer. nat.	Geschichte der Mathematik
Dipl.-Math. Jochen Kästner	Einige Ergebnisse zur Theorie der monomialen Raumkurven	Günther Eisenreich	Henrik Bresinsky (Main, USA) Günther Eisenreich (Leipzig) Vogel (Halle/Wittenberg)	Dr. rer. nat.	Mathematik
Dipl.-Math. Tobias Martin	Ein Gitterpunktproblem in der hyperbolischen Ebene für Fuchssche Gruppen erster Art	Paul Günther	Günther Eisenreich (Leipzig) Paul Günther (Leipzig) Rainer Schimming (Greifswald)	Dr. rer. nat.	Mathematik
Dipl.-Lehrerin Christine Riehl	Mathematikmethodische Aspekte einer auf die Aneignung des Mathematikstoffes gerichteten Arbeit an der mündlichen Sprachtätigkeit der Schüler	Hans Bock	Hans Bock (Leipzig) Gimpel (Halle) Walsch (Halle/Wittenberg)	Dr. paed.	Didaktik der Mathematik
Dipl.-Lehrer Christian Werge	Anwendungsaufgaben im Mathematikunterricht unter dem Aspekt vereinfachter Annahmen bei der mathematischen Beschreibung der Sachverhalte	Hans Bock	Hans Bock (Leipzig) Riehl (Leipzig) Pietsch (Berlin)	Dr. paed.	Didaktik der Mathematik

1986

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Dipl.-Math. Frank Benkert	Über den globalen Lösungszusammenhang einiger Scharen von Variationsproblemen	Herbert Beckert	Herbert Beckert (Leipzig) Dietrich Göhde (Zwickau) Eberhard Zeidler (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Dieter Bischoff	Zur eingeschränkten Konvergenz von Verteilungsfunktionen für Summen unabhängiger Zufallsgrößen	Hans-Joachim Roßberg	Uwe Küchler (Berlin) Hans-Joachim Roßberg (Leipzig) Wolf (Dresden)	Dr. rer. nat.	Mathematik
Dipl.-Math. Friedemann Brock	Existenz- und Eindeutigkeitssätze für einige axialsymmetrische und zweidimensionale Totwasserprobleme der Hydrodynamik	Herbert Beckert	Herbert Beckert (Leipzig) Klaus Beyer (Rostock) Dietrich Göhde (Zwickau)	Dr. rer. nat.	Mathematik
Dipl.-Math. Manfred Endrullis	Beiträge zur Untersuchung von Modellen der mathematischen Physik zur Beschreibung ungeordneter Systeme	Harald Englisch	Harald Englisch (Leipzig) John (Dresden) Wolfgang Weller (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Winfried Mylius	Eine Fachsprache für digitale Simulationssysteme zur Lösung partieller Differentialgleichungen aus der Stoffwirtschaft, ihre Implementierung in DISIP	Karl-Heinz Bachmann	H. Adler (Dresden) Karl-Heinz Bachmann (Leipzig) Wilfried Krug (Köthen)	Dr. rer. nat.	Mathematik

1985

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Dipl.-Math. Bernd Rummler	Partiell-translatiosnhomogene statistische Lösungen der Navier-Stokes-Gleichung im Rohr und Berechnung der ebenen Couette-Strömung	Herbert Beckert	Herbert Beckert (Leipzig) Klaus Beyer (Rostock) Wolfgang Schultz-Piszachich (Köthen)	Dr. rer. nat.	Mathematik
Dipl.-Math. Winnie Peter	Zur methodischen Gesamtanlage des Lehrgebietes Mathematik in der Grundstudienrichtung Chemie - ein Beitrag zur theoretischen Klärung und praktischen Lösung hochschulmethodischer Grundfragen	Klose-Berger	Klose-Berger (Leipzig) Meisel (Leipzig) Manteuffel (Magdeburg) Rainer Schimming (Greifswald)	Dr. paed.	Didaktik der Mathematik
Dipl.-Math. Karin Quasthoff	Stabile symmetrische Oberflächenformen bei magnetischen Flüssigkeiten	Eberhard Zeidler	Herbert Beckert (Leipzig) Klaus Beyer (Rostock) Eberhard Zeidler (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Uwe Quasthoff	Zur Klassifikation der aperiodischen Automorphismen des hyperfiniten Faktors	Werner Timmermann	Peter M. Alberti (Leipzig) Horst Michel (Halle/Wittenberg) Werner Timmermann (Leipzig)	Dr. rer. nat.	Mathematik

1984

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Dipl.-Math. Irene Crell	Zur Optimierung von Ablaufplänen mit Kopplungsbedingungen (Theorie, Verfahren und Programm)	Günther Deweß	F. Böhm (Dresden) Günther Deweß (Leipzig) Norbert Sieber (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Jürgen Friedrich	Über Eigenschaften von Paaren kommutierender selbstadjungierter Operatoren	Konrad Schmüdgen	Helmut Boseck (Greifswald) Konrad Schmüdgen (Leipzig) Eberhard Zeidler (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Bernd Fritzsche Dipl.-Math. Bernd Kirstein	Lineare Filterung multivariater verallgemeinerter diskreter schwach stationärer stochastischer prozesse und schwache Konvergenz nichtnegativ hermitischer Maße	Hans-Joachim Girlich	Hans-Joachim Girlich (Leipzig) Heinz Langer (Dresden) Wolfgang Winkler (Dresden)	Dr. rer. nat.	Mathematik
Dipl.-Math. Wolfgang Kliesch	Zur numerischen Bestimmung des Abbildungsgrades im Rn und seiner Anwendung bei der Lösung nichtlinearer Gleichungssysteme	Eberhard Zeidler	Dietrich Göhde (Zwickau) Hubert Schwetlick (Halle/Wittenberg) Eberhard Zeidler (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Bernd Krause	Translatiosnhomogene statistische Lösungen der Navier-Stokes-Gleichung im Kanal	Herbert Beckert	Herbert Beckert (Leipzig) Klaus Beyer (Rostock) Wolfgang Schultz-Piszachich (Köthen)	Dr. rer. nat.	Mathematik
Dipl.-Math. Hoang Xuan Phu	Methoden zur Lösung von Aufgaben der optimalen Steuerung mit engen Zustandsbereichen	Rolf Klötzler	Rolf Klötzler (Leipzig) Erich Miersemann (Leipzig) Johannes Vogel (Ilmenau)	Dr. rer. nat.	Mathematik
Dipl.-Math. Sabine Pickenhain	Zur Dualität bei verallgemeinerten Steuerungsproblemen	Rolf Klötzler	Herbert Beckert (Leipzig) Leonhard Bittner (Greifswald) Rolf Klötzler (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Reinhard Schuster	Mittelwertoperatoren für Differentialformen mit Anwendungen auf kompakte euklidische und hyperbolische Raumformen	Paul Günther	Günther Eisenreich (Leipzig) Paul Günther (Leipzig) Volkmar Wünsch (Erfurt)	Dr. rer. nat.	Mathematik

1983

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Dipl.-Math. Christfried Brödel	Eine Methode zur Lösung der ersten Randwertaufgabe für lineare elliptische Differentialgleichungen durch Gebietsänderung	Herbert Beckert	Herbert Beckert (Leipzig) Dietrich Göhde (Zwickau) Lothar Jentsch (Karl-Marx-Stadt)	Dr. rer. nat.	Mathematik
Dipl.-Math. Barbara Bündig	Untersuchungen zur Übersetzung von ALGOL 68 mit Hilfe von Mehrband-Turingsystemen	Karl-Heinz Bachmann	Karl-Heinz Bachmann (Leipzig) Winfried Kalfa (Leipzig) Günter Riedewald (Rostock)	Dr. rer. nat.	Mathematik
Dipl.-Math. Amira Costa Ayube	Stabilität kritischer Punkte und ihrer Anwendung	Eberhard Zeidler	Dietrich Göhde (Zwickau) Erich Miersemann (Leipzig) Eberhard Zeidler (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Hans-Petter Gittel	Das Goursat-Problem für quasilineare hyperbolische Systeme partieller Differentialgleichungen erster Ordnung mit zwei unabhängigen Variablen. Existenz und Eindeutigkeitsbeweis für dessen Lösung mittels Differenzenverfahren	Herbert Beckert	Herbert Beckert (Leipzig) Paul Günther (Leipzig) Dietrich Göhde (Zwickau)	Dr. rer. nat.	Mathematik
Dipl.-Math. Matthias Günther	Verallgemeinerte Sätze über implizite Funktionen und Anwendungen auf einige, aus der Geodäsie abgeleitete Problemstellungen	Eberhard Zeidler	Klaus Beyer (Rostock) Lothar von Wolfersdorf (Freiberg) Eberhard Zeidler (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Hans-Jürgen Herrler	Einige Anwendungen anisotroper Sobolevräume in der Theorie elliptischer Differentialgleichungssysteme	Herbert Beckert	Herbert Beckert (Leipzig) Klaus Beyer (Rostock) Eberhard Zeidler (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Barbara Illek	Berechnung stationärer Punkte auf Potentialhyperflächen molekularer Systeme	Gerd Laßner	Gerd Laßner (Leipzig) Cornelius Weiß (Leipzig) Lutz Zülicke (Berlin)	Dr. rer. nat.	Mathematik
Dipl.-Math. Hans-Peter Leidhold	Zur Lösung neuer mathematischer und rechentechnischer Probleme eines kombinatorischen Modells und Anwendungen	Karl-Heinz Bachmann	Karl-Heinz Bachmann (Leipzig) Immo O. Kerner (Dresden) Norbert Sieber (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Friedbert Prüfer	Eine Poissonformel für sphärische Raumformen und die Längen der geschlossenen Geodätischen	Paul Günther	Johannes Böhm (Jena) Paul Günther (Leipzig) Rainer Schimming (Greifswald)	Dr. rer. nat.	Mathematik
Dipl.-Math. Jürgen Schmidt	L2-Approximation durch Lösungen parabolischer und pseudoparabolischer Randanfangswertprobleme	Herbert Beckert	Herbert Beckert (Leipzig) Alfred Göpfert (Leuna-Merseburg) Eberhard Zeidler (Leipzig)	Dr. rer. nat.	Mathematik
Dipl.-Math. Uwe Schnabel	Über Gitterpunktprobleme in reell-hyperbolischen Räumen	Paul Günther	Paul Günther (Leipzig) Jürgen vom Scheidt (Zwickau) Konrad Schmüdgen (Leipzig)	Dr. rer. nat.	Mathematik

1982

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Dipl.-Math. Regina Funke	Zu Rand- und Eigenwertaufgaben der Thermoelastizitätstheorie für stückweise stetige anisotrope Körper unter Kopplungsbedingungen	Herbert Beckert		Dr. rer. nat.	Mathematik
Dipl.-Lehrer Fritz König	Die Entstehung des Mathematischen Seminars an der Universität Leipzig im Rahmen des Institutionalisierungsprozesses der Mathematik an den deutschen Universitäten des 19. Jahrhunderts	Hans Wußing	Rolf Klötzler (Leipzig) Peter Schreiber (Greifswald) Hans Wußing (Leipzig)	Dr. rer. nat.	Geschichte der Mathematik
Dipl.-Math. Eckhard Letsch	Zur Topologisierung von Observablenalgebren für Spin-Gitter-Systeme in der Physik am Beispiel des BCS-Bogoljubow-Modells	Gerd Laßner		Dr. rer. nat.	Mathematik
Dipl.-Math. Bernd Meusel	Grenzverteilungsaussagen über die Lösungen stochastischer Rand- und Rand-Anfangswert-Probleme partieller Differentialgleichungen mit schwach korrelierten Feldern	Herbert Beckert	Herbert Beckert (Leipzig) Friedrich Liese (Jena) Jürgen vom Scheidt (Zwickau)	Dr. rer. nat.	Mathematik
Dipl.-Math. Wolfgang Quapp	Zum singulären Anfangswertproblem der Euler-Poisson-Darboux-Gleichung: Vollständigkeit von Lösungsoperatoren und andere Eigenschaften	Paul Günther		Dr. rer. nat.	Mathematik
Dipl.-Math. Herbert Ristock	Lösungsmethoden in der nichtlinearen Thermoelastizitätstheorie	Herbert Beckert		Dr. rer. nat.	Mathematik
Dipl.-Math. Manfred Schröder	Automorphismen von Algebren unbeschränkter Operatoren	Gerd Laßner		Dr. rer. nat.	Mathematik
Dipl.-Math. Ralf Schulze	Konvergenzverhalten bei Zoutendijkschen Gradientenverfahren	Joachim Focke		Dr. rer. nat.	Mathematik
Dipl.-Math. Volkmar Thorandt	Zum Castigliano'schem Prinzip in der Theorie elastischer Flacher Schalen	Herbert Beckert		Dr. rer. nat.	Mathematik

1981

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Dipl.-Math. Claus Peter Helmholz	Funktionale Betrachtungen und Entwicklung faschspezifischen Könnens im Mathematikunterricht der Klassen 6 bis 10			Dr. paed.	Didaktik der Mathematik
Dipl.-Math. Michael Friedrich	Zur topologischen Struktur der Definitionsbereiche von Op*-Algebren	Gerd Laßner		Dr. rer. nat.	Mathematik

1980

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Dipl.-Math. Stefan Ackermann	Axiomatische Bifurkationstheorie und Verzweigung bei ungeraden Potentialoperatoren	Eberhard Zeidler		Dr. rer. nat.	Mathematik
Dipl.-Math. Peter Beckmann	Zur Syzygientheorie bei Einhüllenden von Lie-Algebren	Günther Eisenreich		Dr. rer. nat.	Mathematik
Dipl.-Math. Werner Berndt	Die elliptisch-parabolische Differentialgleichung \(div(ρ(x)(∇u + f)) = 0\) im Rn (Existenz, numerische Berechnung und Eigenschaften der Lösung minimaler Energie)	Eberhard Zeidler		Dr. rer. nat.	Mathematik
Dipl.-Math. Manfred Burkhardt	Diversortheorie und Huygenssches Prinzip bei linearen partiellen Differentialgleichungen zweiter Ordnung vom normalen hyperbolischen Typ	Paul Günther		Dr. rer. nat.	Mathematik
Dipl.-Math. Harald Englisch	Beiträge zur massiven Euklidischen F(S)2-Quantenfeldtheorie	Gerd Lassner		Dr. rer. nat.	Mathematik
Dipl.-Math. Monika Meiler	Zur Optimierung linearer Programme	Hans Rohleder		Dr. rer. nat.	Mathematik
Dipl.-Math. Peter Richter	Zur Reduktionstheorie von Operatorenalgebren			Dr. rer. nat.	Mathematik
Dipl.-Math. Gundolf Tröger	Lichtkegel-Entwicklung von Matrixelementen			Dr. rer. nat.	Mathematik

Promovend	Thema	Betreuer	Gutachter	akad. Grad	Fachgebiet
Dipl.-Math. Dipl.-Chem. Wilmer Oswaldo Leal Jaimes	Chemical space exploration: Formal, chemical and historical aspects	Prof. Dr. Peter F. Stadler	Prof. Dr. Peter F. Stadler gemeinsam mit Prof. Dr. Jürgen Jost Prof. Dr. Rolf Fagerberg (University of Southern Denmark, Dänemark)	Dr. rer. nat.	Informatik