- 2009:
-
Advanced Operating Systems
-
Embedded Software Engineering
-
Artist Summer School at the University of Buenos Aires, Argentina.
Course slides.
-
Artist Summer School at Tsinghua University in Beijing, China.
Course slides (presented by Ana Sokolova, Postdoc).
-
Compiler Construction
-
Software Systems Seminar
-
Model Checking
(Lead by Ana Sokolova, Postdoc)
- Winter 2008/2009:
-
On sabbatical at the Department of Civil and Environmental Engineering of UC Berkeley.
- Summer 2008:
-
Artist Summer School at East China Normal University in Shanghai, China.
Course slides.
-
Compiler Construction
-
Software Systems Seminar
-
Theory of Computation
(Lead by Ana Sokolova, Postdoc)
- 2007:
-
Operating Systems
-
Compositionality Seminar
-
Concurrency and Verification
(Lead by Ana Sokolova, Postdoc)
-
Compiler Construction
-
Software Systems Seminar
- 2006:
-
Operating Systems
-
Embedded Software Engineering
-
Compiler Construction
-
Theory of Computational Systems
- 2005:
-
Operating Systems
-
Embedded Software Engineering
-
Compiler Construction
-
Theory of Computational Systems
- 2004:
-
Computational Systems Engineering
-
Embedded Software Engineering
-
Computational Systems Seminar
- Berkeley:
-
Spring 2002: EECS290O
-
Spring 2001: EECS290O
|