School of Computing

Mr Eric Bonnici

Research Student

Photo of E Bonnici
  • Tel:     +44 (0)1227 82
  • Fax:     +44 (0)1227 762811
  • Email: eb708@kent.ac.uk
  • Room
    School of Computing
    University of Kent, CT2 7NF

Publications

My publications are available from the Computer Science department publications repository.

PhD Project Summary

I am investigating the different mechanisms used to model mobility of agents in a simulated environment. The investigation is mainly carried out on the occam- pi language which is backed by its basis on formal algebras such as Hoare's CSP and Milner's pi-calculus. The language features Mobile Channels and Mobile Processes which are of particular interest since they display a certain "Notion of duality" and seem to be interchangeable.

I have created an Ant Foraging Model called "occAnt" which was designed and impelemented to aid in the compariso n of both techniques allowing a study of both techniques side by side.

A variant call channel syntax has also been proposed for the occam-pi language and I am currently looking into possible enhancements to mobile processes.

The aim of this study is to ease reasoning about such agent based models, improve design, and possibly reduce an y unecessary burdens that may currently reside on the programmer.

Research Interests

I am a member of the following research groups:

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 12/02/2012 03:10