Natarajan Shankar - Natarajan Shankar
Natarajan Shankar | |
|---|---|
| narozený | |
| Alma mater | IIT Madras University of Texas v Austinu |
| Známý jako | Systém ověřování prototypů |
| Ocenění | SRI International Fellow 2009 |
| Vědecká kariéra | |
| Pole | Počítačová věda |
| Instituce | SRI International |
Natarajan Shankar je počítačový vědec pracující v SRI International v Menlo Park, Kalifornie, kde vede Laboratoř symbolické analýzy.[1]
Vzdělávání
Shankar získal titul Ph.D. titul v oboru počítačových věd, pod vedením poradců Robert S. Boyer a J Strother Moore, od University of Texas v Austinu v roce 1986.[1]
Jeho Ph.D. práce byla publikována jako kniha „Metamathematics, Machines, and Goedel's Proof“ od autora Cambridge University Press v roce 1994.[2]
Kariéra
Shankar původně působil jako výzkumný pracovník v Stanfordská Univerzita, od roku 1986 do roku 1988.[1] V roce 1989 nastoupil SRI International 's Computer Science Laboratory. Zatímco na SRI, on používal Boyer – Mooreova věta dokázat metateorémy, jako je tautologická věta, Godlova věta o neúplnosti a Church-Rosser teorém. Podílel se na vývoji technologie automatizovaného uvažování, deduktivních systémů a výpočetních motorů, včetně Systém ověřování prototypů.[1]
V roce 2009 byl jmenován členem SRI.[3] Stipendium oceňuje výjimečné zaměstnance za vynikající přínos pro vědu. Ostatní členové SRI v laboratoři informatiky na SRI jsou Peter G. Neumann, John Rushby, Patrick Lincoln a Carolyn Talcott.[3]
Reference
- ^ A b C d „Natarajan Shankar“. Federovaná logická konference 2002. Citováno 2012-03-11.
- ^ „Metamathematics, Machines, and Goedel's Proof“. SRI International. Citováno 2012-03-11.
- ^ A b „Členové SRI“. SRI International. Citováno 2012-03-11.
