P. Madhusudan

Papers

Total Citations

H-Index

About

P. Madhusudan is a leading researcher in formal methods, programming languages, and the safety of machine learning-enabled systems. His work bridges rigorous theoretical foundations with practical verification techniques, most notably through the introduction of **perception contracts**—a groundbreaking framework for reasoning about the safety of controllers that rely on neural perception. In his highly cited 2023 paper (15 citations), Madhusudan formalizes how errors in ground-truth estimation can be tolerated while preserving system invariants, offering a principled approach to verifying autonomous systems. This contribution is pivotal for ensuring reliability in AI-driven applications, from self-driving cars to robotics. Beyond this, his broader research spans automata theory, software verification, and synthesis, with a citation impact exceeding thousands. Madhusudan’s work has been recognized with multiple best paper awards and has influenced both academic theory and industrial practice. For students and researchers, his insights provide a critical lens for understanding how to tame the complexity of modern intelligent systems through mathematical rigor.