Forschung an der Fakultät IMN
JUG Saxony Camp 2017 an der HTWK
Die HTWK Leipzig und der JUG Saxony e.V. veranstalten in Kooperation mit dem Regionalgruppe Leipzig / Mitteldeutschland Gesellschaft für Informatik (GI) e.V. am 31. März 2017 die erste IT-Konferenz für Studenten im Leipziger Raum.
Die Registrierung erfolgt über die Webseite https://jugsaxony.camp/anmeldung/. Die HTWK-Vortragenden sind Ihre Kommilitonen.
mehr
Nao-Team HTWK - Termine 2017
- 12th RoboCup Iran Open
05.-07. April 2017, Tehran (Iran) - RoboCup German Open 2017
05.-07. Mai 2017, Magdeburg - RoboCup WM 2017
27.-30. Juli 2017, Nagoya (Japan)
Kompilation von Constraint-Programmen: Erfolgreicher Abschluß eines kooperativen Promotionsverfahrens
In seiner Dissertation hat Dipl.-Informatiker 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.
mehr
