Uniwersytet Mikołaja Kopernika w Toruniu - Centralny punkt logowania
Strona główna
dr hab.

Andrzej Mróz

prof. UMK
Zaloguj się, aby zobaczyć więcej.

Podstawowe informacje o użytkowniku

profesor uniwersytetu w jednostce Wydział Matematyki i Informatyki
Kierownik Katedry w jednostce Katedra Kombinatoryki i Obliczeń Symbolicznych

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

Koordynowane przedmioty

Prowadzone przedmioty

Imiona
Andrzej
Nazwisko
Mróz
Stopnie i tytuły
dr hab. prof. UMK
Przejdź do planu
ul. Jurija Gagarina 11, 87-100 Toruń tel: +48 56 611-40-10 https://usosweb.umk.pl/ kontakt deklaracja dostępności USOSweb 7.0.2.0-1 (2024-03-12)