Lecturing at Aarhus University:
- Spring 2004+2005+2006+2007+2011 (3rd quarter): Web Technology
- Spring 2004 (3rd quarter), Spring 2005+2006+2007+2008+2009+2010+2011+2012+2013+2014+2015+2016 (4th quarter): Regularity and Automata
- Spring 2000 & Fall 2002: Interactive Web Services
- Fall 2003 (2nd quarter), Spring 2007+2008+2010+2012 (4th quarter): Software Verification
- Fall 2004 (2nd quarter): Advanced XML
- Fall 2005+2006+2007+2008+2009+2010 (1st quarter), one week: Computer Science in Perspective
- Fall 2006+2007+2008+2009 (2nd quarter): Advanced Web Technology
- Spring 2005, Spring 2008, Fall 2009: Study Group in Types and Programming Languages
- Fall 2008+2009+2010+2011 (1st quarter), 2013 (2nd quarter): Concurrency
- Spring 2010+2012+2013+2014 (3rd quarter), 2015 (4th quarter): Static Analysis
- Fall 2010+2011+2012+2013 (1st quarter): Server-based Web Programming
- Fall 2010+2011+2012+2013 (2nd quarter): Client-based Web Programming
- Fall 2014+2015 (2nd quarter): Advanced Web Programming
- Fall 2017+2018+2019+2020: Program Analysis and Verification
- Spring 2018+2019+2020+2021+2022: Programming Languages
- Fall 2021: Program Analysis
Courses at Aalborg University:
- Fall 2005+2006+2007: Internet Technologies
- Fall 2006+2007+2008+2009+2010+2011, two/three weeks: Programming Paradigms
Summer/winter schools:
- Estonian Summer School in Computer and System Science, Pärnu, Estonia
- Summer School on Language-Based Techniques for Integrating with the External World, Eugene, Oregon
- SECENTIS Winter School, Trento, Italy
- ECOOP/ISSTA Summer School, Amsterdam, Netherlands
- Programming Language Implementation Summer School (PLISS), Bertinoro, Italy
Teaching material:
Static Program Analysis
Anders Møller and Michael I. Schwartzbach Aarhus University |
An Introduction to XML and Web Technologies Anders Møller and Michael I. Schwartzbach Addison-Wesley, January 2006 568 pp ISBN: 0321269667 |