Members
Principal Investigators
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
Karel Chvalovský
Researcher
Research interests:
- Automated Theorem Proving
- Logic in Computer Science
- Algorithmic Learning Theory
Zarathustra A. Goertzel
Researcher
Research interests:
- Automated Theorem Proving
- Artificial General Intelligence
- Automated Reasoning
- Inference Guidance
- Knolwedge Graph Learning
- Representation Learning
Keneni W. Tesema
Researcher
Research interests:
- Artificial Intelligence
- Machine Learning
Robert Veroff
Affiliated research professor
Research interests:
- Automated Theorem Proving
- Mathematical Structures
- Abelian Inner Mappings
Alumni
Josef Urban
Founding Head of the AI Department
Research interests:
- Automated Reasoning
- Inductive Reasoning
- Formalization and verification of Mathematics
Thibault Gauthier
Researcher
Research interests:
- Automated Reasoning
- Artificial Intelligence
- Automation in Interactive Theorem Proving
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
Yutaka Nagashima
PhD student
Research interests:
- Interactive Theorem Proving
- Automated Reasoning
- Artificial Intelligence
