Dr. D J Greaves: PhD Students.
If you want to read for the PhD under my supervision you will need
to already be familiar with most of these: system simulation, queuing theory,
digital logic, compiler design, formal specification and formal language semantics.
In terms of languages, please make sure you are fluent in OCaml/FSharp, System Verilog,
SystemC and at least one assembler language. Alternatively, we can do something
in analogue electronics, from subsonic to microwave.
Previous Research Students:
Dr Myoung Jin Nam - Run-time memory safety for C programs.
Dr Jonathan Kimmitt - Design tools for reliable embedded systems.
Dr Ali Zaidi - Spatial layout and incremental compilation for parallel computation in hardware and software.
Dr Jukka Lehtosalo - Toolchains for rapid prototyping with post-hoc type inference and security refinement.
Dr Milos Puzovic - H/W S/W bridging models for multi-threaded load balancing.
Dr Aisha Elsafty - Application and middleware primitives that span both managed and ad hoc scenarios.
Dr Stephen Kell - Specification and synthesis of adaptors for software components.
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.
PhD candidates that I have examined:
Dr Sean Rooney - Open signalling in the control plane
Dr PM Naylon - MIMO Radio MAC Protocols
Dr Peter Kim - Link-Level Resource Reservation
Dr Silvia Breu - Cross-cutting aspect mining
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
Dr Dan Greenfield - Rent's Rule Updated and Expanded
Dr Weisi Guo - Power Allocation for Co-operative Wireless Networks
Dr Jonathan Mak - Program parallelisation based on profiling
Dr Boris Fegin - Interpretational overhead in system software
Dr Matthew Jakeman - Transport Protocols (IPV6 based)
Dr Leo White - Extending old languages for new architectures
Dr Andreas Koltes - Reconfigurable Memory Systems for Embedded Processors
Dr Peter Calvert - Join Calculus Compiler Intermediate Code
Dr Raoul Gabriel Urma - Types for Python
Dr Muhammad Umar Janjua - Automatic correction of imperative programming errors
Dr James Arram - Acceleration of genetic algorithms on FPGA
Dr Aryan Travakkoli - Option Pricing on Reconfigurable Hardware
Dr Jyothish Soman - Hard Fault Tolerance in Microprocessors
Dr Hongyan Xia - Capability-based Memory Protection
Dr Roy Spliet - Hard Real Time in GPU-like computation.
Dr Andreas Lööw - Building Verified Hardware and Verified Stacks in HOL
Dr Ho Cheung Ng - FPGA acceleration of genome sequencing
Dr Shih-Chun You - Electronic Sidechannel Attacks
There are a few more. If I have missed you off, please let me know. Thanks.