Stanly Samuel

Advised by:- K.V. Raghavan & Deepak D’Souza(CSA)

Stanly is a Ph.D. student in the Department of Computer Science and Automation at Indian Institute of Science, Bangalore, advised by Prof. K.V. Raghavan and Prof. Deepak D’Souza. His research focuses on designing algorithms and building scalable tools in the domain of reactive synthesis using ideas from program verification, the theory of infinite games, and logic which has applications to cyber-physical system control and wireless sensor networks. His interests lie in the fine intersection between theory and practice, especially in the umbrella area of algorithmic program synthesis.