• Kontakt
• Forschung/Research
• Lehre
• Microlog

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 nich 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)
• 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

• 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 2023-09-19.