Areas of expertise
Research areas
My research is on specification, verification and synthesis of multi-agent systems, in particular under resource constraints.