Members

Josef Urban

Mgr. Josef Urban, Ph.D.

department: Czech Technical University in Prague / CIIRC
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
Bob Veroff

Prof. Robert Veroff, Ph.D.

department: University of New Mexico / School of Engineering, Czech Technical University in Prague / CIIRC
e-mail: veroff (at) cs.unm.edu
www: http://www.cs.unm.edu/~veroff
research areas: Automated Theorem Proving, Mathematical Structures, Abelian Inner Mappings
Chad E Brown

Chad E. Brown, Ph.D.

department: Czech Technical University in Prague / CIIRC
e-mail: not applicable
www: wikipedia
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
Jan Jakubův

Mgr. Jan Jakubův, Ph.D.

department: Czech Technical University in Prague / CIIRC
e-mail: jakubuv (at) gmail.com
www: http://people.ciirc.cvut.cz/~jakubja5
research areas: Artificial Intelligence, Machine Learning, Automated Reasoning, Formalization of Mathematics, Functional Programming, Distributed Computing, Process Calculi, Type Systems, Automated Planning, Multiagent Systems, Multiagent Planning, Air Traffic Control
DBLP
Karel Chvalovský

Mgr. Karel Chvalovský, Ph.D.

department: Czech Technical University in Prague / CIIRC
e-mail: karel (at) chvalovsky.cz
www: http://karel.chvalovsky.cz/
research areas: Automated Theorem Proving, Logic in Computer Science, Algorithmic Learning Theory
M. Janota

Mgr. Mikoláš Janota, Ph.D.

department: University of Lisbon / IST, Czech Technical University in Prague / CIIRC
e-mail: mikolas.janota (at) gmail.com
www: http://sat.inesc-id.pt/~mikolas/
research areas: Automated Reasoning
DBLP
Martin Suda

RNDr. Martin Suda, Ph.D.

department: Czech Technical University in Prague / CIIRC
e-mail: Martin.Suda (at) cvut.cz
www: http://people.ciirc.cvut.cz/~sudamar2/
research areas: Automated Reasoning, Linear Temporal Logic and Symbolic Reachability Analysis, Hardware Verification, Automated Planning, Quantified Boolean Formulas
Thibo

Thibault Gauthier, Ph.D.

department: Czech Technical University in Prague / CIIRC
e-mail: thibault_gauthier (at) hotmail (dot) fr
research areas: Automation in Interactive Theorem Proving
Bartos

Mgr. Bartosz Pawel Piotrowski

department: Czech Technical University in Prague / CIIRC
e-mail: piotrbar (at) ciirc.cvut.cz
research areas: Automated Theorem proving
Zar

Zarathustra Goertzel, M.Sc.

department: Czech Technical University in Prague / CIIRC
e-mail: zariuq (at) gmail (dot) com
research areas: Automated Theorem Proving, Artificial General Intelligence, Automated Reasoning, Inference Guidance, Knolwedge Graph Learning, Representation Learning
Yutaka

Yutaka Nagashima, M.Sc.

department: Czech Technical University in Prague / CIIRC
e-mail: yutaka.nagashima (at) cvut.cz
research areas: Interactive Theorem Proving
Lasse

Lasse Blaauwbroek, M.Sc.

department: Czech Technical University in Prague / CIIRC
e-mail: lasse.blaauwbroek (at) cvut.cz
research areas: Interactive Theorem Proving, Machine Learning, Type Theory, Programming Languages

Alumni

Jiří Vyskočil

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

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

Grzegorz Bancerek, Ph.D.

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