Insup Lee
University/Research Lab: University of Pennsylvania
Location: (Philadelphia, PA)
Personal Research Web Page: http://www.cis.upenn.edu/~lee
Keywords: real-time systems, embedded systems, cyber-physical systems, high-confidence medical software systems, formal methods, quantitative trust managment
Location: (Philadelphia, PA)
Personal Research Web Page: http://www.cis.upenn.edu/~lee
Keywords: real-time systems, embedded systems, cyber-physical systems, high-confidence medical software systems, formal methods, quantitative trust managment
Posted on: Tuesday, June 2nd, 2009
Broad Research Area: Information Assurance / Security / Privacy / Cryptography, Mobile / Ubiquitous / Embedded Computing, Networks / Operating Systems, Scientific/Medical Informatics, Software Engineering
Research Interests:
See my home page: www.cis.upenn.edu/~lee
