Tematyka badawcza
2007-10-02 00:00:00
Tematyka badawcza
- Teoria złożoności
- Lingwistyka matematyczna
- Sztuczna inteligencja
- Sztuczne systemy immunologiczne i ich zastosowania
- Kombinatoryka, algorytmy kombinatoryczne
- Teoria grafów
- Geometria obliczeniowa
- Semantyka, specyfikacja i weryfikacja algorytmów generycznych
- Sieci Bayesowskie
- Współbieżność, sieci Petriego