IEEE SMC-IT/SCC 2026
Mon 3 - Fri 7 August 2026 Pasadena, California, United States
IEEE SMC-IT/SCC 2026 (series) / Gerard Holzmann
Gerard Holzmann

Registered user since Sat 29 Oct 2016

Name:Gerard Holzmann
Bio:

Formerly Director Computing Principles Research, Bell Labs, and Fellow NASA/JPL, Pasadena, CA, USA. Fellow of the ACM. Member National Academy of Engineering (2005)

Country:United States
Affiliation:Nimble Research, USA
Personal website: http://spinroot.com/gerard
GitHub: https://github.com/nimble-code
Research interests:distributed systems, software verification

Contributions

Show activities from other conferences

Using general profile