Write a Blog >>
Tue 21 Jan 2020 11:10 - 11:50 at Ile de France III (IDF III) - Morning 2 Chair(s): Robbert Krebbers

As society becomes more and more connected, so does research. Research in computer science is changing, becoming more collaborative and open than it was before. The problems that computer science focuses on today have larger impact on society and on the everyday life of individuals. The programming languages community as a whole has tremendous opportunities to contribute in a positive way to this impact. However, these opportunities often require the combined effort of different groups and communities, organized as large collaborative efforts. This approach often contrasts with the needs that young researchers have of building their own research agenda. In this talk, starting from my personal experience, I will discuss some advice on how to survive in collaborative research.

Slides (PLMW20-gaboardi.pdf)8.84MiB

Marco Gaboardi is an assistant professor at Boston University. Prior to joining Boston University he was an assistant professor at the University at Buffalo, SUNY, and prior to that he was an assistant professor at the University of Dundee, Scotland. Marco received his PhD from the University of Torino, Italy, and the Institute National Polytechnique de Lorraine, France. He has been a visiting scholar at the University of Pennsylvania, at Harvard University’s CRCS center, and at the Simons’ institute at UC Berkeley. He is a recipient of the NSF CAREER award and of a EU Marie Curie Fellowship. Marco’s research is in programming languages, formal verification, and in differential privacy.

Tue 21 Jan
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

10:30 - 12:30: PLMW 2020 - Morning 2 at Ile de France III (IDF III)
Chair(s): Robbert KrebbersDelft University of Technology
PLMW-POPL-202010:30 - 11:10
Lindsey KuperUniversity of California, Santa Cruz
Media Attached
PLMW-POPL-202011:10 - 11:50
Marco GaboardiBoston University
Media Attached File Attached
PLMW-POPL-202011:50 - 12:30
Xavier LeroyCollège de France
Media Attached File Attached