Michael Vierhauser

Michael Vierhauser

Ass.-Prof
Department of Computer Science
Quality Engineering

Posts by Collection

portfolio

publications

talks

teaching

Teaching experience 1

Undergraduate course, University 1, Department, 2014

This is a description of a teaching experience. You can use markdown like any other post.

Extending PDDL with Quality Preference/Attributes

Msc Topic, , 2024

PDDL, the Planning Domain Definition Language, is a computer-readable language used in the field of artificial intelligence and automated robotic planning. It is specifically designed for defining the details of planning problems and domains in the context of automated planning and scheduling systems.

Dynamic/Iterative Planning for Robotic Systems

Msc Topic, , 2024

Mission planning is a fundamental problem in mobile robotics. Domain-independent planners and the PDDL language, provide a standard and flexible framework for solving such planning problems.

Entwurf und Implementierung einer webbasierten, blockbasierten Lernplattform mit auto-gestütztem Grading für Schüler:innen

Bsc Topic, , 2025

Ziel der Arbeit ist, die Konzeption und prototypische Umsetzung einer webbasierten Lernplattform, die speziell auf die Bedürfnisse von Kindern im Alter von 8 bis 12 Jahren zugeschnitten ist. Im Mittelpunkt steht die Vermittlung grundlegender Programmierkonzepte mithilfe einer blockbasierten Entwicklungsumgebung, die einen niedrigschwelligen Einstieg in die Informatik ermöglicht.

Graph‑basierte Verwaltung und Visualisierung von Kursen und Kompetenzen in Curricula

Bsc Topic, , 2025

Ziel der Arbeit: Ziel der Arbeit ist es, ein Tool zur graph‑basierten Modellierung, Verwaltung und Visualisierung von Kursen und Kompetenzen in universitären Curricula zu entwickeln. Dabei soll untersucht werden, wie sich Abhängigkeiten zwischen Kursen, Lernzielen und Kompetenzen effizient darstellen und interaktiv visualisieren lassen, um Studierenden, Lehrenden und Studienplanverantwortlichen eine transparente und intuitive Übersicht über Kompetenzaufbau und Kursstruktur zu bieten.

Eine DSL für Value-related Requiements

Bsc Topic, , 2025

Ziel der Arbeit ist es, eine domänenspezifische Sprache (DSL) zu entwerfen und zu implementieren, die es ermöglicht, Werte (Human Values) explizit in Requirements zu modellieren und dadurch die Grundlage für Value-Sensitive Design in Softwareprojekten zu schaffen.

Value Mapping mit LLM Support

Bsc Topic, , 2025

Ziel der Arbeit ist es, ein Werkzeug zu entwickeln, das Large Language Models (LLMs) nutzt, um Werte (Human Values) aus in natürlicher Sprache definierten Requirements automatisch zu erkennen, diesen zuzuordnen und in einem Value-Mapping-Prozess für Softwareprojekte nutzbar zu machen.

AI-Agent Support for Requirements Engineering

Msc Topic, , 2025

The master’s thesis should investigate the potential of multi-agent systems (MAS), possibly enhanced with Large Language Models (LLMs), for supporting requirements engineering processes.

Refactoring und Erweiterung eines webbasierten Seminar Management Tools

Bsc Topic, , 2026

Ziel der Arbeit ist die Weiterentwicklung eines bestehenden webbasierten Seminar Management Tools durch gezieltes Refactoring sowie die Umsetzung neuer Anforderungen aus dem Stakeholder-Feedback. Im Fokus stehen die Verbesserung von Usability und Workflows, die Erweiterung funktionaler Anforderungen sowie die nachhaltige Weiterentwicklung der bestehenden Systemarchitektur.

A Frontend for Real-Time Data Management in Simulated Mars Expeditions

Bsc Topic, , 2026

The bachelor's thesis, developed in collaboration with the Austrian Space Forum (ÖWF) in Innsbruck, focuses on the conception and development of a frontend application for managing and visualizing telemetry data in simulated Mars expeditions organized by the ÖWF.

DSL-based Safety Guardrails for LLM Applications

Msc Topic, , 2026

LLM-based applications need safety checks, for example on prompts, generated outputs, or tool calls. Today, these checks - if done so - are implemented in ad hoc if a problem is detected. This makes them hard to reuse, maintain, and reason about.

Digitalizing Ski-Rental Management with OCR-Based Customer Registration

Bsc Topic, , 2026

Goal of the thesis is the design and prototypical implementation of a web-based ski rental management system that combines the speed and simplicity of an established paper-based rental workflow with the data management capabilities of a digital solution. A key focus lies on minimizing manual data entry through automatic extraction of customer information from identity documents (passports, ID cards, driver's licenses) using optical character recognition (OCR), preserving the employee-driven, high-throughput nature of the existing process.