Expertises
Onderzoeksthema's
My research is on specification, verification and synthesis of multi-agent systems, in particular under resource constraints.