Max Robotics — Global Service Robot Directory + US Certification

About

Houssam Abbas is a researcher specializing in autonomous and robotic systems, with core expertise spanning real-time embedded software, formal methods, and human-robot interaction. His most influential work centers on the co-design of computation and control in autonomous systems, where he has tackled the fundamental challenge of balancing computational accuracy with stringent real-time deadlines. His 2015 paper on anytime computation and robust control (31 citations) established a foundational framework for managing execution-time variability in robotic state estimation, a thread he extended in his 2020 work on safety-critical autonomous systems. Abbas has also contributed meaningfully to the embedded software community through a widely recognized survey on robotics software challenges (15 citations), addressing topics from secure state estimation to ROS-based middleware. His work on temporal logic robustness for multi-agent systems advances formal verification methods for mission planning, while more recent research explores learning social obligations from human behavioral preferences—pushing autonomous systems toward greater societal alignment. From prosthetic arm control driven by EMG signals to self-driving car software verification, Abbas's career reflects a consistently interdisciplinary vision, bridging control theory, formal methods, and practical robotics engineering.