Zakład Języków Formalnych
2007-06-01 00:00:00
 

Kierownik:

prof. dr hab. Andrzej Szepietowski

Pracownicy:

prof. dr hab.Andrzej Szepietowskip. 4.04tel. 3520  
drAndrzej Borzyszkowskip. 4.24tel. 3536  
drJanusz Dybizbańskip. 4.23tel. 3535  
drMaciej Dziemiańczukp. 4.23tel. 3535  
dr inż.Janusz Młodzianowskip. 4.07tel. 2282, 2230  
dr inż.Anna Nencap. 4.23tel. 3535  
dr inż.Agnieszka Rowińska-Schwarzwellerp. 4.28tel.  


Tematyka badawcza:
Szeroko pojęta informatyka teoretyczna i matematyczne podstawy informatyki,

W szczególności:

  1. Teoria automatów, lingwistyka matematyczna
  2. Pamięciowa złożoność obliczeniowa
  3. Teoria grafów: kolorowanie, pokrywanie, dominowanie, zbiory niezależne
  4. Algorytmy kombinatoryczne
  5. Kwantowa kryptografia
  6. Matematyczne podstawy współbieżności, Programowanie rozproszone i współbieżne
  7. Algorytmy ewolucyjne, Gene Expression Programming (GEP), zastosowania do rozwiązywania problemu klasyfikacji pochodzących z wielu klas
  8. Projektowanie, organizacja i pielęgnowanie bibliotek matematycznych
  9. Modele sieci połączeń i ich odporność na uszkodzenia

Seminarium odbywa się w środy o godzinie 12:15 w sali 122.
Kontakt w sprawie otrzymywania informacji o kolejnych seminariach.

 

Godzina i miejsce: środa, godz. 12:15, sala 122 (budynek MFI).