Members

Principal Investigators

---

Mikoláš Janota
Head of the AI Department
Research interests:

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

---

Researchers

---

Jan Jakubův
Researcher
Research interests:

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

---

Miroslav Olšák
Researcher
Research interests:

• Theorem Proving
• Artificial Intelligence
• Machine Learning
• Large Language Models

---

Leroy Nicholas Chew
Researcher
Research interests:

• Artificial Intelligence
• Machine Learning

---

Qiqi Gu
Researcher
Research interests:

• Automated Reasoning
• Artificial Intelligence

---

PhD Students

---

Marek Dančo
PhD student
Research interests:

• Automated Reasoning
• Artificial Intelligence

---

Alumni

---

Chad E. Brown
Researcher
Research interests:

• 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

---

Jelle Piepenbrock
PhD student
Research interests:

• Automated Reasoning
• Artificial Intelligence

---

Bartosz P. Piotrowski
PhD student
Research interests:

• Automated Reasoning
• Artificial Intelligence

---

Jonathan Julián Huerta y Munive
PhD student
Research interests:

• Automated Reasoning
• Artificial Intelligence

---

Petra Hozzová
Researcher
Research interests:

• Automated Reasoning
• Artificial Intelligence

---