My life obsession is to learn as much as I can about design and analysis of distributed autonomous and intelligent systems. Nothing excites me more than building a complex and smart system from scratch. I am particularly interested in automated design methods for safe and reliable distributed systems from high-level specifications. My background is in formal methods, cyber-physical systems, planning and decision making, artificial intelligence and robotics.
I am currently a senior software engineer at Uber ATG. Prior to that, I was a postdoctoral associate in Verifiable Robotics research group at Cornell University, working with Dr. Hadas Kress-Gazit. My research focus was on developing automated synthesis algorithms and tools for swarm robotic systems. Swarms are distributed systems with large number of unreliable robots. I obtained my Ph.D. in Computer and Information Science from University of Pennsylvania under supervision of Professor Rajeev Alur and Dr. Ufuk Topcu, and my B.Sc. degree in Software Engineering from department of Computer Engineering at Sharif University of Technology.