Gerard Holzmann (Q4588721)

De Wikidata
Aller à la navigation Aller à la recherche
Dutch computer scientist anglais
  • Gerard J. Holzmann
modifier
Langue Libellé Description Également connu comme
français
Gerard Holzmann
Aucune description fournie
  • Gerard J. Holzmann
anglais
Gerard J. Holzmann
Dutch computer scientist
  • Holzmann
  • Gerard Holzmann
  • G.J. Holzmann
  • Gerard Johan Holzmann

Déclarations

image
Gerard J. Holzmann FLoC 2006.jpg
640 × 432 ; 95 kio
0 référence
sexe ou genre
masculin
0 référence
prénom
Gerard
0 référence
Johan
0 référence
nom de famille
Holzmann
0 référence
résidence
Amsterdam
0 référence
distinction reçue
prix Paris-Kanellakis
date
2005
motif de la récompense
For the development of automata-theoretic techniques for reactive-systems verification, and the practical realization of powerful formal-verification tools based on these techniques. (anglais)
1 référence
URL de la référence
https://awards.acm.org/kanellakis/award-recipients
ACM Fellow anglais
date
2011
motif de la récompense
For contributions to software verification by model checking. (anglais)
1 référence
URL de la référence
https://awards.acm.org/award-recipients/holzmann_1625680

Identifiants

identifiant Prabook
223682
0 référence
 
modifier
modifier
    modifier
      modifier
        modifier
          modifier
            modifier
              modifier
                modifier
                  Récupérée de « https://www.wikidata.org/w/index.php?title=Q4588721&oldid=2069733185 »