People
Arun Thomas
Arun Thomas (BAE-TS) is the Principal Investigator for CADETS, responsible for all technical activities on the project. He provides expertise in the areas of operating systems and instrumentation to lead the team in achieving system design and operational goals. He has led the development of the DARPA CRASH/SAFE secure OS and was a lead developer of MINIX 3, a fault-tolerant embedded OS with crash-recoverable, live-updateable drivers and system components. He was one of the co-designers of the Mirage system, which applied transparent computing techniques to the problem of virtual machine management and development at enterprise scale.
Jonathan Anderson
Jonathan Anderson (MUN) is a CADETS co-Principal Investigator, leading the WATCHMAN local instrumentation work at Memorial University. Dr Anderson is an Assistant Professor in the Department of Electrical and Computer Engineering at Memorial and a FreeBSD committer. He led the development of Temporally Enhanced Security Logic Assertions (TESLA), a foundational technology for WATCHMAN and, eventually, the EQ language.
Robert N. M. Watson
Robert N. M. Watson (Cambridge) is a co-Principal Investigator for CADETS and DEQUE Distributed Instrumentation Lead. Dr. Watson is a University Lecturer in Systems, Security, and Architecture at the University of Cambridge Computer Laboratory, where he teaches and supervises cross-layer research in computer architecture, compilers, program analysis, program transformation, operating systems, networking, and security. He is Principle Investigator or Co-Investigator on a number of grants from government and industrial sponsors. These include the DARPA CRASH - CTSRD project, which has developed the CHERI capability-based processor architecture and TESLA dynamic program transformation technology, and the DARPA MRC - MRC2 project, which extended CHERI to multicore semantics, and developed network-switch technology.
Graeme Jenkinson
Graeme Jenkinson (Cambridge) is Research Associate in the University of Cambridge`s Computer Laboratory leading development of distributed dtrace for the CADETS project. Prior to CADETS, Dr. Jenkinson worked on Pico a token-based password replacement scheme. Dr Jenkinson has thirteen years industrial experience working in high-level technical roles in the defence and automotive industries.
George V. Neville-Neil
George V. Neville-Neil, is a consultant on CADETS who works on networking and operating system code for fun and profit. He also teaches courses on various subjects related to programming. His areas of interest are code spelunking, operating systems, networking and time protocols. He is the co-author with Marshall Kirk McKusick and Robert N. M. Watson of The Design and Implementation of the FreeBSD Operating System. For over ten years he has been the columnist better known as Kode Vicious. He earned his bachelor’s degree in computer science at Northeastern University in Boston, Massachusetts, and is a member of ACM, the Usenix Association, and IEEE. He is an avid bicyclist and traveler who currently lives in New York City.