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..-....)

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)

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

Identifiants externes