at the **AI Department of CIIRC at CTU in Prague**

Josef Urban

Head of the AI Department

*Research interests:*

Head of the AI Department

- Automated Reasoning
- Inductive Reasoning
- Formalization and verification of Mathematics

Martin Suda

Head of the AR Group

*Research interests:*

Head of the AR Group

- Automated Reasoning
- Linear Temporal Logic
- Symbolic Reachability Analysis
- Hardware Verification
- Automated Planning
- Quantified Boolean Formulas

Jan Jakubův

Researcher

*Research interests:*

Researcher

- Artificial Intelligence
- Machine Learning
- Automated Reasoning
- Process Calculi
- Type Systems
- Automated Planning
- Multiagent Systems
- Air Traffic Control

Thibault Gauthier

Researcher

*Research interests:*

Researcher

- Automated Reasoning
- Artificial Intelligence
- Automation in Interactive Theorem Proving

Karel Chvalovský

Researcher

*Research interests:*

Researcher

- Automated Theorem Proving
- Logic in Computer Science
- Algorithmic Learning Theory

Robert Veroff

Affiliated research professor

*Research interests:*

Affiliated research professor

- Automated Theorem Proving
- Mathematical Structures
- Abelian Inner Mappings

Filip Bártek

PhD student

*Research interests:*

PhD student

- Saturation-based Automated Theorem Proving
- Machine Learning

Lasse Blaauwbroek

PhD student

*Research interests:*

PhD student

- Interactive Theorem Proving
- Machine Learning
- Type Theory
- Programming Languages

Zarathustra A. Goertzel

PhD student

*Research interests:*

PhD student

- Automated Theorem Proving
- Artificial General Intelligence
- Automated Reasoning
- Inference Guidance
- Knolwedge Graph Learning
- Representation Learning