Computer Science student in the Department of Computing, Imperial College. Thesis title: Specifying and Implementing Secure Mobile Applications in the Channel Ambient System. Supervised by Susan Eisenbach, Nobuko Yoshida and Bashar Nuseibeh. Thesis examined by Andrew Gordon and Julian Rathke. Supported by an ORS Scholarship. Awarded a department studentship.
13th International Summer School for Computer Science Researchers: Foundations of Wide Area Network Programming. Lipari Island, July 1-14, 2001.
Computer Science student at the University of Cambridge, Churchill College. Postgraduate degree in Computer Science obtained with distinction. Awarded a college scholarship for outstanding results. Awarded a department prize for outstanding dissertation: Implementation of a Mobile Agent Language based on Pi-Calculus. Supervised by Peter Sewell, Theory and Semantics Group, Computer Laboratory.
Master of Engineering (1997-2000)
Computer and Electronic Engineering student at the Institut National des Sciences Appliquées (INSA) in Toulouse, France. Diplôme d'Ingénieur (MEng) obtained with first class honours. Final year spent at the University of Cambridge, as part of a joint degree programme.
Electrical Engineering student at the Université Paul Sabatier in Toulouse, France. Undergraduate degree obtained with first class honours. Award for best examination results.
Secondary Education (1988-1995)
Student of Harrison College, Barbados, West Indies. Awarded a government scholarship for outstanding A-level results (1995). Received a national award for best O-level results (1993).