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

Email-Anfragen zum Studium über private Mailadressen werden nicht beantwortet.
Nutzen Sie die von Ihrer Institution bereitgestellte Mailadresse.

GLP - Gesellschaft für Logische Programmierung e.V., Fachbeirat
- WLP2021@KI2021 (organization, PC member)
- WLP2022@KI2022 (PC Co-chair)
- WLP2023@KI2023 (PC Co-chair)
GI FG Deklarative Programmierung (DeklProg), Stellv. Sprecher
M.Sc. Informatik (HTWK Leipzig)
B.Sc. Medieninformatik (HTWK Leipzig)
Roberta Teacher (Fraunhofer IAIS)
FIRST Lego League Robotdesign Juror (Vorausscheid Leipzig, seit 2018)
Program Committee Memberships: MOC 2023

Lehre

SS 24
- Übungen: Datenbank-Programmierung, Komplexe SQL-Anfragen, Updates, Schemaerstellung, Batch-Processing, JDBC, Mehrbenutzerbetrieb
WS 23/24
- Übungen: XML und Datenbanken
SS 23
- Übungen: Datenbank-Programmierung, Komplexe SQL-Anfragen, Updates, Schemaerstellung, Batch-Processing, JDBC, Mehrbenutzerbetrieb
WS 22/23
- Übungen: Datenbank-Entwurf
SS 22
- Übungen: Datenbank-Programmierung, Komplexe SQL-Anfragen, Updates, Schemaerstellung, Batch-Processing, JDBC, Mehrbenutzerbetrieb
WS 21/22
- Freisemester
SS 21
- Übungen: Datenbank-Programmierung, Komplexe SQL-Anfragen, Updates, Schemaerstellung, Batch-Processing, JDBC, Mehrbenutzerbetrieb
WS 20/21
- Übungen: Datenbank-Entwurf
SS 20
- Übungen: Datenbank-Programmierung, Komplexe SQL-Anfragen, Updates, Schemaerstellung, Batch-Processing, JDBC, Mehrbenutzerbetrieb
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

Meine Hinweise zum Verfassen von Abschluss- und Projektarbeiten und Halten von Verteidigungsvorträgen finden Sie hier.

Themenvorschläge

Automatisches Generieren von Übungsaufgaben im Bereich Konfliktserialisierung
Automatisches Generieren und Abändern von Datenbankzuständen
Automatischen Korrektur von SQL Übungsaufgaben

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
Erstellung einer Programmiersprache für regelasierte Systeme in der Spieleentwicklung und Lehre
Umsetzung von Visualisierungen mit Elm+SVG
Web-Scraping und Analyse von öffentlichen Datenbanken

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 2024-02-22.