Institution

Principal Investigators

---

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

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

---

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

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

---

Martin Suda
Head of the AR Group
Research interests:

• Automated Reasoning
• Linear Temporal Logic
• Symbolic Reachability Analysis
• Hardware Verification
• Automated Planning
• Quantified Boolean Formulas

---

Jan Hůla
Head of the FAI Group
Research interests:

• Automated Reasoning
• Artificial Intelligence

---

Administrative

---

Eva Trčálková Ludwigová
Secretary

---