PhD Student
Max Planck Institute for Software Systems
Satya Prakash Nayak is currently a doctoral student at the Max Planck Institute for Software Systems in Germany, working in the Control Software Systems group under the guidance of Dr. Anne-Kathrin Schmuck. His research focuses on the formal verification and synthesis of cyber-physical systems, with specific interests in logic, reactive synthesis, and games on graphs. Prior to this, Satya Prakash Nayak graduated with a Master’s in Computer Science and a Bachelor’s in Mathematics and Computer Science from the Chennai Mathematical Institute in India.