Teaching
Courses in Uppsala
- Programming
for
embedded
systems,
Autumn
2017, 5 credits
- Programming
for
embedded
systems, project,
Spring
2017, 5 credits
- Programming
for
embedded
systems,
Autumn
2016, 5 credits
- Introduction to Studies in Embedded Systems,
Autumn
2015, 5 credits
- Real-time systems,
Autumn
2015, 10 credits
- Real-time systems,
Autumn
2014, 10 credits
- Introduction to Studies in Embedded Systems,
Autumn
2013, 5 credits
- Programming
for
embedded
systems,
Spring
2012, 10 credits
- Programming
for
embedded
systems,
Spring
2011, 10 credits
Lectures at Summer Schools
-
Bounded and Unbounded Model Checking of Concurrent Systems with
SAT/SMT Methods,
UPMARC Multicore Computing Summer School 2015
-
Interpolation in SAT & SMT,
SAT/SMT Summer School 2014
-
Analysing DMA Races in Multicore Software,
UPMARC Multicore Computing Summer School 2011
Master Studies
Between 2011 and 2017, I was the coordinator of the Master's programme on
Embedded Systems at Uppsala University.
Please contact me if you are interested in
any of the topics.