Kontakt
Mario Wenzel, M.Sc
Raum 3.15
Von-Seckendorff-Platz 1
06120 Halle
Telefon: 0345 5524776
mario.wenzel@informatik.uni-halle.de
Lehre
- WS 19/20
- SS 2019
- WS 18/19
- SS 2018
- WS 17/18 (HTWK)
- SS 17 (HTWK)
Abschlussarbeiten
Themenvorschläge
- Generieren von Übungsaufgaben im Bereich Konfliktserialisierung
Betreute Themengebiete
- Parallelisierung rekursiver Datenbankabfragen in C++
- Leistungsvergleiche für relationale und deduktive Datenbanken
- Eine konfigurierbare Benutzeroberfläche für die Entwicklung von SQL-Lernspielen
- Objektmanipulation mit einem Roboterarm unter Nutzung inverser Kinematik und ROS
- Konzept eines flexiblen Kursangebots für Robotik-Einsteiger
Forschungsinteresse
- Regelbasierte Systeme
- Anwendungsbereich Robotik
- Modellierung von Nebenwirkungen
- Modellierung von Constraintproblemen
- Compiler
- Anfrageplanung und -optimierung
- Termination
- Informatik in der Lehre
- Deklarative statt Imperative Systeme
- Automatische Generierung und Kontrolle von Aufgaben
- Clean Code in Beispielen für Anfänger
- Mädchen- und Frauenförderung, Gendergerechte Kursgestaltung
This page was last updated on 2019-11-15.