Employment
Microsoft Research (2005 - Present)
Post-doctoral researcher at Microsoft
Research Cambridge, working on Simulating Biological
Systems
in the Stochastic Pi-Calculus, in collaboration with Luca Cardelli. Also a member
of the External Research
Office, working on tools for Computational Science
.
Department of Computing, Imperial College (2000-2004)
Research Assistant (October 2000 - April 2002)
Coordinator for the MSc. in
Computing for Industry (2004)
CNES French Space Agency (1999)
Computer programming placement at the CNES
(French Space Agency). Deployed a quality management application on
the Web, used to monitor satellites in orbit (3 months). Oracle
Developer 2000/Server - Forms 4.5 - Windows NT Server- PL/SQL - Oracle
7 DBMS
Banks Barbados Breweries (1998)
Assistant Electrical Control Engineer at Banks (Barbados) Breweries.
Maintained and calibrated plant equipment, upgraded Programmable Logic
Controllers
(6 weeks). PLC ladder logic - VISIO4 CAD
LAAS Systems Laboratory (1997)
Computer programming placement at the Laboratoire d'Analyse et d'Architecture des
Systemes (LAAS), a French research laboratory specialized in
Systems
Engineering. Developed a program to test the dispersion characteristics
of High-Frequency transistors, used in satellite telecommunications
(3000 lines). Composants
Circuits Microondes (CCM) research group (6 weeks). HT Basic -
IEEE Network Bus - HP Programmable HF Impedance meter
|