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.