PhD Candidate in EECS
I am a fourth year PhD candidate working with Dr. Murat Arcak in the Networked Dynamical Systems Group. My research is funded in part by a National Science Foundation Graduate Research Fellowship.
I graduated from Georgia Tech with a B.S. in Electrical Engineering in May, 2010 and received a M.S. in Electrical Engineering from UC Berkeley in May, 2012. I expect to complete my PhD in the Spring of 2015.
During Summer 2012, I interned at NASA's Jet Propulsion Lab. I was a visiting scholar at the Lund Center for Control of Complex Engineering Systems at Lund University, Sweden during October 2012. My Erdős number is 4.
My research centers around analysis and control of cyber-physical, networked systems with applications that include dynamic traffic modeling, freeway and arterial traffic control, and formation control of mobile agents. I am interested in applying tools from the computer science domain of formal methods to the problem of control synthesis and verification for dynamical systems. Formal methods tools allow rich control specifications to be expressed using temporal logic, and verification and synthesis algorithms allow development of provably correct control strategies that achieve these rich objectives.