King, Andy (informaticien)

King, Andy (informaticien)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 249277816

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

Notice de type Personne

Point d'accès autorisé

King, Andy (informaticien)

Nom à l'état civil

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 : anglais

Pays : Royaume-Uni de Grande-Bretagne et d'Irlande du Nord

Genre : Masculin

Notes

Note publique d'information :

Professeur au Département d'informatique de l'université du Kent, Royaume-Uni (en 2019)

Note publique d'information :

Rapporteur d'une thèse en Informatique soutenue à Sorbonne université en 2019

Identifiants externes

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

Identifiant SCOPUS : 57203276475

Source

Analyse statique modulaire précise par interprétation abstraite pour la preuve automatique de correction de programmes et pour l’inférence de contrats / Matthieu Journault ; sous la direction de Antoine Miné. Thèse de doctorat : Informatique : Sorbonne université : 2019

Information trouvée : Rapporteur d'une thèse en Informatique soutenue à Sorbonne université en 2019

https://www.cs.kent.ac.uk/people/staff/amk/pubs.html

Information trouvée : Professeur au Département d'informatique de l'université du Kent, Royaume-Uni (en 2019)

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