Podelski, Andreas (19..-....)

Podelski, Andreas (19..-....)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 03209647X

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

Notice de type Personne

Point d'accès autorisé

Podelski, Andreas (19..-....)

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 : 19XX

Genre : Masculin

Notes

Note publique d'information :

Écrit aussi en anglais

Note publique d'information :

Mathématicien et informaticien. En poste au Laboratoire de Digital research, Centre de recherche de Paris, Rueil-Malmaison, Hauts-de-Seine (en 1992)

Note publique d'information :

Professeur à l'Université de Fribourg, Allemagne (en 2018)

Identifiants externes

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

Identifiant ORCID : 0000-0003-2540-9489

Identifiant SCOPUS : 7003653406

Identifiant ARK BNF : http://catalogue.bnf.fr/ark:/12148/cb123192675

Identifiant ISNI : 0000000116282653

Source

Analyse des erreurs d’arrondi sur les nombres à virgule flottante par programmation par contraintes / Rémy Garcia ; sous la direction de Claude Michel. Thèse de doctorat : Informatique : Université Côte d'Azur : 2021

Information trouvée : rapporteur de thèse, membre du jury

LCNA, 1993-03

Stratégies de recherches dédiées à la résolution de systèmes de contraintes sur les flottants pour la vérification de programmes / Heytem Zitoun ; sous la direction de Michel Rueher et Claude Michel. Thèse de doctorat : Informatique : Côte d'Azur : 2018

Information trouvée : rapporteur de thèse, membre du jury

Tree automata and languages / ed. by Maurice Nivat, Andreas Podelski, 1992

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