Chinmay Narayan

Chinmay Narayan is a Researcher at the Max Planck Institute for Software Systems (MPI-SWS). His research focuses on foundational and applied areas of computer science, including algorithms, programming languages, and cybersecurity.

• Research Interests:
• Algorithmic Theory & Logic
• Formal Verification of Programming Languages
• Cyber-Physical Systems Design
• Networked Systems Security
• Privacy-Preserving Technologies
• Information Systems in Sociotechnical Contexts

No specific publications, awards, or advising activities are explicitly detailed in the provided text.