Faculty

Computer and Information Science
Interest(s)
  • Model-based design
  • Formal verification
Application Domain(s)
  • Embedded control software
  • Real-time decision making
Research Highlight
High-level query language over streaming data with performance guarantees.
Computer and Information Science
Interest(s)
  • Machine learning
Application Domain(s)
  • Learning-based control
  • Precision medicine
Research Highlight
Designing a novel reinforcement learning algorithm that learns easy-to-verify controllers.
Computer and Information Science
Interest(s)
  • Computer architecture
  • Programming languages
Application Domain(s)
  • Multicore processors
  • GPUs
  • Compilers
Research Highlight
Runtime systems that can automatically repair performance bugs without programmer intervention.
Computer and Information Science
Interest(s)
  • Real-time embedded systems
  • CPS safety & security
  • Assurance cases
Application Domain(s)
  • Cyber-physical systems
  • Internet of Medical Things
  • Autonomous systems
Research Highlight
Leveraging personal data, medical devices, real-time computation and control systems to augment the capability of caregivers to help patients.
Electrical and Systems Engineering
Interest(s)
  • Safe autonomous systems
  • Safe implantable medical devices
  • Energy-efficient smart buildings
Application Domain(s)
  • Driverless vehicles
  • Implantable cardiac devices
  • Energy price-aware adaptive buildings
Research Highlight
Building safe life-critical systems by bridging formal methods, control systems and machine learning.
Computer and Information Science
Interest(s)
  • Programming languages
  • Software engineering
Application Domain(s)
  • Security
  • Concurrency
  • Mobile computing
Research Highlight
Building advanced programming systems that effectively combine the power of users, machines, and data.
Electrical and Systems Engineering
Interest(s)
  • Embedded control systems
  • Networked control systems
  • Hybrid control systems
Application Domain(s)
  • Internet of Things
  • Safe AI
  • Robotics
Research Highlight
Verified autonomy for multi-robot systems.
Computer and Information Science
Interest(s)
  • Cyber-physical systems
  • Distributed systems
Application Domain(s)
  • Avionic
  • NFV
  • Automotive
  • Medical systems
  • IoT
  • Cloud computing
Research Highlight
Developing theoretical foundations and practical platforms for CPS (with provable safety, security and timing guarantees).
Computer and Information Science
Interest(s)
  • Model-based verification and development
  • Runtime verification
Application Domain(s)
  • Autonomous vehicles
  • Medical devices
Research Highlight
Enabling automatic control of an infusion pump to ensure that the patient is not harmed by an overdose of pain medication.
Computer and Information Science
Interest(s)
  • Medical cyber-physical systems
  • Cyber-physical security
Application Domain(s)
  • Health informatics
  • Personalized health
Research Highlight
Parameter-invariant design of medical alarms for diabetes meal detection, monitoring hypovolemia, and predicting hypoxia in infants.