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 | Andrzej Borzyszkowski | p. 4.24 | tel. 3536 | |
| |
| dr | Janusz Dybizbański | p. 4.23 | tel. 3535 | |
| |
| dr | Maciej Dziemiańczuk | p. 4.23 | tel. 3535 | |
| |
| dr inż. | Janusz Młodzianowski | p. 4.07 | tel. 2282, 2230 | |
| |
| dr inż. | Anna Nenca | p. 4.23 | tel. 3535 | |
| |
| dr inż. | Agnieszka Rowińska-Schwarzweller | p. 4.28 | tel. | |
|
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).
