Bakalářské studium Absolvování BS 2000 Doktorské studium Dizertační práce Automatizované transformace objektově orientovaných modelů Absolvování PGS 2010