Siddhartha Prasad

Papers

Total Citations

H-Index

About

Siddhartha Prasad is a rising researcher in formal methods and temporal logic, with a focus on improving the usability and correctness of specification languages. His work addresses critical misconceptions in Linear Temporal Logic (LTL), particularly the often-overlooked differences between finite-trace and infinite-trace semantics. His most cited paper, “Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic” (2024), has already garnered 3 citations—a strong start for a recent publication—and lays the groundwork for a comprehensive catalog of semantic errors. Prasad is developing test instruments to help practitioners in robot planning and runtime verification avoid costly specification mistakes. By bridging the gap between theoretical semantics and practical application, his research promises to make temporal logic more accessible and reliable for engineers and computer scientists. His work is particularly notable for its potential to reduce bugs in safety-critical systems, marking him as an emerging voice in the formal methods community.