Members

Josef Urban

Mgr. Josef Urban, Ph.D.

department: CIIRC, Czech Technical University in Prague
e-mail: Josef.Urban (at) gmail.com
www: http://people.ciirc.cvut.cz/~urbanjo3
research areas: Automated Reasoning, inductive reasoning, formalization and computer-verification of mathematics
DBLP
Jiří Vyskočil

RNDr. Jiří Vyskočil, Ph.D.

department: CIIRC, Czech Technical University in Prague
e-mail: jiri.vyskocil (at) gmail.com
www: http://people.ciirc.cvut.cz/~vyskoji1
research areas: Automated Reasoning
DBLP
Jan Jakubův

Mgr. Jan Jakubův, Ph.D.

department: CIIRC, Czech Technical University in Prague
e-mail: jakubuv (at) gmail.com
www: http://people.ciirc.cvut.cz/~jakubja5
research areas: Automated Reasoning
DBLP
Chad E Brown

Chad E Brown, Ph.D.

department: CIIRC, Czech Technical University in Prague
e-mail: not applicable
www:
research areas: Higher-Order Theorem Proving, Semantics of Higher-Order Logic, Generalizations of Henkin Models, Extensionality Principles, Set Comprehension Principles, Cut-Elimination, Completeness and Independence Results, Automatic and Interactive Theorem Proving, Proof Checking, Proof Representations and Transformations
Grzegorz Bancerek

Grzegorz Bancerek, Ph.D.

department: CIIRC, Czech Technical University in Prague
e-mail: 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