Edmund M. Clarke Jr. (1945–2020)
Autor de Model Checking
Sobre El Autor
Créditos de la imagen: CLARKE, Edmund M.
Obras de Edmund M. Clarke Jr.
Etiquetado
Conocimiento común
- Otros nombres
- CLARKE, Edmund M.
- Fecha de nacimiento
- 1945-07-27
- Fecha de fallecimiento
- 2020-12-22
- Género
- male
- Lugar de fallecimiento
- COVID-19
- Lugares de residencia
- Pittsburgh, Pennsylvania, USA
- Organizaciones
- American Academy of Arts and Sciences (2011)
IEEE (Fellow)
ACM (Fellow)
Phi Beta Kappa
Sigma Xi
National Academy of Engineering (2005) - Premios y honores
- Turing Award (2007)
Paris Kanellakis Theory and Practice Award (1998)
Harry Goode Memorial Award (2004)
Herbrand Award (2008)
Miembros
Estadísticas
- Obras
- 3
- Miembros
- 33
- Popularidad
- #421,955
- Valoración
- 1.0
- ISBNs
- 11
- Favorito
- 1