Categories
grants News

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.