Zakład Języków Formalnych
2007-06-01 00:00:00
Kierownik:
prof. dr hab. Andrzej SzepietowskiPracownicy:
 | prof. dr hab. | Andrzej Szepietowski | p. 4.04 | tel. 3520 |  |  |  |  |
| dr hab. prof. UG | Karol Horodecki | p. 4.05 | tel. 3521 | | | | |
| dr hab. prof. UG | Viktoriia Onyshchenko | p. 4.19 | tel. 3533 | | | | |
| dr | Andrzej Borzyszkowski | p. 4.18 | tel. 3532 | | | | |
| dr | Tomasz Borzyszkowski | p. 4.25 | tel. 3537 | | | | |
| dr | Mikołaj Czechlewski | p. 4.05 | tel. 3521 | | | | |
| dr | Janusz Dybizbański | p. 4.23 | tel. 3535 | | | | |
| dr | Maciej Dziemiańczuk | p. 4.23 | tel. 3535 | | | | |
| dr | Tomasz Górski | p. | tel. | | | ||
| dr inż. | Anna Nenca | p. 4.23 | tel. 3535 | | | | |
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).
