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

Kierownik:

  prof. dr hab. Andrzej Szepietowski

Pracownicy:

prof. dr hab.Andrzej Szepietowskip.113tel. 2117  konsultacje: 
{ "hours": "czwartek 13:00-14:00" } 
dr hab. prof. UGMarcin Wieśniakp.352tel. 2219  konsultacje: 
{ "hours": "czwartek 10:00-12:00" } 
drTomasz Borzyszkowskip.115tel. 2483  konsultacje: 
{ "hours": "czwartek 13:00-14:00  piątek 7:00-8:00" } 
drAndrzej Borzyszkowskip.225tel. 2153  konsultacje: 
{ "hours": "poniedziałek 10:00-11:00,dyżur dyr. środa 11:00-12:00" } 
drWłodzimierz Bzylp.121tel. 2151  konsultacje: 
{ "hours": "środa 16:00" } 
drMikołaj Czechlewskip.58tel. 2287  konsultacje: 
{ "hours": "piątek 10:30-11:30" } 
drJanusz Dybizbańskip.214tel. 2164  konsultacje: 
{ "hours": "piątek 13:30-15:00" } 
drMaciej Dziemiańczukp.214tel. 2164  konsultacje: 
{ "hours": "środa 16:00-18:00" } 
drKarol Horodeckip.58tel. 2287  konsultacje: 
{ "hours": "wtorek 12:15-14:15" } 
dr inż.Jerzy Skurczyńskip.115tel. 2483  konsultacje: 
{ "hours": "wtorek 14:00-15:00" } 
mgr inż.Anna Nencap.214tel. 2164  konsultacje: 
{ "hours": "czwartek 10:15-12:00" } 


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