CPS V&V I&F Workshop 2014: Committee

Steering Committee

Bruce Krogh (Electrial & Computer Engineering, Carnegie Mellon University)
Sarah Loos (Computer Science Department, Carnegie Mellon University)
André Platzer (Computer Science Department, Carnegie Mellon University)
Scott Smolka (Department of Computer Science, SUNY at Stony Brook)




Funding Acknowledgment

The CPS V&V I&F workshop is funded by the NSF CAREER Award: Logical Foundations of Cyber-Physical Systems.