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, Electrical and Systems Engineering
Interest(s)
- Computer architecture
- Distributed systems
- Machine learning
Application Domain(s)
- Data centers
- Energy efficiency
- System security
Research Highlight
Designing and managing computer systems with machine learning and algorithmic economics.
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, Computer and Information Science
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, Electrical and Systems Engineering
Interest(s)
- Wireless Systems
- Machine Learning
Application Domain(s)
- Digital Health
- Internet of Things
- Robotics
Research Highlight
Developing novel wireless technologies with unique sensing capabilities for advancements in digital health & robust robotic perception.