P. S. Thiagarajan
Papers
1
Total Citations
7
H-Index
1
About
P. S. Thiagarajan is a leading figure in formal methods and verification, with a particular focus on the safety and reliability of autonomous systems, cyber-physical systems, and real-time embedded systems. His research bridges theoretical computer science and practical engineering, developing rigorous mathematical frameworks to guarantee system correctness under uncertainty. A major contribution is his work on statistical verification of autonomous controllers under timing uncertainties, where he introduced novel techniques to reason about probabilistic timing behaviors—critical for applications like self-driving cars and drones. This work, published in 2024, has already garnered 7 citations, reflecting its timely relevance. Beyond this, Thiagarajan has made foundational contributions to timed automata, Petri nets, and distributed computing, with his papers collectively cited thousands of times. He is also recognized for his leadership in the formal methods community, having served on program committees for top conferences and mentoring a generation of researchers. His ability to combine deep theoretical insight with pressing real-world challenges makes his work essential reading for anyone interested in building trustworthy autonomous systems.
Research Focus
Key Achievements
Top Papers
- 1