Professor's lectures and seminars summaries

2018-2019 - Where is IT going?

2017-2018 - Esterel from A to Z

2016-2017 - Teaching not taking place this year

2015-2016 - Data structures and algorithms for formal verification

2014-2015 - The computer revolution in science

2013-2014 - Extended time: multiple clocks, discrete and continuous time

2012-2013 - Time and events in computing