Player is loading...

Embed

Embed code

Transcriptions

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