Electromagnetic Tracking of Pasture Fences

AI‑Enhanced Formal‑Methods‑as‑a‑Service: Designing, Implementing, and Evaluating an MCP‑Based Backend that Powers a VS Code Copilot Extension for Automated Program Analysis and Verification.

FPGA‑Based Quantum‑Computer Simulator with a Web‑Based Design‑Run‑Analyse Front‑End

Motivation In incidents involving a mass accumulation of victims — such as natural disasters — human rescue personnel are a scarce resource, and rescuers may put themselves at risk when reaching victims in hazardous environments, such as partially collapsed buildings. As a result, victims may not receive help in time. Rescue robotics aims to close […]

Mapping the European AI HLEG Trustworthiness Framework to Formal Methods

In conventional ultrasound imaging, the probe must be pressed against the potentially fractured region of the forearm, which can be extremely painful for young patients. This project aims at the development of a contactless robot-assisted ultrasound scanning system to improve diagnostic outcomes and reduce patient discomfort during fracture detection procedures. To accurately scan the target […]

This thesis is to be carried out in cooperation with Gerardo Schneider from the University of Gothenburg. Motivation and ImportanceNormative systems—systems governed by rules such as obligations, permissions, and prohibitions—are central to many modern domains, including autonomous systems, multi-agent coordination, legal-tech, and business process compliance. As software increasingly operates in open, dynamic environments, ensuring that behavior adheres to […]

Die Freilandhaltung von Legehennen gewinnt aus Gründen des Tierwohls und der Verbrauchernachfrage zunehmend an Bedeutung, setzt die Tiere im Auslauf jedoch Greifvögeln wie Habicht, Bussard und Milan aus. Neben den unmittelbar gerissenen Tieren entstehen erhebliche indirekte Schäden: Panik in der Herde, Verletzungen, Leistungseinbrüche und eine dauerhaft reduzierte Nutzung des Auslaufs. Da Greifvögel geschützt sind, muss […]

Inductive Logic Programming (ILP) is a form of symbolic machine learning, where logic programs (e.g., Prolog or ASP) are synthesized from input/output examples. These synthesis tasks are notorious for their large search space. Modern approaches use a conflict-driven search to constrain this search iteratively. This procedure is usually implemented using constraint programming solvers operating on […]