Members

Principal Investigators

---

Mikoláš Janota
Head of the FM Group
Research interests:

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

---

Researchers

---

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

---

Jan Jakubův
Researcher
Research interests:

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

---

Karel Chvalovský
Researcher
Research interests:

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

---

Jan Hůla
Researcher
Research interests:

• Automated Reasoning
• Artificial Intelligence

---

PhD Students

---

Jelle Piepenbrock
PhD student
Research interests:

• Automated Reasoning
• Artificial Intelligence

---

Bartosz P. Piotrowski
PhD student
Research interests:

• Automated Reasoning
• Artificial Intelligence

---