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.
Electrical and Systems Engineering
Interest(s)
- Safe autonomous systems
- Learning-based control
- Distributed control systems
Application Domain(s)
- Cyber-physical systems
- Safe AI
- Machine and reinforcement learning
Research Highlight
Provably safe, robust, and data-efficient learning enabled control.
Electrical and Systems Engineering
Interest(s)
- Model Predictive Control
- Learning for Control
Application Domain(s)
- Cyber-physical systems
- Medical systems
Research Highlight
Performance and safety guarantees for systems with learning-enabled controllers.
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.