معرفی
Research Professor at University of Pennsylvania leading projects on cyber-physical systems safety. Directs DARPA-funded research in assured autonomy and attack-resilient control systems.
Education: PhD in Computer Science from SUNY Stony Brook (1996).
Research: Develops formal methods for runtime monitoring and verification of embedded systems. Current projects include medical device interoperability and physiological closed-loop control. Created MaC runtime verification framework and contributed to AADL standardization.
Teaching: Advises PhD students in real-time systems and formal verification. Teaches courses on mathematical foundations of computer security.
Awards:
- Best Paper, IEEE/ACM CPS Week (2014)
- Best Student Paper, RTAS (2012)
Labs & Projects: Member of PRECISE Center. Leads DARPA projects on assured autonomy and SPARCS. Collaborates with FDA on medical device safety frameworks.
