Available Topics
Course information can be found in LFU: here
Available MSC Thesis Topics:
DSL-based Safety Guardrails for LLM Applications
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.
Predicting Human Values in Software Requirements with Machine Learning
The master’s thesis should explore the potential of machine learning (ML) methods to automatically identify and predict human values in software requirements.
AI-Agent Support for Requirements Engineering
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.
Dynamic/Iterative Planning for Robotic Systems
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.
Extending PDDL with Quality Preference/Attributes
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.