Andrzej Mróz

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”.