Alexey Ignatiev
Supervisor's projects
| Project name Sort descending | Type |
|---|---|
| Efficient exploration of consistent worlds | Honours and Masters project |
| Efficient Incrementality in Learning Solvers | Research project |
| Formal Explainability in Artificial Intelligence | Research project |
| Improving Satisfiability Solving in Python | Honours and Masters project |
Co-supervising
| Project name Sort descending | Type | Primary supervisor |
|---|---|---|
| Building consistent world states for an autonomous agent | Honours and Masters project | Maria Garcia De La Banda |
| Efficient CEGAR-tableaux for Non-classical Logics | Research project | Rajeev Gore |
| Efficient CEGAR-tableaux for Non-classical Logics | Honours and Masters project | Rajeev Gore |
| Explainable AI (XAI) as Model Reconciliation | Research project | Mor Vered |