CIIRC employees list

Ing. Yutaka Nagashima

PositionEmployee / Intelligent systems
Employee / Automatic reasoning and formal methods
Room
EmailYutaka.Nagashima (at) cvut.cz
Phone