| HILT 2016 |
|
ACM SIGAda’s High Integrity Language Technology
International Workshop on
Model-Based Development and Contract-Based Programming
as part of Embedded Systems Week
(ESWEEK)
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/