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
21. Fakultätsratssitzung IMN 27.09.2017 14:30 - 16:30 — Z417
World Usability Day 09.11.2017, HTWK-Veranstaltung 09.11.2017 09:00 - 17:00 — HTWK Leipzig, Gutenberg-Bau
Verteidigungen
Bachelorverteidigung Aruscha Kramm Raum: Z 417
Beginn: 26.09.17 - 09:00
Masterverteidigung Alexander Twrdik Raum: Z417
Beginn: 26.09.17 - 14:00
Masterverteidigung Sebastian Knabe Raum: ***Li 125***
Beginn: 27.09.17 - 09:00
Bachelorverteidigung Patrick Jeckel Raum: *** Li 125 ***
Beginn: 27.09.17 - 10:30
Bachelorverteidigung Martin Schmidt Raum: Z 417
Beginn: 27.09.17 - 12:30