2011-2012
- Advanced Logic (20h) (undergraduate, 4th year)
- Logic and Computability (12h) (undergraduate, 3rd year)
- Introduction to Compilation (40h) (undergraduate, 3rd year)
|
2010-2011
- Introduction to Compilation (40h) (undergraduate, 3rd year)
- Data Structures (20h) (undergraduate, 3rd year)
|
2009-2010
- Functional Programming (20h) (undergraduate, 1st year)
|