Categories
Topics

By Prof. Katerina Argyraki, IC, EPFL - Dr. Rustan Leino, Amazon - Dr. Erik Meijer, Facebook

Go back to album
Previous
Next
By Prof. Katerina Argyraki, IC, EPFL - Dr. Rustan Leino, Amazon - Dr. Erik Meijer, Facebook Organisation La Faculté Informatique et Communications - School of Computer and Communications Sciences IC Welcome coffee & Registration Welcome address - Andreas Mortensen, Vice President for Research, EPFL Introduction - Jim Larus, Dean of IC School, EPFL The Young Software Engineer’s Guide to Using Formal Methods - K. Rustan M. Leino, Amazon Safely Disrupting Computer Networks with Software - Katerina Argyraki, EPFL 11 IC Research Presentations (3 minutes per presentation) Lunch and Poster Session in the entrance hall of the SwissTech Convention Center Best IC Research Presentation Awards Machine Learning: Alchemy for the Modern Computer Scientist - Erik Meijer, Facebook

Media properties

Themes
Events , IC, Computer Science, Events, Research and Tech Transfer
Copyright
EPFL - Murielle Gerber
Licence
CC0 Licence
Shooting date
June 7, 2018
Album
IC Research Day 2018 - The Future of Software

Share on

Download to web format
Download high resolution