Matthew Potok
Papers
1
Total Citations
6
H-Index
1
About
Matthew Potok is a researcher whose work lies at the intersection of formal methods, control theory, and hybrid systems—dynamical models that combine continuous and discrete behaviors, essential for verifying safety in everything from air traffic control to autonomous robotics. His major contributions center on making complex verification tools accessible and practical. Potok co-authored a seminal tutorial on three influential software tools—C2E2, HyST, and TuLiP—which enable researchers and engineers to verify, transform, and synthesize hybrid systems with greater ease and scalability. This tutorial, published in 2016, has become a key reference in the community, garnering over six citations and serving as a gateway for newcomers to the field. Beyond this tutorial, Potok’s work reflects a deep commitment to bridging theoretical advances with usable software, helping to democratize formal verification for safety-critical applications. His research continues to shape how we design and trust complex cyber-physical systems, making him a notable figure in the ongoing effort to build reliable autonomous technologies.
Research Focus
Key Achievements
Top Papers
- 1