
prof. RNDr. Petr Štěpánek, DrSc. (†2012)
department: Department of Theoretical Computer Science and Mathematical Logic, Charles University in Prague
research areas: Formal methods, declarative programming, logic
DBLP


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


RNDr. Jiří Vyskočil, Ph.D.
department: CIIRC, Czech Technical University in Prague
email: jiri.vyskocil (at) gmail.com
www: http://people.ciirc.cvut.cz/~vyskoji1
research areas: Automated Reasoning
DBLP


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


RNDr. Petr Pudlák, Ph.D.
email: petr (at) pudlak.name
www: http://petr.pudlak.name
research areas: Automated theorem proving, functional programs, logic systems,
Semantic Web
DBLP


RNDr. David Stanovský, Ph.D.
department: Department of Algebra, Charles University in Prague
email: stanovsk (at) karlin.mff.cuni.cz
www: http://www.karlin.mff.cuni.cz/~stanovsk/
research areas: General algebra, automated theorem proving
DBLP


Dr. RNDr. Ondřej Kunčar
department: Chair for Logic and Verification, Technische Universität München, Germany
email: kuncar (at) in.tum.de
www: https://www21.in.tum.de/~kuncar/
research areas: Interactive theorem proving, security inthelarge
DBLP


Chad E Brown, Ph.D.
department: CIIRC, Czech Technical University in Prague
email: 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. Vladimír Šišma
department: Department of Theoretical Computer Science and Mathematical Logic, Charles University in Prague
email: vsisma (at) sidaaq.cz
research areas: Automated reasoning


RNDr. Martin Suda
department: Department of Theoretical Computer Science and Mathematical Logic, Charles University in Prague,
and Research Group of Automation of Logic, MaxPlanckInstitut für Informatik in Saarbrücken
email: martin.suda (at) gmail.com
www: http://ktiml.ms.mff.cuni.cz/~suda/
research areas: Automated theorem proving, accessing external functions from
prover loop
DBLP


Bc. Filip Děchtěrenko
department: Department of Theoretical Computer Science and Mathematical Logic, Charles University in Prague
email: filip.dechterenko (at) gmail.com
research areas: Automated theorem proving
