Robert W. Floyd
An American computer scientist who pioneered the concept of assigning meanings to programs using assertions, laying early groundwork for formal program verification.
Key facts
- Role
- Inventor
- Nationality
- American
- Born
- 1936
- Died
- 2001
An American computer scientist who pioneered the concept of assigning meanings to programs using assertions, laying early groundwork for formal program verification.