Philip Wadler
Philip Lee Wadler ( 8 aprilie 1956 ) este un informatician american . Este cunoscut pentru contribuțiile sale la proiectarea limbajului de programare și teoria tipurilor. În special, el a contribuit la teoria din spatele programării funcționale [1] și la utilizarea monadelor în programarea funcțională, la proiectarea limbajului pur funcțional Haskell și la limbajul de interogare declarativ XQuery . În 1984 a creat limbajul de programare Orwell . Wadler a fost implicat în adăugarea de tipuri generice la Java 5.0 [2] . El este, de asemenea, autorul articolului Teoreme gratuit! [3] care a dat naștere multor cercetări privind optimizarea funcțională a limbajului
Wadler a obținut o diplomă de licență în matematică la Universitatea Stanford în 1977 și un master în inginerie computerizată la Universitatea Carnegie Mellon în 1979 [4] . Și-a finalizat doctoratul în filosofie în informatică de la Universitatea Carnegie Mellon în 1984 . Teza sa a fost intitulată lipsa de valoare este mai bună decât lenea (apatia este mai bună decât lenea) și a fost supravegheată de Nico Habermann
Interesele cercetării lui Wadler se referă la limbaje de programare. Wadler a fost cercetător la Programming Research Group (parte a Laboratorului de Calcul Universitar Oxford) și la St Cross College ( Oxford ) din 1983 până în 1987 . A fost progresiv lector, lector și profesor la Universitatea din Glasgow din 1987 până în 1996 . Wadler a fost membru al personalului tehnic la Bell Labs , Lucent Technologies (1996–99) și apoi la Avaya Labs ( 1999 - 2003 ). Din 2003 este profesor de informatică teoretică la Școala de Informatică a Universității din Edinburgh [5] .
Wadler a fost editor al Journal of Functional Programming din 1990 până în 2004 . Wadler lucrează în prezent la un nou limbaj funcțional conceput pentru scrierea aplicațiilor web, numit Linkuri. [6]
Din 2003 , Wadler a fost profesor de informatică teoretică la Laboratorul pentru fundații de informatică de la Universitatea din Edinburgh . De asemenea, este membru al Laboratorului de Tehnologie Blockchain al universității. Are un indice h de 70 cu 24.447 de citații pe Google Scholar . Începând din decembrie 2018, Wadler a fost lider de zonă pentru limbaje de programare la IOHK, o companie de dezvoltare blockchain .
Notă
- ^ Philip Wadler: Biografie , la oreillynet.com , O'Reilly Media . Adus pe 20 martie 2017 .
- ^ Wadler, Philip și Naftalin, Maurice, generice și colecții Java , Sebastopol, CA, O'Reilly, 2007, ISBN 978-0-596-52775-4 .
- ^ P. Wadler, Teoreme gratis! , în Proceedings of the 4th conference international on Functional programming languages and computer architecture - FPCA '89 , 1989, p. 347, DOI : 10.1145 / 99370.99404 , ISBN 978-0-89791-328-7 .
- ^ Philip Wadler: CV ( PDF ), la Homepages.inf.ed.ac.uk . Adus pe 20 martie 2017 .
- ^ Philip Wadler , pe Inf.ed.ac.uk. Adus pe 20 martie 2017 .
- ^ Copie arhivată , pe groups.inf.ed.ac.uk . Adus la 22 iunie 2006 (arhivat din original la 17 iunie 2006) .
Alte proiecte
-
Wikimedia Commons conține imagini sau alte fișiere despre Philip Wadler
| Controlul autorității | VIAF (EN) 74.166.584 · ISNI (EN) 0000 0001 1448 039X · LCCN (EN) n92021509 · BNF (FR) cb155572767 (data) · WorldCat Identities (EN) lccn-n92021509 |
|---|
