Cordell Green - Cordell Green
Cordell Green | |
---|---|
Urodzony | Claude Cordell Green |
Edukacja |
Rice University Stanford University |
Nagrody | Nagroda Grace Murray Hopper (1985) |
Kariera naukowa | |
Pola | Informatyka |
Instytucje | Stanford University Kestrel Institute |
Praca dyplomowa | Zastosowanie twierdzenia dowodzącego do systemów odpowiadających na pytania (1969) |
Cordell Green to amerykański informatyk, dyrektor Kestrel Institute .
Green otrzymał tytuł licencjata i licencjata na Uniwersytecie Rice odpowiednio w 1963 i 1964 roku. Następnie uczęszczał na Uniwersytet Stanforda , gdzie uzyskał tytuł magistra w 1965 r. I doktora w 1969 r.
Green pracował w Biurze Technik Przetwarzania Informacji DARPA , gdzie pomógł zaplanować projekt badawczy rozumienia mowy, a także był asystentem Lawrence'a Robertsa , który wtedy tworzył ARPANET . Na Uniwersytecie Stanforda Green był wykładowcą i adiunktem w dziedzinie informatyki oraz członkiem grupy Artificial Intelligence Group w Stanford Research Institute (obecnie SRI International ).
W 1985 roku Green otrzymał nagrodę Grace Murray Hopper za ustanowienie teoretycznych podstaw w dziedzinie programowania logicznego . W 2002 roku otrzymał nagrodę Stevensa za „wkład w metody rozwoju oprogramowania i systemów”. Jest członkiem ACM , AAAI i ASE .