Direkt zum InhaltDirekt zur Navigation

Navigation

Promotionen

Die Förderung des wissenschaftlichen Nachwuchses ist ein wichtiges Anliegen an der HTWK Leipzig. In Zusammenarbeit mit Universitäten besteht für FH-Absolventen die Möglichkeit einer kooperativen Promotion.

Promovierte Absolventen der Fakultät IMN:

Dipl.-Inf. Alexander Bau

SAT Compilation for Constraints over Structured Finite Domains
02/2017

In seiner Dissertation hat Dipl.-Inf. Alexander Bau, Absolvent der Fakultät IMN, einen Compiler von einer Teilmenge der funktionalen Programmiersprache Haskell nach SAT entwickelt, mit dem baumartige Daten (algebraische Datentypen und pattern matching) sowie Funktionen (auch polymorph und von höherer Ordnung) zur Constraint-Programmierung benutzt werden können.

Herr Bau verteidigte am 7. Februar 2017 seine Dissertation zum Thema SAT Compilation for Constraints over Structured Finite Domains und konnte damit das kooperative Promotionsverfahren mit der Fakultät Informatik der Technischen Universität Dresden erfolgreich abschließen.

Gutachter:
Prof. Dr. J. Waldmann, HTWK Leipzig/FIMN
Prof. Dr.‑Ing. habil. Dr. h.c. Heiko Vogler, TU Dresden/Fakultät Informatik
mehr

M.Sc. Carolin Helbig

Concept and Workflow for 3D Visualization of Multifaceted Meteorological Data
02/2015

In nahezu allen Wissenschaftsdisziplinen steigt der Umfang erhobener Daten. Diese sind oftmals heterogen und besitzen eine komplexe Struktur, was ihre Analyse zu einer Herausforderung macht.

Frau Carolin Helbig hat in ihrer Dissertation in Zusammenarbeit mit Experten der Meteorologie ein Konzept und einen Workflow für die 3D-Visualisierung meteorologischer Daten entwickelt.

Gutachter:
Prof. Dr. Olaf Kolditz, Helmholtz-Zentrum für Umweltforschung (UFZ) Leipzig und TU Dresden
Prof. Dr. Gerik Scheuermann, Universität Leipzig
Dr. Urška Demsar, University of St. Andrews, Fife, (Scotland, UK)

Kooperative Promotion, gefördert durch ein ESF-Promotionsstipendium 2011-2014 der HTWK Leipzig
mehr

Termine
Fakultätsratssitzung 26.07.2017 15:00 - 17:30 — Z 417
Exkursion zum CERN 14.08.2017 - 17.08.2017
Verteidigungen
Bachelorverteidigung Stefanie Schlinke Raum: Z 417
Beginn: 25.07.17 - 13:30
Masterverteidigung Marina Yagovkina Raum: Z 417
Beginn: 26.07.17 - 12:00
Bachelorverteidigung Vadzim Naumchyk Raum: Z 417
Beginn: 27.07.17 - 10:00