Institution

Principal Investigators

---

Josef Urban
Head of the AI Department
Research interests:

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

---

Tomáš Mikolov
Head of the FAI Group
Research interests:

• Artificial Intelligence
• Machine Learning
• Language Modeling
• Natural Language Processing

---

Robert Babuška
Head of the ML Group
Research interests:

• Reinforcement learning
• Nonlinear control
• Data-driven model construction
• Deep learning

---

Mikoláš Janota
Head of the FM Group
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

---

Administrative

---

Jana Popelová
Secretary

---

Eva Trčálková Ludwigová
Secretary

---