Faculty

Computer and Information Science
Interest(s)
  • Theoretical foundations
  • Software reliability
Application Domain(s)
  • Real-time control systems
  • Multi-core protocols
Research Highlight
Enabling developers to take advantage of the power of modern multi-core systems.
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 systems
Application Domain(s)
  • Medical devices
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)
  • Network communications for CPS
Application Domain(s)
  • Energy efficient buildings
  • Implantable medical devices
  • Wireless control networks
Research Highlight
Designing a smart scheduling algorithm for building control to minimize peak power consumption.
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)
  • Multi-robot systems
  • Unmanned vehicles
  • Green buildings
Research Highlight
Conflict-free coordination for multiple aircraft in air traffic control.
Computer and Information Science
Interest(s)
  • Formal analysis
  • System-level design
  • Real-time cloud computing
Application Domain(s)
  • Automotive electronics and software
  • Avionic software
  • Real-time streaming multimedia
Research Highlight
Improving the safety and service guarantees of a vehicle control system.
Profile photo of Alejandro Ribeiro
Alejandro Ribeiro
Electrical and Systems Engineering
Interest(s)
Application Domain(s)
Research Highlight
Computer and Information Science
Interest(s)
  • Model-based verification and development
Application Domain(s)
  • 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.