Struktura
Katedra Informatyki
Zakład Metod Matematycznych
Wydział Fizyki i Informatyki Stosowanej Uniwersytetu Łódzkiego
Katedra Informatyki
ul. Pomorska 149/153
90-236 Łódź
Pokój: B325
Telefon: +48 42 635 57 39
Katedra Informatyki WFiIS została utworzona w dn. 01.12.2013 r. w wyniku przekształcenia Katedry Fizyki Teoretycznej i Informatyki, która początkowo nosiła nazwę Katedra Fizyki Teoretycznej II. Jej kierownikiem jest prof. dr hab. Paweł Maślanka. W Katedrze zatrudnionych jest czternastu pracowników naukowo-dydaktycznych, w tym: pięciu profesorów tytularnych, trzy osoby ze stopniem doktora habilitowanego, pięć osób ze stopniem doktora, jedna osoba z tytułem zawodowym magistra oraz studiuje czterech doktorantów.
W Katedrze Informatyki wydzielone są dwa zakłady: Zakład Systemów Mobilnych i Inżynierii Oprogramowania (kierownik – prof. dr hab. Paweł Maślanka) oraz Zakład Metod Matematycznych (kierownik – prof. dr hab. Piotr Kosiński). W Zakładzie Systemów Mobilnych i Inżynierii Oprogramowania funkcjonuje Pracownia Systemów Mobilnych (kierownik – dr Piotr Milczarski).
W Katedrze prowadzone są badania z zakresu informatyki, fizyki oraz matematyki.
Obecnie realizowane są następujące zadania badawcze:
- Implementacja metod rozpoznawania i przetwarzania obrazów oraz kryptografii w systemach informatycznych/mobilnych
Celem badania jest opracowanie algorytmów i metod rozpoznawania obrazów, m.in. twarzy, w celu identyfikacji i autentykacji oraz ich zastosowanie w procedurach zabezpieczenia komunikacji szyfrowania w systemach informatycznych, ze szczególnym uwzględnieniem medycyny oraz systemów i aplikacji mobilnych.
- Implementacja metod przetwarzania obrazów w diagnostyce dermatologicznej
Celem badania jest opracowanie algorytmów i metod rozpoznawania obrazów oraz implementacja metod uczenia maszynowego i sztucznej inteligencji w rozpoznawaniu zmian skórnych.
- Framework do specyfikacji procesów biznesowych w Maude
Celem badania jest opracowanie frameworku w systemie przepisywania termów do specyfikacji i symulacji procesów biznesowych. W szczególności opracowany framework powinien wspierać metodologię artefaktów biznesowych. Częścią frameworku powinien być podsystem modelujący w efektywny sposób nieskończone maszyny stanów ze stanami reprezentowanymi przez instancje baz relacyjnych oraz język zapytań co najmniej równie ekspresyjny jak algebra relacyjna. - Semantyka i specyfikacja historii użytkownika w systemach przepisywania termów
Celem badania jest próba zdefiniowania semantyki historii użytkownika w systemach przepisywania termów. Semantyka ta powinna pozwalać na efektywną symulację w celu testowania historii, a także na sprawdzanie, czy historie użytkownika spełniają warunki wyrażone w logice temporalnej.
- Układy supercałkowalne
Obiektem zainteresowania są klasyczne i kwantowe układy supercałkowalne (również o niestandardowych hamiltonianach). W szczególności badania dotyczą klasyfikacji układów supercałkowalnych w przestrzeniach dwuwymiarowych o stałej krzywiźnie.
W wyniku przeprowadzonych badań otrzymano nowe klasy układów supercałkowalnych. Podano metodę znajdowania całek ruchu dla układów opisywanych uogólnionym równaniem Hamiltona-Jacobiego, w którym energia pełni dodatkową rolę jednego z parametrów układu. Znaleziono zmienne kąt-działanie dla takich układów. - Teoriogrupowa analiza nierówności Bella
Celem badania jest konstrukcja i klasyfikacja nierówności Bella dla obserwabli generowanych przez działanie grup skończonych w przestrzeni stanów.
W wyniku przeprowadzonych badań otrzymano kryteria wyboru orbit grupowych w przestrzeni stanów generujących nierówności Bella łamane na poziomie kwantowym. W szczególności pokazano, że dla rzeczywistych reprezentacji grupy symetrii i wyborze jednej orbity nierówności Bella nie są łamane.
- Związki między metrykami opisującymi fale grawitacyjne a konfiguracjami pola elektromagnetycznego
Celem badania jest analiza formalnych analogii między rozwiązaniami równań Einsteina i Maxwella, w szczególności zastosowania transformacji Niederera do tzw. double copy conjecture.
W wyniku przeprowadzonych badań otrzymano rozwiązania równań Maxwella należące do intensywnie badanej klasy rozwiązań z wirami.
- Badanie K-teorii multipullbackowych nieparzystowymiarowych sfer kwantowych i zespolonych przestrzeni projektywnych
Celem badania jest zbadanie K-teorii multipullbackowych nieparzystowymiarowych sfer kwantowych i zespolonych przestrzeni projektywnych skonstruowanych z kostek Toeplitza, zarówno w wersji ze skręceniem jak i bez niego, i ich porównanie z klasycznymi odpowiednikami.
Pracownicy Katedry Informatyki wielokrotnie brali udział, jako kierownicy (prof. dr hab. Paweł Maślanka, prof. dr hab. Piotr Kosiński) i wykonawcy, w projektach finansowanych ze środków Narodowego Centrum Nauki, Ministerstwa Nauki i Szkolnictwa Wyższego oraz Komitetu Badań Naukowych. Aktualnie w Katedrze realizowany jest projekt NCN w ramach programu OPUS 12 „Symetrie konforemne układów dynamicznych” (kierownik – prof. dr hab. Piotr Kosiński).
Ponadto obecnie Katedra uczestniczy jako wykonawca w projekcie Narodowego Centrum Badań i Rozwoju Biostrateg „Opracowanie innowacyjnej metody obliczania śladu węglowego dla podstawowego koszyka produktów żywnościowych” (kierownik zadań w UŁ – dr Piotr Milczarski) oraz w prestiżowym projekcie finansowanym ze środków Unii Europejskiej w ramach programu HORYZONT 2020 „Nowa geometria dynamiki kwantowej” (wykonawca w UŁ – dr Bartosz Zieliński).
Działalność Katedry cechuje duża innowacyjność, czego potwierdzeniem jest m. in. uzyskanie przez dr. hab. prof. nadzw. UŁ Stanisława Bednarka 41 patentów na wynalazki oraz 107 praw ochronnych na europejskie wzory przemysłowe, w tym czterech przy współpracy doktorantów (dane liczbowe wg bazy POL-on). Na 22 z tych rozwiązań technicznych udzielono już licencji i zostały one wdrożone.
Pracownicy Katedry Informatyki są członkami międzynarodowych towarzystw i organizacji naukowych.
Katedra Informatyki współpracuje, w ramach umów i nieformalnie, z wieloma uczelniami zagranicznymi:
- w zakresie informatyki: z Centria University of Applied Sciences w Kokkola, Finlandia; Artesis Plantijn Hogeschool Antwerpen, Belgia; Dundalk Institute of Technology, Irlandia; Instituto Superior Politécnico Gaya, Portugalia; University of Maribor, Słowenia; Université d’Artois (IUT of Lens), Francja; Przykarpackim Uniwersytetem Narodowym im. Wasyla Stefanyka, Ivano-Frakivsk, Ukraina (Vasyl Stefanyk Precarpathian National University, Ukraine); Odeską Państwową Akademią Regulacji Technicznej i Jakości, Ukraina (Odessa State Academy of Technical Regulation and Quality, Ukraine); Odeskim Uniwersytetem Narodowym im. Ilji Miecznikowa, Ukraina (Odessa I.I. Mechnikov National University, Ukraine).
- w zakresie fizyki: z Wydziałem Fizyki Teoretycznej i Matematycznej Uniwersytetu w Mons, Belgia; Instytutem Fizyki Uniwersytetu w Oldenburgu, Niemcy; Institut Denis Poisson, Tours University-Orléans University, UMR 7013, Francja; Department of Applied Mathematics and Theoretical Physics (DAMTP), Centre for Mathematical Sciences, Cambridge University, Wielka Brytania; Institute of Modern Physics, Chinese Academy of Sciences, Lanzhou, Chiny.
- w zakresie matematyki: ze School of Mathematics and Applied Statistics (SMAS), Faculty of Engineering and Information Sciences, University of Wollongong w Wollongong, Australia; University of Kansas, Lawrence, USA; University of Boulder, Colorado, USA.