Dr. D J Greaves: PhD Students.
If you want to read for the PhD under my supervision you will be much better
off if you learn
OCAML, MetaEdit+, SystemC and you use LaTeX for documents.
Current Research Students
Although these students appear to cover a lot of ground, one could
note that most have something to do with managing spatial issues in
terms of the placement and movement of loads between components.
Mr Mustafa Zaidi - Spatial layout and incremental compilation for parallel computation in hardware and software.
Mr Jukka Lehtosalo - Toolchains for rapid prototyping with post-hoc type inference and security refinement.
Mr Milos Puzovic - H/W S/W bridging models for multi-threaded load balancing.
Ms Myoung Jin Nam - Protocol and Interface automaton synthesis for TLM and net-level.
Mr Ioannis Baltopoulos - Synthesis of secure and type-safe web server software.
Mr Tope Omitola - Reliable control in a dynamic population of Sensor/Actuator Networks.
Mr Henry Robinson - Middleware synthesis for reliable and consistent delivery in ad hoc overlays.
Mr Stephen Kell - A system for software component re-use at the machine-code level.
Ms Aisha Elsafty - Application and middleware primitives that span both managed and ad hoc scenarios.
Previous Research Students:
Dr Behzad Bastani - Requirements engineering (and synthesis?) for dynamically-bound and evolvable systems.
Dr Atif Alvi - Controlling pervasive domains with ontologies and rules in AutoHan.
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 Peter Kim - Link-Level Resource Reservation
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 CAM Festin - Buffer Management
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
Dr Arnab Banerjee - Flows in Power-Efficient Networks-On-Chips
Dr Seema Khalid - Peak to Average Power Ratio Reduction in OFDM
There are a few more. If I have missed you off, please let me know. Thanks.