Satya Prakash Nayak (Preferred)
Satya Prakash Nayak
PhD student, Control Software Systems, MPI-SWS
- Joined July 2025
Names
Emails
****@mpi-sws.org (Confirmed)
, ****@gmail.com (Confirmed)
Personal Links
Career & Education History
PhD student
Control Software Systems, MPI-SWS (mpi-sws.org)
2021 – Present
MS student
Computer Science, Chennai Mathematical Institute (cmi.ac.in)
2019 – 2021
Undergrad student
Mathematics and Computer Science, Chennai Mathematical Institute (cmi.ac.in)
2016 – 2019
Advisors, Relations & Conflicts
Expertise
reactive synthesis
Present
games on graphs
Present
temporal logics
Present