PhD, University of Illinois
Department of Electrical and Computer Engineering
Sathish Gopalakrishnan works on research problems related to the safety of cyber-physical systems (computing systems embedded in and interacting with the physical world). He is interested in techniques and tools for resource allocation and verification of correct system behaviour in such embedded computing systems. The broader context for his work relates to how we think about and develop dependable software.