Tematyka prac dyplomowych:
- SMT, SAT
- Algorytmy ewolucyjne
- Algorytmy hybrydowe
- Algorytmy sztucznej inteligencji
- Automatyczne planowanie
- Optymalizacja
- Uczenie maszynowe
- Weryfikacja modelowa
- Bazy NoSQL
- Funkcyjne języki programowania
- Zastosowanie AI w grach komputerowych
- Rozpoznawanie i klasyfikacja obrazów
- Przetwarzanie języka naturalnego
- Zastosowania dronów