Embed code
Note: this content has been automatically generated.
thank you very much unless i'm jim letters and the
dean of a school of computer communication sciences
uh i and few words start with before we move on to the major uh part of the program
so i'm just remind everybody that um
after me uh we will have to talks this morning and then we will have
uh something new this year which we're trying out for the
first time which is i'm sure is a very short
presentations by uh students from the i and c. faculty
you'll be given an opportunity to see a good cross section of the research and the school and
then um to vote uh on the presentation so that we can select the best ones
and finally we'll have lunch and present the words and the final talk will
be after lunch so that we can get all three talks in today
um let me take this opportunity to say a little bit
not only bought software but about the school so
most of you probably have heard of the school uh we're forty two
actually seem to be forty three and maybe forty four uh professors
uh we have been over two hundred p. h. d. students um
and around that thousand uh undergraduate and masters students in
three areas we have computer science communication sciences
yeah and the the new one is actually did a science we just started
a master's program last fall in data science which is not not a very strong start that's quite a bit
of interest uh of last year and in the act class that will be starting in the fall
very strong program with some new classes thought especially in terms of data science and
it's uh it's obviously a extra credibly important an incredibly hot area uh
in terms of industry and we're very happy that we could get this
program going and um get so many students interest to quickly
uh we have one new faculty member i don't think guard camille is here
i think she's out of town today but uh we just started to
last wow i and uh she's a faculty member in the area of
security and privacy and it's been doing a lot of very innovative
a research in terms of building more secure
um technical solutions to protecting your privacy
obviously that doesn't need any justification or explanation these days
we also have had a number of our words this is the time here where i
get to get up in front of a friendly audience and brag about uh
the great things that are factored in students have accomplished um
two of our faculty members were recognise with the
a. c. m. and i. triple the files which are the highest level in these two professional societies
we've also had a number of words um a nanny admit kelly was so when it is a foreign
member of the american academy of arts and sciences quite an a rare and high on or
here don't on board a fellow of the international side of learning says sciences and so
begins to stop that raymond bomber no word for her work and computational photography um
we also have gotten some prestigious researcher words too far new junior
faculty members uh bob west wanna google research faculty award
and michael corporate law for one and the r. c. starting graham both
of them sort of competitive a highly prestigious uh funding words
um and then we've had a number of the papers that we produced or reproduced
quite a few papers i won't go through all of them um when um
unusual or sort of up to very distinctive on us
so carmel there's a paper on privacy protection
actually won an award from india and c. n. i.
l. which is the french privacy protection agency
uh they gave her work a a sort of special
recognition in terms of the technical accomplishments and
and um another recent award is um
brian form john p. or blows a word for a distinguished paper
at i. tripoli symposium on security privacy the open conference
and it's a number for students have one uh
there is a graduate fellowships including p.
h. d. fellowship so uh from a google m. i. b. m. or car
and and excellence award for the p. h. t. that uh whatever students published a couple years back
finally i mean mention a couple of the new things sort of gotten
started so does centre for digital trust to see for d. t.
is a new centre that we launched last fall which is i'm
getting off to a strong start the spring um we have
basically said that one of the major problems facing
us as a society and industry as a whole is this issue that
trust and the online world has been diminished it used
to be that you believed what you saw
on line you could do transactions online it was uh so the extension of the physical world
i think everybody realises today that's not the situation that uh
there's a lot of things out there that aren't
particularly attractive but are particularly conducive to um
conducting all business and societal and interactions online and so the c. four d. t.
is building technology in partnership with a number of companies and nonprofit organisations
try to produce a more secure foundation for a digital trust online
so if you're just that i'd be happy to talk more about it later and i think you'll be hearing more about it in the next couple years
uh we've also had a number of outreach activities that have been very successful so
we've been running a the summer e. p. f. l. program which brings in
um second and third year undergraduates from all over the world
to spend a three week three months in a lab at a
i. n. c. to give the undergraduates and exposure to research
so it's been growing every year we have well over
a thousand applications we take about fifty students
a summer a search extremely competitive extremely difficult to get in students we get are fantastic
students and they go on to research careers many of them actually
come to um u. t. f. hours are graduate students
we also have created a number of new
channels together our research results up
not just the traditional one of publishing papers which is sore and earlier words
so we've created a set of bias um one data out
which are short online videos of various sorts either
ah one of the faculty members of visitors being interviewed
about a particular topic of direction uh expertise that's as that abides
or so the short video segments on particular technical topic which is
uh no one d. that he's a proven extremely popular in
terms of getting out technical information less than the movie
you know that one dealers are typically about five minutes
so you can basically going get the answer to a technical question without looking it up on the border would keep eating yeah
and see one of our professors describe it as they would have done it in the class so we can
using the new media as a way of both hoping
the the general public to find out more about computer science but also as
a way of getting a u. p. f. l. and i and see
uh out there and encourage everybody to take a look at some of the interviews on data bytes
are uh actually fascinating people talking about what they care about most and certainly recommend that
um then let me turn to the topic of today software
so why the feature of software oh well this is an area where i've worked in um
i i know of our speakers quite well i work with them in the past so
what i was thinking about this there was one quote that came to mind so let me put it up there
so i don't know how many of you read um charles dickens tale of two
cities this is the opening line of it so let me read it
uh to you it was the best of times it was the worst of
times it was the age of wisdom it was the age of foolishness
it was the applicable leaf it was the object of incredible acreage you lose trendy little sorry
i was covered that it was the season of light was a season of darkness
spring of hope it was the winter of despair read everything before us we have nothing before
so we're going direct to have and we're all going to wreck the other way
so this is i think pretty good summary of where we are in terms of
software these days ah let me let me take a slider to do explain
so ah mark and jason had came up with the line that software is eating the
world and i think that's actually true if you look at sort of um
any feel to it is being revolutionised by the application of software
by the application of techniques that come out of computer science
and it's really changing the way in which the economy works social and political relationships occur
interpersonal relationships the way science is done with business is done um you know
i don't think any of you need to look for the then the
computer that you have in your pocket which is far more powerful than
the computers that we used to do research a decade ago
and everybody carries around and it's a personal device and enables
all sorts of unseen uh interactions in transactions that
but we're just impossible that a decade ago when the i. phone was introduced
i would also argue that software has a field of interest as
of commercial field is evolving much faster than any other field
it used to be that you could point to hardware we could talk about things like moore's law and say you know
processors are improving much faster they are improving much faster anymore but i would
say the state of the art in terms of programming is improving
things that ten years ago were a challenging for startup company really the major company to do
we can give to students as course projects now because the software has
made sure the tools of of all the infrastructure is the yeah
and so the amount of effort is much more manageable for a student in a project course
and i think sometimes this gets lost the rate of evolution and the sophistication of the software
and i also would point out the software i think it's creating it's own successor um
i think the techniques of machine learning where instead of programming you actually learn
any build the system around a learned response as opposed to programme response
is going to change the way which computing is done changing from very deterministic world which is the
world that we're all familiar with which is what i think are speakers will talk primarily about
to our world that this much more statistical which is much closer to the actual
physical world or things are quite this deterministic as the world in a computer
so all this seems great revolutionary exciting reasons why you should come and
uh the students and i can see into research in this area
but the other side of that is that it's a
software wonderful ah yes it has problems and uh
i think they are rather prototype put up there is move fast and break things
which is obviously a from the header face but was the slogan of face but
probably not their slogan anymore i don't think i for the for the past couple years so
yeah the the consequences of the softer revolution are all positive you know you
only have to look at the newspapers these days to sort of see
a privacy violations you could see 'em influencing
of elections and various other things
are very much in the news and a lot of bad
things that have occurred because of exactly the same devices
and the same software that has made us so much
happier in other dimensions of our life so you
know yeah isn't not a a positives have fully positive
improvement and it's not uh fully negative group
the other one which is i think more the focus of today and the larger
picture issues is that software is still not perfect and maybe never be perfect
it's for the buck said his security flaws their new things to read about every
day in the newspaper in terms of security um when i started uh uh
work in this area two decades ago with actually that these two uh two four speakers
it seem like it was possible that we would actually makes a significant improvement
by using the tools in terms of reducing the number of flaws
i think we made a quite an impact in terms of improving software quality i think you
see fewer bugs and he sees blue screens and failures and used to two decades ago
but i don't think we've gotten that far in terms of the actual security flaws so i'll
all of this is motivation for why we invited um some of the
top people in our field to come and give talks and um
i think that what they'll talk about in terms of verified
saw for the ability to actually demonstrate that software doesn't
contains laws that it does which are supposed to do and there are some examples out there that you can actually
see nontrivial systems that have been verified and a list too
the ability to do a machine learning at perhaps
what we place programming with uh other techniques
the ability to do research in terms of new technologies like got a
c. four d. t. is probably based on what chain which as
quite a bit of problems as well so we have three accents because today
uh i kept reno was one of our faculty members annoying and see
recently no who is at amazon and eric meyer who is that face but
so i will just turn the program over to them and thank you

Share this talk: 


Conference program

Welcome address
Andreas Mortensen, Vice President for Research, EPFL
7 June 2018 · 9:49 a.m.
Introduction
Jim Larus, Dean of IC School, EPFL
7 June 2018 · 10 a.m.
The Young Software Engineer’s Guide to Using Formal Methods
K. Rustan M. Leino, Amazon
7 June 2018 · 10:16 a.m.
Safely Disrupting Computer Networks with Software
Katerina Argyraki, EPFL
7 June 2018 · 11:25 a.m.
Short IC Research Presentation 2: Gamified Rehabilitation with Tangible Robots
Arzu Guneysu Ozgur, EPFL (CHILI)
7 June 2018 · 12:15 p.m.
Short IC Research Presentation 3: kickoff.ai
Lucas Maystre, Victor Kristof, EPFL (LCA)
7 June 2018 · 12:19 p.m.
Short IC Research Presentation 5: CleanM
Stella Giannakopoulo, EPFL (DIAS)
7 June 2018 · 12:25 p.m.
Short IC Research Presentation 6: Understanding Cities through Data
Eleni Tzirita Zacharatou, EPFL (DIAS)
7 June 2018 · 12:27 p.m.
Short IC Research Presentation 7: Datagrowth and application trends
Matthias Olma, EPFL (DIAS)
7 June 2018 · 12:31 p.m.
Short IC Research Presentation 8: Point Cloud, a new source of knowledge
Mirjana Pavlovic, EPFL (DIAS)
7 June 2018 · 12:34 p.m.
Short IC Research Presentation 9: To Click or not to Click?
Eleni Tzirita Zacharatou, EPFL (DIAS)
7 June 2018 · 12:37 p.m.
20s pitch 1: Cost and Energy Efficient Data Management
Utku Sirin, (DIAS)
7 June 2018 · 2:20 p.m.
20s pitch 2: Gamification of Rehabilitation
Arzu Guneysu Ozgur, EPFL (CHILI)
7 June 2018 · 2:21 p.m.
20s pitch 4: Neural Network Guided Expression Transformation
Romain Edelmann, EPFL (LARA)
7 June 2018 · 2:21 p.m.
20s pitch 5: Unified, High Performance Data Cleaning
Stella Giannakopoulo, EPFL (DIAS)
7 June 2018 · 2:21 p.m.
20s pitch 6: Interactive Exploration of Urban Data with GPUs
Eleni Tzirita Zacharatou, EPFL (DIAS)
7 June 2018 · 2:22 p.m.
20s pitch 7: Interactive Data Exploration
Matthias Olma, EPFL (DIAS)
7 June 2018 · 2:22 p.m.
20s pitch 8: Efficient Point Cloud Processing
Mirjana Pavlovic, EPFL (DIAS)
7 June 2018 · 2:23 p.m.
20s pitch 9: To Click or not to Click?
Eleni Tzirita Zacharatou, EPFL (DIAS)
7 June 2018 · 2:24 p.m.
20s pitch 10: RaaSS Reliability as a Software Service
Maaz Mohiuddlin, LCA2, IC-EPFL
7 June 2018 · 2:24 p.m.
20s pitch 11: Adversarial Machine Learning in Byzantium
El Mahdi El Mhamdi, EPFL (LPD)
7 June 2018 · 2:24 p.m.
Machine Learning: Alchemy for the Modern Computer Scientist
Erik Meijer, Facebook
7 June 2018 · 2:29 p.m.