Zakład Języków Formalnych
2007-06-01 00:00:00
Kierownik:
prof. dr hab. Andrzej SzepietowskiPracownicy:
Tematyka badawcza:
Szeroko pojęta informatyka teoretyczna i matematyczne podstawy informatyki,
W szczególności:
- Teoria automatów, lingwistyka matematyczna
- Pamięciowa złożoność obliczeniowa
- Teoria grafów: kolorowanie, pokrywanie, dominowanie, zbiory niezależne
- Algorytmy kombinatoryczne
- Kwantowa kryptografia
- Matematyczne podstawy współbieżności, Programowanie rozproszone i współbieżne
- Algorytmy ewolucyjne, Gene Expression Programming (GEP), zastosowania do rozwiązywania problemu klasyfikacji pochodzących z wielu klas
- Projektowanie, organizacja i pielęgnowanie bibliotek matematycznych
- 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.
Seminarium Zakładu Języków Formalnych
2010-11-14
Godzina i miejsce: środa, godz. 12:15, sala 122 (budynek MFI).