Teaching

Undergraduate level

• Algorithms and Data Structures in an Object Oriented Framework [Fall 2011, Fall 2012, QM] — labs
• Unix Programming [Spring 2009, UCD] — course design and lectures
• Operating Systems [Spring 2008, UCD] — course design and lectures
• Data Structures and Algorithms, part 2 [Spring 2006, UCD] — labs
• Algorithmic Problem Solving [Fall 2007, Fall 2006, UCD] — labs
• Software Engineering Project [Spring 2006, UCD] — mentoring

Graduate level

• Specification and Verification [Fall 2012, QM] — labs
• Software Engineering for Research Teams [Fall 2005, UCD] — guest lectures

---

Last updated: 25 February 2013