Paulson, Lawrence C. (1955-....)

Paulson, Lawrence C. (1955-....)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 033984883

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

Notice de type Personne

Point d'accès autorisé

Paulson, Lawrence C. (1955-....)

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

Date de naissance : 1955

Notes

Note publique d'information :

Informaticien. En poste au Computer laboratory, University of Cambridge, GB (en 1994)

Note publique d'information :

Professeur à l'Université de Cambridge (en 2019)

Identifiants externes

Identifiant ORCID : 0000-0003-0288-4279

Identifiant Wikidata : Q6504468

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

Identifiant ZBMath : paulson.lawrence-charles

Identifiant SCOPUS : 7005293178

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

Identifiant ISNI : 0000000115777793

Source

Isabelle : a generic theorem prover / Lawrence C. Paulson ; with contrib. by Tobias Nipkow, 1994

LCNA (CD OCLC), 1995-03. BLNA, 1994-08

Outils pour la formalisation en analyse classique : une étude de cas en théorie du contrôle / Damien Rouhling ; sous la direction de Yves Bertot et Cyril Cohen. Thèse de doctorat : Informatique : Côte d'Azur : 2019

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

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