
About the speaker: Usama Mehmood is a computer scientist investigating the verification of cyber-physical systems. He strives to develop practical formal methods that are both scalable and useful, which demands developing new theories, programming efficient tools, and building experimental systems. Some of the application areas he has worked on include multi-agent robotic systems and smart grids.
Usama Mehmood received a Bachelor's degree in Electrical Engineering from LUMS in 2014, and a Master's degree in Computer Science from Stony Brook University in 2019. Currently, he is a Ph.D. candidate at the Department of Computer Science at Stony Brook University under the supervision of prof. Scott A. Smolka. 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.
This seminar by Dr. Usama Mehmood took place via Zoom on Monday, December 21 at 11:00 am.