Absolvoval Elektrotechnickou fakultu ČVUT v Praze. Specializuje se na oblast formálních specifikací a sémantiky, zabýval se programovacími jazyky a operačními systémy, v současné době se věnuje převážně softwarovému inženýrství a databázovým systémům. Tuto tematiku vyučuje na katedře počítačů FEL ČVUT v Praze a katedře softwarového inženýrství MFF UK v Praze. Učí též specializované předměty na katedře informačních technologií BI v Praze. Učil jako externista na katedře informačních technologií FSI VŠE v Praze a katedře informačního inženýrství PEF ČZU v Praze.