Write a Blog >>
ICFP 2020
Sun 23 - Sat 29 August 2020
Sun 23 Aug 2020 11:50 - 12:30 at PLMW - Session 2

David Van Horn is an Assistant Professor in the Department of Computer Science and the Institute for Advanced Computer Studies (UMIACS) at the University of Maryland, College Park. His research interests are in programming languages and formal methods, where he works toward making the construction of reusable, trusted software components possible and effective. He publishes regularly in the flagship SIGPLAN conferences, POPL, PLDI, OOPSLA, and ICFP, and his work has been recognized with a National Science Foundation CAREER Award, a CRA Computing Innovation Fellowship, a Communications of the ACM Research Highlight, an OOPSLA Distinguished Paper Award, and several invitations to special issues of the Journal of Functional Programming devoted to ICFP. He is the co-author of “Realm of Racket,” an illustrated book on programming video games, written and illustrated with eight undergraduate students. He is devoted to broadening participation in computer science and is currently serving as Chair of the ACM SIGPLAN Programming Languages Mentoring Workshop @ ICFP.

This program is tentative and subject to change.

Sun 23 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

PLMW-icfp-2020
10:30 - 12:30: PLMW @ ICFP 2020 - Session 2 at PLMW
PLMW-icfp-202010:30 - 11:10
Talk
Nadia PolikarpovaUniversity of California, San Diego
PLMW-icfp-202011:10 - 11:50
Talk
Amal AhmedNortheastern University, USA
PLMW-icfp-202011:50 - 12:30
Talk
David Van HornUniversity of Maryland, USA