Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Кіріспе
Неміс-американдық компьютер ғылымының профессоры және жазушы
German American computer science professor and author
Маттиас Феллейзен – неміс-американдық компьютер ғылымының профессоры және жазушы. Ол Германияда өсті және жиырма жасында АҚШ-қа көшті. Ол докторлық дәрежесін Индиана университетінде Даниэль П. Фридманның жетекшілігімен алды. Райс университетінің Компьютер ғылымдары кафедрасында 14 жыл профессор болып жұмыс істегеннен кейін, Феллейзен Бостон, Массачусетс штатындағы Солтүстік-Шығыс университетінің Компьютер ғылымдары колледжіне қызметке кірді. Феллейзеннің қызығушылықтарына бағдарламалау тілдері, соның ішінде бағдарламалық құралдар, бағдарлама жобалау, бағдарламалық келісімдер және тағы да басқалары кіреді. 1990 жылдары Феллейзен PLT және TeachScheme! (кейін ProgramByDesign, ал соңында Bootstrap жобасы) жобаларын жаңадан бастаушыларға бағдарлама жобалау принциптерін үйрету және Scheme-ді ірі жүйелерді құру үшін пайдалануды зерттеу мақсатымен іске қосты. Осы жұмыстың бір бөлігі ретінде ол Findler, Flatt және Krishnamurthi-мен бірге «How to Design Programs» (MIT Press, 2001) кітабының авторы болды.
Matthias Felleisen is a German American computer science professor and author. He grew up in Germany and immigrated to the US in his twenties. He received his PhD from Indiana University under the direction of Daniel P. Friedman. After serving as professor for 14 years in the Computer Science Department of Rice University, Felleisen joined the Khoury College of Computer Sciences at Northeastern University in Boston, Massachusetts as Trustee Professor. Felleisen's interests include programming languages, including software tools, program design, software contracts, and many more. In the 1990s, Felleisen launched PLT and TeachScheme! (later ProgramByDesign and eventually giving rise to the Bootstrap project
) with the goal of teaching program design principles to beginners and to explore the use of Scheme to produce large systems. As part of this effort, he authored How to Design Programs (MIT Press, 2001) with Findler, Flatt, and Krishnamurthi.
Марапаттар мен құрметтер
Феллейзен 2011 жылы Компьютерлік білім беру жөніндегі техникалық симпозиумда, 2010 жылы Функционалдық бағдарламалау жөніндегі халықаралық конференцияда, 2004 жылы Объектіге бағдарланған бағдарламалау жөніндегі Еуропалық конференцияда және 2001 жылы Бағдарламалау тілдерінің қағидаттары жөніндегі симпозиумда, сондай-ақ компьютерлік ғылымдар саласындағы бірнеше конференция мен семинарда негізгі баяндама жасады. 2006 жылы ол Компьютерлік машиналар қауымдастығының (ACM) мүшесі болып сайланды. 2009 жылы ACM-нен Карл В. Карлстромның үздік оқытушы сыйлығын алды. 2010 жылы ACM-нен Компьютерлік ғылым білімін дамытуға қосқан үлкен үлесі үшін SIGCSE сыйлығын алды. 2012 жылы ол ACM SIGPLAN бағдарламалау тілдері жетістіктері сыйлығын "бағдарламалау тілдері саласына елеулі және ұзақ мерзімді үлес қосқаны үшін" алды, бұл үлес бақылау және күй үшін кіші қадамдық операциялық семантика, миксин кластары мен миксин модульдері, ретті PCF үшін толық абстрактілі семантика, веб-бағдарламалау техникалары, кінәлі жоғары деңгейдегі келісімдер және динамикалық тілдер үшін статикалық типтеуді қамтиды. 2018 жылы Феллейзен ACM SIGPLAN бағдарламалау тілдері бағдарламалық жасақтамасы сыйлығын (Racket негізгі командасының қалған бөлігімен бірге) алды.
Felleisen gave the keynote addresses at the 2011 Technical Symposium on Computer Science Education, 2010 International Conference on Functional Programming, 2004 European Conference on Object Oriented Programming and the 2001 Symposium on Principles of Programming Languages, and several other conferences and workshops on computer science. In 2006, he was inducted as a fellow of the Association for Computing Machinery. In 2009, he received the Karl V. Karlstrom Outstanding Educator Award from the ACM. In 2010, he received the SIGCSE Award for Outstanding Contribution to Computer Science Education from the ACM. In 2012, he received the ACM SIGPLAN Programming Languages Achievement Award for "significant and lasting contribution to the field of programming languages" including small step operational semantics for control and state, mixin classes and mixin modules, a fully abstract semantics for Sequential PCF, web programming techniques, higher order contracts with blame, and static typing for dynamic languages. In 2018, Felleisen received the ACM SIGPLAN's Programming Languages Software Award (jointly with the rest of the Racket core team).