6th Floor,

Arfa Software Technology Park, Lahore

P (042) - 111-111-ITU (488)

Dr. Usama Mehmood
Assistant Professor
PhD - Computer Science, Stony Brook University, USA

Usama Mehmood works on runtime verification of Cyber-physical systems (CPS). Typically, CPSs are defined as physical and engineered systems, which are controlled and monitored by computers. In the design of such CPS, powerful techniques such as model predictive control or reinforcement learning approaches are increasingly being considered instead of traditional component design.  Despite high performance, such designs are difficult to formally prove correct.  Considering that many CPS are safety-critical systems, the motivation of his research is to devise new techniques for CPS safety assurances. He has applied his research on multi-agent robotic systems and smart grids. Apart from contributions in the field of runtime verification, he has also worked on swarm robotics. He has synthesized distributed controllers for dynamic robotic agents which are able to achieve a range of objectives including obstacle avoidance, target seeking, and predator avoidance while moving safely and cohesively.


Usama Mehmood completed his Ph.D. at the Department of Computer Science at Stony Brook University under the supervision of prof. Scott A. Smolka in 2021. He received a Master's degree in Computer Science from Stony Brook University in 2019 and a Bachelor's degree in Electrical Engineering from LUMS in 2014. He is the recipient of the Stony Brook CS Department Chair Fellowship award. He has worked at MathWorks during the summer of 2018 and Facebook during the summer of 2019.

  1. Safe CPS from unsafe controllers in CAADCPS 2021: Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems
  2. Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding in ACC 2021: American Control Conference
  4. Neural flocking: MPC-based supervised learning of flocking controllers in FoSSaCS 2020: International conference on foundations of software science and computation structures
  5. Learning Distributed Controllers for V-Formation in ACSOS 2020: IEEE International Conference on Autonomic Computing and Self-Organizing Systems