Members
Principal Investigators
Josef Urban
Head of the AI Department
Research interests:
- Automated Reasoning
- Inductive Reasoning
- Formalization and verification of Mathematics
Martin Suda
Head of the AR Group
Research interests:
- Automated Reasoning
- Linear Temporal Logic
- Symbolic Reachability Analysis
- Hardware Verification
- Automated Planning
- Quantified Boolean Formulas
Researchers
Jan Jakubův
Researcher
Research interests:
- Artificial Intelligence
- Machine Learning
- Automated Reasoning
- Process Calculi
- Type Systems
- Automated Planning
- Multiagent Systems
- Air Traffic Control
Thibault Gauthier
Researcher
Research interests:
- Automated Reasoning
- Artificial Intelligence
- Automation in Interactive Theorem Proving
Karel Chvalovský
Researcher
Research interests:
- Automated Theorem Proving
- Logic in Computer Science
- Algorithmic Learning Theory
Robert Veroff
Affiliated research professor
Research interests:
- Automated Theorem Proving
- Mathematical Structures
- Abelian Inner Mappings
PhD Students
Filip Bártek
PhD student
Research interests:
- Saturation-based Automated Theorem Proving
- Machine Learning
Lasse Blaauwbroek
PhD student
Research interests:
- Interactive Theorem Proving
- Machine Learning
- Type Theory
- Programming Languages
Zarathustra A. Goertzel
PhD student
Research interests:
- Automated Theorem Proving
- Artificial General Intelligence
- Automated Reasoning
- Inference Guidance
- Knolwedge Graph Learning
- Representation Learning
Alumni
Yutaka Nagashima
PhD student
Research interests:
- Interactive Theorem Proving
- Automated Reasoning
- Artificial Intelligence
