Gonthier, Georges, 1962-....
Georges Gonthier chercheur canadien en informatique, effectuant sa recherche en Grande-Bretagne et en France
Georges Gonthier
VIAF ID: 262324638 ( Personal )
Permalink: http://viaf.org/viaf/262324638
Preferred Forms
4xx's: Alternate Name Forms (6)
5xx's: Related Names (1)
- 551 _ _ ‡a Montréal ‡4 ortg ‡4 https://d-nb.info/standards/elementset/gnd#placeOfBirth
Works
Title | Sources |
---|---|
L' avenir du bitcoin et de la blockchain | |
The ESTEREL synchronous programming language : design, semantics, implementation | |
Étude formelle d'algorithmes efficaces en algèbre linéaire | |
Formal study of efficient algorithms in linear algebra. | |
Incremental development of an HDLC protocol in ESTEREL | |
Sémantiques et modèles d'exécution des langages réactifs synchrones application à ESTEREL | |
Vérification mécanisée de la correction et complexité asymptotique de programmes. |