Projects

The projects in which the FMT research group currently participates are listed below. A list of completed projects is available too.

AMELIA: AI voor een LErende MAakindustrie

ChEOPS: verified Construction of corrEct and Optimised Parallel Software

Cyclic Structures in Programs and Proofs

EACSC: Effective Alignment in Computer Science Curricula

EVI: Evidence-based black-box checking

MIRKWOOD aims to develop new, fast algorithms for quantitative risk model analysis under data uncertainty.

MISSION: Models in Space Systems - Integration, Operation, and Networking

PALLAS: Program Analysis for LLVM-IR and All its Source languages

ReFASE: Rethinking Failure Analysis for Safer Engineering

RUBICON: Realizing the benefits of safety-security co-analysis through effective tool support

SAVES: Scalable Verification of Industrial Embedded Control Systems

STORM_SAFE: Software reliability for critical infrastructures

The Hidden Cost of Inference: A Phase-Level Examination of the Energy-Efficiency of LLM inference

TiCToC: Testing in Times of Continuous Change

Towards Robust and Ethical Autonomous AI in Digital Markets

TruSTy: Trustworthy Analysis of Stochastic Timed Systems

Unified Assessment Pipeline for Learning-by-Doing

VESPA: Verified, Efficient, and Secure Parallel Algorithms

ZORRO: Engineering for Zero Downtime in Cyber-Physical Systems via Intelligent Diagnostics

Suggestions