Rajejew Alur - Rajeev Alur

Rajejew Alur

Rajeev Alur jest amerykańskim profesorem informatyki na Uniwersytecie Pensylwanii, który wniósł wkład w metody formalne , języki programowania i teorię automatów , w tym w szczególności wprowadzenie automatów czasowych (Alur i Dill, 1994) oraz słów zagnieżdżonych (Alur i Madhusudan). , 2004).

Prof. Alur urodził się w Pune . Uzyskał tytuł licencjata w dziedzinie informatyki na Indyjskim Instytucie Technologii w Kanpur w Indiach w 1987 roku oraz doktorat. w informatyce ze Stanford University , California , USA, w 1991 roku przed przystąpieniem do University of Pennsylvania w 1997 roku, był z Centrum Badań Informatyki w Bell Laboratories . Jego badania włączyła formalnego modelowania i analizy systemów reaktywnych , układów hybrydowych , modelu kontroli , weryfikacji oprogramowania , automatyzacji projektowania dla wbudowanego oprogramowania oraz syntezę programu . Jest członkiem ACM , członkiem IEEE i pełnił funkcję przewodniczącego ACM SIGBED (Grupa Specjalnych Zainteresowań ds. Systemów Wbudowanych). Od 2003 roku posiada tytuł Profesora Rodziny Zismanów w Upenn.

Nagrody i wyróżnienia

Nagroda KARIERA od amerykańskiej Narodowej Fundacji Nauki .
Nagroda Computer Aided Verification Award 2008 za fundamentalny wkład w teorię weryfikacji systemów czasu rzeczywistego (z Davidem Dillem).
Nagroda Test-of-Time LICS (IEEE Symposium on Logic in Computer Science) 2010 za artykuł z 1990 roku „Sprawdzanie modeli dla systemów czasu rzeczywistego” (z Davidem Dillem i Costasem Courcoubetisem).
Nagroda 2016 Alonzo Church Award z Davidem Dillem „za wynalezienie automatów czasowych, decydującego modelu systemów czasu rzeczywistego, który łączy nowatorską, elegancką, głęboką teorię z szerokim praktycznym wpływem”.

Ten biograficzny artykuł dotyczący specjalisty komputerowego ze Stanów Zjednoczonych jest skrótem . Możesz pomóc Wikipedii, rozwijając ją .