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
Workshop Haskell in Leipzig - mit Hackathon 26.10.2017 - 28.10.2017 — N001
Stipendientag an der HTWK, 07.11.2017 07.11.2017 11:00 - 14:30 — Foyer des Nieper-Baus der HTWK
World Usability Day 09.11.2017, HTWK-Veranstaltung 09.11.2017 09:00 - 17:00 — HTWK Leipzig, Gutenberg-Bau
14. WIK-Leipzig 2017 an der HTWK Leipzig 29.11.2017 10:00 - 16:00 — Foyer des Nieper-Baus der HTWK
Verteidigungen
Bachelorverteidigung Eric Müller Raum: Z 417
Beginn: 20.10.17 - 13:00
Bachelorverteidigung Jeremias Deck Raum: *** Gu 115 ***
Beginn: 23.10.17 - 09:00
Bachelorverteidigung Martin Kolbe Raum: Z 417
Beginn: 23.10.17 - 12:00
Bachelorverteidigung Laura Heyne Raum: Z 417
Beginn: 23.10.17 - 13:30
Bachelorverteidigung Pascal Parussudis Raum: Z417
Beginn: 24.10.17 - 11:00