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  konsultacje: 
2022/2023 sem. zimowy piątek 12:00-14:00 
dr hab. prof. UGKarol Horodeckip. 4.05tel. 3521  konsultacje: 
2022/2023 sem. zimowy 
dr hab. prof. UGViktoriia Onyshchenkop. 4.19tel. 3533  konsultacje: 
2022/2023 sem. zimowy poniedziałek 13:00-13:45; piątek 11:00-11:45 p. 4:28 
drAndrzej Borzyszkowskip. 4.18tel. 3532  konsultacje: 
2022/2023 sem. zimowy środa 9:30; piątek 11:30 
drTomasz Borzyszkowskip. 4.25tel. 3537  konsultacje: 
2022/2023 sem. zimowy czwartek 17:30-19:00 
drMikołaj Czechlewskip. 4.05tel. 3521  konsultacje: 
2022/2023 sem. zimowy piątek 12:00-14:00 
drJanusz Dybizbańskip. 4.23tel. 3535  konsultacje: 
2022/2023 sem. zimowy piątek 14:30-16:00 
drMaciej Dziemiańczukp. 4.23tel. 3535  konsultacje: 
2022/2023 sem. zimowy 
drTomasz Górskip. tel.  
dr inż.Anna Nencap. 4.23tel. 3535  konsultacje: 
2022/2023 sem. zimowy czwartek 12:15-13:45 


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).