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
Phone420224357677
Link to the personal page