Meine Forschung konzentriert sich auf die Spezifikation komplexer kollektiver Systeme (wie Multiagentensysteme, Roboterschwärme, Stigmergien usw.) und deren Analyse mittels modernster Verifikationstechniken. Darüber hinaus arbeite ich an reaktiver Synthese und formalen Online-Techniken, wie beispielsweise der Laufzeitüberwachung.

(Dieser Text wurde maschinell übersetzt, etwaige Fehler entschuldigen sich)

My research focuses on the specification of complex collective systems (such as multi-agent systems, robot swarms, stigmergies, and so on) and their analysis via state-of-the-art verification techniques. I am also working on reactive synthesis and online formal techniques, such as runtime monitoring.

Thesis supervision. I am open to supervise BSc and MSc theses at TU Wien. For bureaucratic reasons, the main advisor would be professor Ezio Bartocci. Some proposals are already available on TISS (look up my last name). I am also open to discuss project proposals that overlap with my interests.

Interests. Software verification, Model checking, Multi-agent systems, Formal semantics, Process calculi, Reactive Synthesis, Static analysis