Regular biography
Dr David Greaves is a Fellow at the University of Cambridge, affiliated with the Department of Computer Science and Technology. His research interests include Computer Architecture, Programming Languages, Semantics and Verification, and Systems and Networking. He teaches courses such as Databases (Part IA) and Programming in C and C++ (Part IB). Dr Greaves can be contacted via email at david dot greaves@cl.cam.ac.uk.
Scholar-generated biography
David J Greaves is a researcher at the University of Cambridge, Computer Laboratory, specializing in Compiler design, logic synthesis, and automated proof. His work focuses on developing tools and methodologies for hardware and software systems, including FPGA circuit synthesis, networking protocols, and power estimation for SystemC TLM models. He has contributed to projects involving ATM subnetworks, home area networks, and memory-safe capability systems. His research emphasizes the integration of high-level programming languages with low-level hardware design, enabling efficient and reliable system development. Greaves' publications highlight innovations in simulation, verification, and concurrent programming for embedded and distributed systems.