Mario Wenzel

Kontakt

Mario Wenzel, M.Sc

Raum 3.15
Von-Seckendorff-Platz 1
06120 Halle

Telefon: 0345 5524776
mario.wenzel@informatik.uni-halle.de

M.Sc. Informatik (HTWK Leipzig)
B.Sc. Medieninformatik (HTWK Leipzig)
Roberta Teacher (Fraunhofer IAIS)

Lehre

WS 19/20
- Übungen: XML und Datenbanken
SS 2019
- Übungen: Datenbank-Programmierung, Komplexe SQL-Anfragen, Updates, Schemaerstellung, Batch-Processing, JDBC, Mehrbenutzerbetrieb
WS 18/19
- Übungen: Objektorientierte Programmierung
- Übungen: Datenbanken IIA: Datenbank-Entwurf
SS 2018
- Übungen: Logische Programmierung und deduktive Datenbanken
WS 17/18 (HTWK)
- Übungen: Modellierung
SS 17 (HTWK)
- Übungen: Algorithmen und Datenstrukturen

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
- Wortersetzungssysteme
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.