Charakterystyka tematyki badawczej
Informatyka:
- Metody wnioskowania aproksymatywnego;
- Sztuczna inteligencja;
- Mereologia przybliżona i granulacja wiedzy;
- Klasyfikatory rough setowe;
- Teoria zbiorów przybliżonych;
- Zastosowanie sieci semantycznych i ontologii w systemach wieloagentowych;
Matematyczne podstawy informatyki:
- Teoria zbiorów rozmytych i przybliżonych;
- Logiki typów, gramatyki formalne i ich zastosowania w informatyce;
Równania różniczkowe:
- Układy dynamiczne i teoria ergodyczna;
- Nieliniowe równania różniczkowe cząstkowe;
- Jakościowa teoria równań różniczkowych;
Geometria i jej zastosowania:
- Globalna geometria różniczkowa struktur na rozmaitościach gładkich;
- Geometria CR-rozmaitości;
- Podstawy geometrii;
- Geometryczne metody badania układów całkowalnych;
Fizyka matematyczna i fizyka atomowa:
- Ogólna teoria względności i jej zastosowania;
- Teoria solitonów;
- Modelowanie matematyczne i komputerowe układów kwantowomechanicznych;
- Badanie oddziaływań międzyatomowych i międzycząsteczkowych;
Matematyka stosowana, mechanika i modelowanie matematyczne:
- Mechanika ośrodków ciągłych i teoria sprężystości;
- modelowanie matematyczne i komputerowe terapii nowotworów;
- Modele matematyczne w geodezji i ekologii.