Pracownicy
dr hab. Andrzej Mróz, prof. UMKprofesor uniwersytetu
Katedra Kombinatoryki i Obliczeń Symbolicznych
pokój: B 119, Chopina 12/18, 87-100 Toruń
tel.: +48 56 611 2908
e-mail: amroz@mat.umk.pl
www: http://www.mat.umk.pl/~amroz
ORCID: 0000-0002-4337-7313
Zainteresowania:
Interesuję się zarówno matematyką (czystą i obliczeniową), jak i informatyką (teoretyczną, programowaniem).
Główne obszary badań:
* teoria reprezentacji algebr łącznych, algebra homologiczna (w tym kategorie pochodne),
* algebra liniowa, formy kwadratowe i dwuliniowe, teoria macierzy,
* teoria grafów, spektralna (algebraiczna) teoria grafów, kombinatoryka,
* algebra komputerowa, obliczenia symboliczne,
* teoria algorytmów, złożoność obliczeniowa.
Oprócz badań o naturze teoretycznej ambicją jest tworzenie algorytmicznych narzędzi pomagających badać w sposób eksperymentalny, „empiryczny” abstrakcyjne obiekty matematyczne. Narzędzia takie mogą być skutecznym wsparciem badań teoretycznych: weryfikacja hipotez, dowody wspomagane komputerowo, czy też testy pozwalające zauważyć (często zaskakujące) regularności niewidoczne w „małej skali”.
Zobacz profil w Bazie Wiedzy