Aktuelles


Competences in Formal Methods and their Application

MODUS competences

Overview

The core methods team of MODUS masters a broad range of formal methods, suitable to attack various application challenges. The formal methods usually come from Mathematics, Computer Science, and Logic. The applicability is manifold. Challenge us: Explain your application challenge to us, e.g., in our weekly seminar. And we assess whether we are in command of a suitable method or whether we can develop one.

Details

Data Management and Analysis

Multi-Agent Systems

Optimization

PDEs

Systems and Control Theory

University of Bayreuth -