About
Gerard Holzmann is a Lecturer in Computing and Mathematics Sciences at the California Institute of Technology. His research focuses on software safety, formal verification techniques, distributed systems, and static analysis methods. He has contributed to tools like Tau for automata-based verification and improved algorithms for parallel model checking.
His work spans reactive synthesis, multi-paradigm specifications, and swarm testing methodologies. Holzmann teaches advanced courses such as CS 118 – Automata-Theoretic Software Analysis, emphasizing practical applications of formal methods in software engineering.
0Publications listed
Find Gerard Holzmann elsewhere
Related Searches
You Might Also Like
- LLuca Di StefanoVienna University of Technology · Researcher
Salomon SickertTechnical University of Munich · Research Fellow- FFrancisco Javier Esparza EstaunTechnical University of Munich · Professor
- BBengt JonssonSchloss Dagstuhl - Leibniz Center for Informatics · Researcher
- TTom van DijkVienna University of Technology · Assistant Professor
Deepak D'SouzaMax Planck Institute for Security and Privacy · Professor