Томас В. - Thomas W. Reps - Wikipedia
Бұл тірі адамның өмірбаяны қосымша қажет дәйексөздер үшін тексеру.Қазан 2018) (Бұл шаблон хабарламасын қалай және қашан жою керектігін біліп алыңыз) ( |
Томас Уильям Репс | |
---|---|
Туған | 28 мамыр 1956 ж |
Алма матер | Гарвард университеті, Б.А., cum laude, 1977 Корнелл университеті, M.S., 1982, PhD, 1985 ж |
Ғылыми мансап | |
Мекемелер | Висконсин университеті - Мэдисон (1985 ж. Қазіргі уақытқа дейін) GrammaTech (1988 ж. Қазіргі уақытқа дейін) Recherche en Institut en enformatique et en Automatique (INRIA) Роккенкур, Франция (1982-83) Копенгаген университеті (1993-94) Consiglio Nazionale delle Ricerche Пиза қаласында, Италия (2000-2001) Париж Дидро университеті (2007–2008) |
Диссертация | Тілге негізделген орталарды құру (1982) |
Докторантура кеңесшісі | Тим Тайтельбаум |
Томас В. (1956 ж. 28 мамырда туылған, Америка Құрама Штаттары) - американдық информатик бағдарламаны автоматты түрде талдауға қосқан үлесімен танымал. Доктор Репс - компьютерлік ғылымдар кафедрасының информатика профессоры Висконсин университеті - Мэдисон 1985 ж. қосылды. Репс - төрт кітаптың және оның зерттеуін сипаттайтын жүз жетпіс бес жұмыстың авторы немесе тең авторы. Оның жұмысы әртүрлі тақырыптарды қамтыды, соның ішінде бағдарламаны кесу, деректер ағымын талдау, көрсеткішті талдау, модельді тексеру, компьютердің қауіпсіздігі, аспаптар (компьютерлік бағдарламалау), тіл дамытуға негізделген бағдарламалар, бағдарламалық жасақтаманы тестілеуде бағдарламалық жасақтаманы қолдану, бағдарламалық жасақтаманы жаңарту, қосымша алгоритмдер, және атрибутика грамматикасы.[1]
Reps-тің қазіргі жұмысы басты назарда статикалық талдау жалаңаштау (екілік) орындалатын файлдар, және әдістер - оған сүйенбестен символдық кесте немесе ақпаратты жөндеу - қалпына келтіру аралық өкілдіктер а-ның аралық фазаларына ұқсас құрастырушы а-да жазылған бағдарлама үшін жасайды жоғары деңгейдегі тіл. Мақсат - а бөлшектегіш немесе декомпилятор платформа талдаушы жұмысын түсіну үшін қолдана алады КОТС компоненттер, плагиндер, ұялы код, және DLL, Сонымен қатар жадының суреттері туралы құрттар және вирус жұқтырған код.
Өкілдер - президент және оның құрылтайшысы GrammaTech, Inc.
Марапаттар мен марапаттар
Өкілдер келесі марапаттардың иегері болды:
- ACM Докторлық диссертация сыйлығы (1983)
- Ұлттық ғылыми қор Президенттің жас тергеушісі сыйлығы (1986)
- Packard стипендиясы (1988)
- Гумбольдт атындағы ғылыми сыйлық (2000)
- Гуггенхайм стипендиясы (2000)
- Хорвиц, С., өкілдер Т. және Бинкли, Д., «тәуелділік графиктерін қолданып, процедуралық тілімдеу» ішінен ең ықпалды 50 құжаттың бірі ретінде таңдалды ACM PLDI, 1979-99 (2002)
- Ғылыми ақпарат институты «Жоғары келтірілген зерттеуші» (2003)[2]
- Бағдарламалау тілдері мен жүйелерінің Еуропалық қауымдастығы ETAPS-тегі ең үздік сыйлық (Г.Балакришнанмен бірге) (2004)
- ACM Стипендиат (2005)
- Бағдарламалау тілдері мен жүйелерінің Еуропалық қауымдастығы ETAPS-тегі ең үздік сыйлық (Дж. Лиммен бірге) (2008)
- ACM SIGSOFT Ретроспективті әсер қағазы (бар T. Teitelbaum ) (2010)
- ACM SIGSOFT Ретроспективті әсер қағаздары сыйлығы (С. Хорвиц, М. Сагив және Г. Розаймен бірге) (2011)
- Шетелдік мүшесі Academia Europaea (2013)[3]
- 8-ші (цитаталар) және 4-ші (өріс рейтингі) бойынша Microsoft Academic Search Бағдарламалау тілдері саласындағы ең көп келтірілген авторлардың тізімі (2013),[4] Бағдарламалық жасақтама саласындағы (2013 ж.) ең көп сілтеме жасалған авторлар тізімінде 23-ші (дәйексөздер) және 13-ші (өрістер рейтингі)[5]
- ACM СИПЛАН Бағдарламалау тілдері жетістіктері сыйлығы (2017)
Пайдаланылған әдебиеттер
- ^ http://www.cs.wisc.edu/~reps/
- ^ http://highlycited.com
- ^ http://www.ae-info.org/ae/User/Reps_Thomas_W./
- ^ http://academic.research.microsoft.com/RankList?entitytype=2&topDomainID=2&subDomainID=24
- ^ «Мұрағатталған көшірме». Архивтелген түпнұсқа 2012 жылғы 24 қазанда. Алынған 14 қазан 2013.CS1 maint: тақырып ретінде мұрағатталған көшірме (сілтеме)