- Summer 2016:
-
Introduction to Compiler Construction
- 2015:
-
Introduction to Operating Systems
-
Systems Engineering
-
Advanced Operating Systems
-
Introduction to Compiler Construction in the iTunes Store and on iTunes U as well as on Vimeo in HD
- Concurrency and Memory Management Seminar
- 2014:
-
Introduction to Operating Systems
-
Systems Engineering
-
Advanced Operating Systems
-
Civil Systems: Control and Information Management, Computer Science for Non-Computer Scientists
-
Introduction to Compiler Construction in the iTunes Store and on iTunes U as well as on Vimeo in HD
-
Concurrency and Memory Management Seminar
- 2013:
-
Introduction to Operating Systems
-
Advanced Operating Systems
-
Introduction to Compiler Construction in the iTunes Store and on iTunes U as well as on Vimeo in HD
-
Concurrency and Memory Management Seminar
- Winter 2012:
-
On sabbatical at the Department of Civil and Environmental Engineering of UC Berkeley.
- Summer 2012:
-
Introduction to Compiler Construction in the iTunes Store and on iTunes U as well as on Vimeo in HD
-
Concurrency and Memory Management Seminar
- 2011:
-
Advanced Operating Systems
-
Embedded Software Engineering
-
Compiler Construction
-
Georgia Tech Summer School on Cyber-Physical Systems
- 2010:
-
Embedded Software Engineering
-
Concurrency and Memory Management Seminar
-
Compiler Construction
-
Software Systems Seminar
-
Verification Seminar
(Lead by Ana Sokolova, Postdoc)
- 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:
-
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
|