David Greaves, Short Biography

Dr David Greaves, MIEE, completed his PhD at the University of Cambridge in 1989 on the subject of ATM metropolitan area networks. His undergraduate supervisor was Dr Martin Richards and his postgraduate supervisor (advisor) was Prof Andy Hopper. His father, Peter Greaves, is a pioneering electronic engineer who worked at Rank, EMI and IBM and holds patents in a variety of related fields. Likewise, David Greaves has extensive expertise in electronic circuitry, covering the audio, digital and RF domains and has designed numerous hardware systems at chip and board level.

First employments were at Plessey Roke Manor and IBM Research Hursley Park. Dr Greaves then became a research engineer at Olivetti Research in Cambridge, where he developed early ATM switches and host interfaces. In 1993, he was network architect for the Cambridge Interactive Television Trial, an early trial which was the world's first testbed to provide packet-switched network connectivity all the way to the home. This broadband system ran for 18 months and served more than 50 homes and schools. He currently holds the position of Senior University Lecturer in Cambridge. Dr Greaves also served on the technical board of ARC www.arc.com. ARC is the leading company, worldwide, in configurable processor technology (now part of Synopsys).

Dr Greaves is a member of the Systems Research Group and Processor Architecture Groups. He also participates in the Hardware Verification Group. He undertakes research in the area of hardware design and system specification with emphasis on component interconnection. He has recently been working on tools for advanced hardware description using logic programming and automated decision procedures and is now applying these techniques to more general software system specification and automated assembly.

In the AutoHAN project, Dr Greaves' group is investigating feature interaction conflicts, that may arise when a number of applications compete for control of the same physical resources. This work has applications ranging from automotive, safety-critical control to home networks. Currently there are nine PhD students working in this group.