V LS 2010/2011 jsme spolu se Zdeňkem Dvořáků vedli Pokočilé techniky funkcionálního programování (PRG040) (St 14:00, S10).
V LS 2010/2011 jsme spolu s Martinem Marešů cvičili advanced cvika k předmětu Programování II (St 15:40, S10).
V ZS 2010/2011 jsem vedl Programovací jazyk F# (PRG049) (Po 14:00, SU1).
V ZS 2010/2011 jsem cvičil algoritmy a datové struktury II (TIN061) (St 12:20, S7).
V ZS 2010/2011 jsem spolu s Martinem Marešů cvičil advanced cvika k předmětu Programování I, zde je malá reklama (Po 12:20, S10).
V ZS 2009/2010 jsem spolu s Martinem Marešů vedl advanced cvika k předmětu Programování I, zde je malá reklama (Po 12:20, S6).
V LS 2008/2009 jsem cvičil algoritmy a datové struktury I (TIN060) (Út 9:00, S6; Út 12:20, S7).
V ZS 2008/2009 jsem vedl Programovací jazyky OCaml a F# (PRG049) (St 15:40 v SW1).
V ZS 2008/2009 jsem také cvičil algoritmy a datové struktury II (TIN061) (Pá 9:00, S6).
V ZS 2008/2009 jsme spolu s Martinem Marešů vedli advanced cvika k předmětu Programování I, zde je malá reklama (Út 15:40, S4).
V ZS 2007/2008 jsem cvičil algoritmy a datové struktury II (TIN061) (Čt 9:00, S1).
V ZS 2005/2006 jsem cvičil prográmko (PRG030) (Út 9:00, M4).
V ZS 2004/2005 jsem cvičil prográmko (PRG030) (Út 15:40, M3).