Eli Szamir - Eli Shamir
Eliahu Szamir | |
---|---|
Alma Mater | Uniwersytet Hebrajski |
Znany z | lemat pompowania |
Kariera naukowa | |
Pola | Algorytmy randomizowane i probabilistyczne, Sieci komunikacyjne, Przetwarzanie języka naturalnego |
Praca dyplomowa | Hilbert przekształca się na półprostej i mieszane eliptyczne problemy brzegowe w płaszczyźnie (1963) |
Doktoranci |
Eliahu (Eli) Shamir ( hebr . אליהו שמיר ) jest izraelskim matematykiem i informatykiem , emerytowanym profesorem informatyki Jean i Helene Alfassa na Uniwersytecie Hebrajskim w Jerozolimie .
Biografia
Shamir uzyskał tytuł doktora. z Uniwersytetu Hebrajskiego w 1963 pod kierunkiem Shmuela Agmona . Po krótkim piastowaniu stanowisk wydziałowych na Uniwersytecie Kalifornijskim, Berkeley i Northwestern University , powrócił na Uniwersytet Hebrajski w 1966 r., a w 1972 r. został awansowany na profesora zwyczajnego.
Składki
Shamir był jednym z odkrywców lematu o pompowaniu dla języków bezkontekstowych . Prowadził badania nad równaniami różniczkowymi cząstkowymi , teorią automatów , grafami losowymi , teorią uczenia komputerowego i lingwistyką komputerową . Był (wraz z Michaelem O. Rabinem ) jednym z założycieli programu informatyki na Uniwersytecie Hebrajskim.
Nagrody i wyróżnienia
W 1987 r. otrzymał imienne krzesło, aw 2002 r. w Neve Ilan w Izraelu odbyły się na jego cześć warsztaty dotyczące uczenia się i weryfikacji formalnej.
Wybrane publikacje
- Bar-Hillel, Y .; Perles, M .; Shamir, E. (1961), „O właściwościach formalnych gramatyk struktury prostej frazy”, Zeitschrift für Phonetik, Sprachwissenschaft und Kommunikationsforschung , 14 (2): 143-172.
- Szamir E.; Spencer, J. (1987), "stężenie Ostry liczby chromatycznej losowych wykresy G, n , p " Combinatorica , 7 (1): 121-129, doi : 10.1007 / BF02579208 , MR 0905159 , S2CID 27769008.
- Freund, Yoav ; Seung, H. Sebastian ; Szamir, Eli; Tishby, Naftali (1997), „Wybiórcze pobieranie próbek za pomocą zapytania przez algorytm komitetu”, Uczenie maszynowe , 28 (2-3): 133-168, doi : 10,1023/A: 1007330508534.
Bibliografia
Linki zewnętrzne
- Eli Shamir na serwerze bibliograficznym DBLP