Direkt zum InhaltDirekt zur Navigation

Nachrichten

Kompilation von Constraint-Programmen: Erfolgreicher Abschluß eines kooperativen Promotionsverfahrens

22.02.2017
Kompilation von Constraint-Programmen: Erfolgreicher Abschluß eines kooperativen Promotionsverfahrens

Herr Diplom-Informatiker (FH) Alexander Bau, Absolvent unserer Fakultät, verteidigte am 7. Februar 2017 seine Dissertation "SAT Compilation for Constraints over Structured Finite Domains". Damit konnte Herr Bau das kooperative Promotionsverfahren mit der Fakultät Informatik der Technischen Universität Dresden erfolgreich abschließen. Seine Arbeit wurde betreut von Herrn Prof. Dr.‑Ing. habil. Dr. h.c. Heiko Vogler (TUD) und Herrn Prof. Dr. Johannes Waldmann (HTWK) und gefördert durch ein Stipendium des Europäischen Sozialfonds.

Weiterlesen...

abgelegt unter:
Termine
JUG Saxony Camp 2017 an der HTWK 31.03.2017 09:00 - 18:00 — NIEPER-Bau der HTWK Leipzig
SKILL 2017 / Call for Papers 30.04.2017 - 30.09.2017
Verteidigungen
Masterverteidigung Anne Schüßler Raum: Z 417
Beginn: 10.03.17 - 10:00
Masterverteidigung Jonny Rillich Raum: Z 417
Beginn: 10.03.17 - 11:30
Masterverteidigung Gregor Schuldt Raum: Raum A3 01 (Sophus-Lie-Seminarraum), Max-Planck-Institut für Mathematik in den Naturwissenschaften, Inselstraße 22, 04103 Leipzig
Beginn: 22.03.17 - 14:00