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.
Pratap Chillakanti has successfully defended his PhD thesis titled “Secure Collaboration in Onboarding”. His supervisory team included Dr Geetha Abeysinghe, Ms Elli Georgiadou, Prof C V Ramamoorthy (external supervisor from UC Berkeley) and the late Prof Colin Tully. The external examiner was Prof Keith Phalp, from Bournemouth University and the internal examiner was Dr Nawaz Khan.
Thank you to all our students for this excellent result! You can see additional details at this link: http://unistats.direct.gov.uk/Compare-Courses/List/10004351FT-144I102K3,10007788FT-UG_CSTX_KIS,10007774FT-G400,10007784FT-UBSCOMSING05,10003645FT-UBSH3CSCS