New EPSRC grant

Franco Raimondi has been awarded an EPSRC grant in collaboration with Natasha Alechina (School of Computer Science, University of Nottingham) for the Verification of Resource-Bounded Multi-Agents Systems (VRBMAS). More details about the project can be found at the project’s web site: http://www.vrbmas.org.

IMG_20131022_154928

The project team. From feft to right: Hoang Nga Nguyen, Franco Raimondi, Natasha Alechina, Brian Logan.

Comments are closed.