Steven Rudich - Steven Rudich
Steven Rudich | |
|---|---|
| Urodzić się | 4 października 1961 |
| Nagrody | Nagroda Gödla |
| Praca akademicka | |
| Dyscyplina | Informatyka |
| Subdyscyplina | Teoria złożoności obliczeniowej |
| Instytucje | Carnegie Mellon |
| Wybitne pomysły | Naturalny dowód |
| Strona internetowa | https://www.cs.cmu.edu/~rudich/ |
Steven Rudich (ur. 4 października 1961) jest profesorem w Carnegie Mellon School of Computer Science . W 1994 roku on i Alexander Razborov udowodnili, że duża klasa argumentów kombinatorycznych, nazywanych dowodami naturalnymi , prawdopodobnie nie rozwiąże wielu ważnych problemów teorii złożoności obliczeniowej . Do tej pracy zostali wyróżniony Nagrodą Gödla w 2007 roku również współautorem papieru wykazując, że wszystkie obecnie znane NP-complete pozostają problemy NP-zupełny, nawet w AC 0 lub NC 0 redukcji.
Wśród studentów Carnegie Mellon najbardziej znany jest jako nauczyciel klasy „Wielkie idee teoretyczne w informatyce” (wcześniej nazywanej „Jak myśleć jak informatyk”), często uważanej za jedną z najtrudniejszych klas na studiach licencjackich. program. Jest redaktorem Journal of Cryptology , a także znakomitym magiem . Jego numer Erd to 2.
Leap@CMU
Rudich (i Merrick Furst , obecnie Distinguished Professor w Georgia Institute of Technology ) rozpoczęli letni program wzbogacania Leap@CMU (dawniej zwany Andrew's Leap) dla uczniów szkół średnich (i czasami gimnazjów) w 1991 roku. rano głównie na teoretycznych aspektach informatyki, potem przerwa obiadowa, a potem do wyboru – robotyka, programowanie lub teoria matematyki. Programowanie do wyboru jest podzielone na programowanie wprowadzające, programowanie średniozaawansowane i programowanie zaawansowane. Od 2017 r. usunięto element teorii matematycznej. Przez większość dni odbywa się również popołudniowy wykład członka wydziału Carnegie Mellon University. To jest umieszczane między obiadem a fakultatywnymi.
Aby zapisać się na Andrew's Leap, należy przystąpić do specjalistycznego testu znanego jako The Interesting Test. Ta ocena ma na celu ocenę umiejętności myślenia nieszablonowego i umiejętności matematycznych związanych z komputerem. Wyniki w szkole nie są brane pod uwagę przy podejmowaniu decyzji, kto jest gotowy na kurs.
Od lata 2018 r. program ten został przerwany.
Bibliografia
Zewnętrzne linki
- Strona główna Andrzeja Leap .
- Andrzeja Leap Blog .
-
Steven Rudich na DBLP Bibliografia Server
. - Strona główna w Carnegie Mellon .
