Dr. D J Greaves: PhD Students.
If you want to be one of my postgraduate students, please learn
OCAML, MetaEdit+ and SystemC!
Current Research Students
Ms Myoung Jin Nam - Protocol and Interface Automata Synthesis.
Mr Ioannis Baltopoulos - Reflection for low-complexity devices.
Mr Atif Alvi - A Domain Manager for tightly-coupled, reliable, dynamic, embedded system.
Dr Behzad Bastani - funded by CMI, UML for Extensible Systems.
Mr Tope Omitola - Control of Dynamic Sensor/Actuator Networks.
Mr Henry Robinson - funded by Fujitsu, Distributed Data Storage using Tuple Spaces
Mr Stephen Kell - Composable Systems.
Ms Aisha Elsafty - funded by BP, 21st Century Data Plane Architecture
Previous Research Students:
Dr Anil Madhavapeddy - Online and static formal validation of legacy software.
Dr Sang Bum Suh - HomePNA MAC Design.
Dr Alberto Fernandes - Crosstalk in xDSL.
Dr Umar Saif - XML directory services and extensible embedded systems.
Dr Richard Bradbury - Home Automation.
Dr Yannis Papaefstathiou - Real Time Compression Hardware.
Dr CK Toh - Ad Hoc Radio Networks.
Dr Jennifer Li Kam Wa - Tail distribution estimation for traffic management.
People I have been PhD examiner for:
Dr Sean Rooney - Open signalling in the control plane
Dr PM Naylon
Dr Kim
Dr Paul Menage - Thread-level accounting in run time systems
Dr Andrew Moore - Network Traffic Measurement
Dr Warner - Access switching
Dr Mark Spiteri
Dr Daryl Stewart - Combined simulation semantics for Verilog and VHDL
Dr Festin
Dr Malcolm Sellars - Spatial diversity spread spectrum radio
Dr Richard Sharp - SAFL/SAFL+ hardware description language
Dr Tim Granger - Optical networks
Dr Michael Dales - FPGA Acceleration with time sharing
Dr Tom Kelly - Stable TCP
Dr Dritan Kaleshi - IPv6 in the home.
Dr Rob Hague - Tangible control and multi-view programming
Dr Simon Frankau - SASL, an HDL using lazy lists
Dr Scott Fairbanks - High Precision Timing Circuits
Dr Julian Chesterfield - Joint Coding for Wireless Multimedia
Dr Sarah Thompson - Program Analysis and Transforms in High-Reliability Electronics
Dr Ford-Long Wong - Cryptography: authentication protocols and securing the MAC layer
There are a few more. If I have missed you off, please let me know. Thanks.