Aller au contenu

Natarajan Shankar

Un article de Wikipédia, l'encyclopédie libre.
Natarajan Shankar
une illustration sous licence libre serait bienvenue
Biographie
Naissance
Formation
Activité
Œuvres principales

Natarajan Shankar est un informaticien indien travaillant au SRI International à Menlo Park, en Californie, où il dirige le laboratoire d'analyse symbolique[1].

Shankar obtient son doctorat. diplôme en informatique, sous la direction de Robert S. Boyer et J Strother Moore, de l'université du Texas à Austin en 1986[1].

Sa thèse de doctorat est publiée sous le titre de livre "Metamathematics, Machines, and Goedel's Proof" par Cambridge University Press en 1994[2].

Shankar est d'abord associé de recherche à l'université Stanford, de 1986 à 1988[1]. En 1989, il rejoint le Laboratoire d'Informatique de SRI International. Au SRI, il utilise le prouveur de théorèmes de Boyer-Moore (en) pour prouver des métathéorèmes tels que le théorème de tautologie, le théorème d'incomplétude de Godel et la propriété de Church-Rosser. Il contribue au développement de la technologie de raisonnement automatisé, des systèmes déductifs et des moteurs de calcul, y compris le système de vérification de prototype [1].

Prix et distinctions En 2009, il est nommé SRI Fellow, aux côtés de Peter G. Neumann (en), John Rushby (en), Patrick Lincoln (en) et Carolyn Talcott (en) [3]. La bourse reconnaît les membres exceptionnels du personnel pour leurs contributions exceptionnelles à la science[3]. En 2022 il est lauréat du prix Herbrand « en reconnaissance de ses travaux très influents dans plusieurs domaines du raisonnement automatique, notamment dans la formalisation des preuves, la coopération de procédures interactives de démonstration de théorèmes et de décision, et les applications à la vérification »[4].

Publications

[modifier | modifier le code]

Références

[modifier | modifier le code]
(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Natarajan Shankar » (voir la liste des auteurs).
  1. a b c et d « Natarajan Shankar », Federated Logic Conference 2002 (consulté le )
  2. « Metamathematics, Machines, and Goedel's Proof », SRI International (consulté le )
  3. a et b « SRI Fellows », SRI International (consulté le )
  4. (en) « Herbrand Award for Distinguished Contributions to Automated Reasoning » (consulté le )

Liens externes

[modifier | modifier le code]