Sifakis, Joseph (1946-.... ; informaticien)

Sifakis, Joseph (1946-.... ; informaticien)

Contrôle Paprika

Identifiant pérenne de la notice : 060235128

URI de l'entité : http://www.idref.fr/060235128/id

Notice de type Personne

Point d'accès autorisé

Sifakis, Joseph (1946-.... ; informaticien)

Sur le web

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)

Langue d'expression : français

Pays : France

Date de naissance : 1946

Date de début d'activité : 1974

Genre : Masculin

Notes

Note publique d'information :

Auteur d'une thèse de docteur-ingénieur en informatique (Grenoble 1, 1974) et d'une thèse d'État en sciences. Mathématiques (Grenoble 1/INPG, 1979). - Directeur de recherche CNRS. - Directeur du laboratoire VERIMAG. - Directeur de thèse à Grenoble INPG-ENSIMAG (-1982-1994-) . Prix Turing 2007

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/110770950

Identifiant Wikidata : Q92781

Identifiant ZBMath : sifakis.joseph

Identifiant Wikipédia : https://fr.wikipedia.org/wiki/Joseph_Sifakis

Identifiant SCOPUS : 6701777238

Identifiant ORCID : 0000-0003-2447-7981

Identifiant ISNI : 0000000121477236

Source

Application de la synthèse de contrôleur à l'ordonnancement de systèmes temps-réel [thèse 2001] / Karine Altisen

Internet, http://www.academie-sciences.fr/presse/communique/election_150311.pdf, 2011-03-28

Information trouvée : Joseph Sifakis, né le 26 décembre 1946

Le Contrôle des systèmes asynchrones : concepts, propriétés, analyse statique / par Joseph Sifakis ; sous la direction de Louis Bolliet, 1979. - Thèse d'État : Sciences. Mathématiques : Grenoble 1/INPG : 1979 ; 77

Modèles temporels des systèmes logiques / Joseph Sifakis ; sous la direction de Jean Kuntzmann, 1974. - Thèse de docteur-ingénieur : Informatique : Grenoble 1 : 1974

... Références liées : ...