CIIRC employees list

Mgr. Jan Jakubův, Ph.D.

PositionEmployee / Intelligent systems
Employee / Automatic reasoning and formal methods
RoomJP:A-614a, Jugoslávských partyzánů 1580/3, 160 00 Praha 6
EmailJan.Jakubuv (at) cvut.cz
Phone+420-22435-7677
Link to the personal page