Members
Mgr. Josef Urban, Ph.D.department: CIIRC, Czech Technical University in Pragueemail: Josef.Urban (at) gmail.com www: http://people.ciirc.cvut.cz/~urbanjo3 research areas: Automated Reasoning, inductive reasoning, formalization and computerverification of mathematics DBLP 

Mgr. Jan Jakubův, Ph.D.department: CIIRC, Czech Technical University in Pragueemail: jakubuv (at) gmail.com www: http://people.ciirc.cvut.cz/~jakubja5 research areas: Automated Reasoning DBLP 

Chad E Brown, Ph.D.department: CIIRC, Czech Technical University in Pragueemail: not applicable www: research areas: HigherOrder Theorem Proving, Semantics of HigherOrder Logic, Generalizations of Henkin Models, Extensionality Principles, Set Comprehension Principles, CutElimination, Completeness and Independence Results, Automatic and Interactive Theorem Proving, Proof Checking, Proof Representations and Transformations 

Mgr. Karel Chvalovský, Ph.D.department: CIIRC, Czech Technical University in Pragueemail: karel (at) chvalosvky.cz www: http://karel.chvalovsky.cz/ research areas: Automated theorem proving, Logic in computer science, Algorithmic learning theory 

Thibault Gauthier, PhDdepartment: CIIRC, Czech Technical University in Pragueemail: thibault_gauthier (at) hotmail (dot) fr research areas: Automated theorem proving 

Ing. Yutaka Nagashimadepartment: CIIRC, Czech Technical University in Pragueemail: yutaka.nagashima (at) cvut.cz research areas: Automated theorem proving 

Lasse Blaauwbroek, MScdepartment: CIIRC, Czech Technical University in Pragueemail: lasse.blaauwbroek (at) cvut.cz research areas: Automated theorem proving 

Zarathustra Goertzel, MScdepartment: CIIRC, Czech Technical University in Pragueemail: zariuq (at) gmail (dot) com research areas: Automated theorem proving 

Mgr. Bartosz Pawel Piotrowskidepartment: CIIRC, Czech Technical University in Pragueemail: piotrbar (at) ciirc.cvut.cz research areas: Automated theorem proving 
Alumni
RNDr. Jiří Vyskočil, Ph.D.department: CIIRC, Czech Technical University in Pragueemail: jiri.vyskocil (at) gmail.com www: http://people.ciirc.cvut.cz/~vyskoji1 research areas: Automated Reasoning DBLP 

Grzegorz Bancerek, Ph.D.department: CIIRC, Czech Technical University in Pragueemail: not applicable www: http://math.uwb.edu.pl/~bancerek/ research areas: Formalization of Mathematics, Mizar, Text Generation and Mechanical Translation, Algebraic Approach to Categories and Logic DBLP 