HILT 2016             ACM logo - Advancing Computing as a Science & Profession

ACM SIGAda’s High Integrity Language Technology
International Workshop on
Model-Based Development and Contract-Based Programming
as part of Embedded Systems Week (ESWEEK)



image of Phil Koopman

Phil Koopman

Phil's background includes time as a submarine officer for the US Navy, a principal in a couple small startups, an embedded CPU architect for Harris Semiconductor, and an embedded system architect for United Technologies Research Center.

At Carnegie Mellon University, Phil worked in the broad areas of wearable computers, software robustness, embedded networking, dependable embedded computer systems, and autonomous vehicle safety. His current research interests focus on embedded systems, including the topics of: dependability, safety, critical systems, embedded control networks, distributed embedded systems, secure embedded systems, and embedded systems education.

Phil is a senior member of IEEE, a senior member of the ACM, and a member of IFIP WG 10.4 on Dependable Computing and Fault Tolerance.

He can be reached via email at koopman at cmu.edu

He is online at https://users.ece.cmu.edu/~koopman/


Created on 4 October 2016;  website comments and corrections to ClydeRoby at ACM.Org