Filip Wadler - Philip Wadler

Phil Wadler
Wadler2.JPG
Wadler przed wykładem na Uniwersytecie w Edynburgu
Urodzić się
Philip Lee Wadler

( 1956-04-08 )8 kwietnia 1956 (65 lat)
Alma Mater
Nagrody
Kariera naukowa
Pola Języki programowania
Instytucje
Praca dyplomowa Apatia jest lepsza niż lenistwo: algorytm, który przekształca programy aplikacyjne w celu wyeliminowania list pośrednich  (1984)
Doradca doktorski Nico Habermann
Doktoranci
Strona internetowa

Philip Lee Wadler (ur. 8 kwietnia 1956) to amerykański informatyk znany ze swojego wkładu w projektowanie języka programowania i teorię typów . W szczególności przyczynił się do opracowania teorii programowania funkcjonalnego i wykorzystania monad w programowaniu funkcjonalnym , projektowania czysto funkcjonalnego języka Haskell oraz deklaratywnego języka zapytań XQuery . W 1984 stworzył język programowania Orwell . Wadler był zaangażowany w dodawanie typów generycznych do Javy 5.0. Jest także autorem darmowego artykułu Twierdzenia! co dało początek wielu badaniom nad optymalizacją języka funkcjonalnego (zobacz także Parametryczność ).

Edukacja

Wadler otrzymała Bachelor of Science stopnia w matematyce z Uniwersytetu Stanforda w 1977 roku, a Master of Science stopnia w dziedzinie informatyki z Carnegie Mellon University w 1979 roku ukończył doktora informatyki na Carnegie Mellon University w 1984. Jego praca była zatytułowany Apatia jest lepsza niż lenistwo i był nadzorowany przez Nico Habermanna .

Badania i kariera

Zainteresowania badawcze Wadler dotyczą języków programowania .

Wadler był pracownikiem naukowym w Programming Research Group (część Oxford University Computing Laboratory ) i St Cross College w Oksfordzie w latach 1983-87. W latach 1987-1996 był stopniowo wykładowcą, czytelnikiem i profesorem na Uniwersytecie Glasgow . Wadler był członkiem personelu technicznego w Bell Labs , Lucent Technologies (1996-99), a następnie w Avaya Labs (1999-2003). Od 2003 roku jest profesorem informatyki teoretycznej w School of Informatics na Uniwersytecie w Edynburgu .

Wadler był redaktorem Journal of Functional Programming od 1990 do 2004. Obecnie Wadler pracuje nad nowym językiem funkcjonalnym przeznaczonym do pisania aplikacji internetowych , zwanym Links . Wypromował wielu doktorantów do końca.

Od 2003 r. Wadler jest profesorem informatyki teoretycznej w Laboratorium Podstaw Informatyki Uniwersytetu w Edynburgu i jest kierownikiem Katedry Informatyki Teoretycznej. Jest również członkiem uniwersyteckiego Laboratorium Technologii Blockchain . Jego indeks h wynosi 72 z 26 874 cytowaniami w Google Scholar . Od grudnia 2018 r. Wadler był liderem w obszarze języków programowania w IOHK, firmie zajmującej się rozwojem blockchain.

Nagrody i wyróżnienia

Wadler otrzymał nagrodę Most Influential POPL Paper Award w 2003 r. za artykuł Sympozjum POPL w 1993 r. Imperative Functional Programming , wspólnie z Simonem Peytonem Jonesem . W 2005 roku został wybrany Fellow of Royal Society of Edinburgh . W 2007 roku został wprowadzony jako ACM Fellow przez Association for Computing Machinery (ACM).

Bibliografia

Zewnętrzne linki