Lista pracowników

dr hab. Andrzej Mróz, prof. UMK
profesor 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