Ukończyłem studia na Filii Uniwersytetu Warszawskiego w Białymstoku. Stopień doktora nauk matematycznych uzyskałem w Instytucie Matematyki Politechniki Warszawskiej, a stopień doktora habilitowanego na Wydziale MIM Uniwersytetu Warszawskiego. Od zakończenia studiów pracowałem na Filii UW w Białymstoku, a następnie na powstałym z niej w 1997 roku Uniwersytecie w Białymstoku. Od 2001 roku pracuję na Wydziale Informatyki Politechniki Białostockiej. W latach 2017-2020 byłem członkiem Komitetu Matematyki Polskiej Akademii Nauk.
Głównym obszarem moich zainteresowań naukowych jest teoria grup i algebr grupowych, problem izomorfizmu algebr grupowych, zastosowania grup skończonych w opisach zwartych przestrzeni Riemanna, a ostatnio również algebraiczna teoria grafów. Jestem autorem podręcznika Wstęp do teorii grup, wydanym w latach 2002 i 2012. Ze względów dydaktycznych interesuje mnie również historia matematyki. W chwilach wolnych sporo czytam, w tym poezje, biografie i książki historyczne. Dawniej pasjami grywałem w szachy, a obecnie lubię grać w bilard.
Zajmuję się geometrią algebraiczną. Interesuję się również teorią reprezentacji nieprzemiennych algebr skończenie wymiarowych. W swoich badaniach używam metod teorii kategorii oraz algebry homologicznej. Moje wyniki dotyczą głównie związków pomiędzy geometrią rozmaitości algebraicznych a kategorią snopów na nich. Obecnie badam częściowe uzwarcenie powierzchni algebraicznej, które można uzyskać z kategorii wiązek wektorowych na niej. Chciałabym również zrozumieć program modeli minimalnych trójwymiarowych rozmaitości algebraicznych z punktu widzenia rozkładów pół-ortogonalnych kategorii pochodnych snopów koherentnych.
Uzyskałam tytuł doktora na Uniwersytecie Warszawskim w 2014 roku. Pracę doktorską DG categories and derived categories of coherent sheaves napisałam pod opieką profesora Alexeya Bondala i profesora Adriana Langera. Następnie odbyłam dwa staże podoktorskie; w latach 2014-2015 w Wyższej Szkole Ekonomii w Moskwie, a w latach 2015-2016 na Uniwersytecie w Edynburgu. Od września 2017 roku pracuję na Wydziale Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego. Od lutego 2021 roku jestem też członkiem stowarzyszonym KAVLI Institute for the Physics and the Mathematics of the Universe na Uniwersytecie w Tokio.
Prywatnie jestem mamą dwójki małych dzieci, co nie pozostawia mi zbyt wiele wolnego czasu na inne zainteresowania. W nielicznych wolnych chwilach czytam książki i powoli planuje pierwsze górskie wycieczki, na które zabiorę dzieci.
Urodziłem się w Charkowie na Ukrainie. W szkole średniej aktywnie uczestniczyłem w matematycznych olimpiadach zdobywając srebrne medale na IMO w 2001 i 2002 roku. Swoją pierwszą pracę matematyczną publikowałem w 2006 roku pod kierunkiem Mykoły Nessonowa. W 2007 roku uzyskałem tytuł magistra magna cum laude na Charkowskim Uniwersytecie Narodowym im. Karazina. Doktorat ukończyłem w 2012 roku na Uniwersytecie w Toronto. Po stanowiskach podoktoranckich na Uniwersytecie Stony Brook u Michaiła Lyubicza i na Uniwersytecie w Toronto u Michaela Yampolskiego, w 2017 roku przeniosłem się do Warszawy, gdzie obecnie zajmuję stanowisko profesora Instytutu Matematyki PAN. W 2020 roku uzyskałem habilitację summa cum laude na temat Charakterystyki dyskretnych grup nieskończonych i pokrewne pytania. Moje obecne zainteresowania obejmują charaktery i reprezentacje unitarne grup, własności spektralne grup i grafów, grupy samopodobne, złożoność atraktorów układów dynamicznych oraz dowody wspomagane komputerowo.
Jestem kierownikiem katedry logiki i metodologii nauk Uniwersytetu Łódzkiego (od 2015). Zajmuję się teorią dowodu i jej zastosowaniami w logikach nieklasycznych i automatycznym dowodzeniu twierdzeń. Opublikowałem 7 książek (m.in. Natural Deduction, Hybrid Systems and Modal Logics, Springer 2010 i Sequents and Trees, Burkhauser 2021) i około100 artykułów (w tym m.in. w Synthese, Journal of Automated Reasoning, Review of Symbolic Logic, oraz tomach konferencji IJCAR, CADE, Tableaux). Jestem redaktorem „Studia Logica” i „Bulletin of the Section of Logic” oraz organizatorem (od 2008) cyklicznej konferencji Non-Classical Logics (ostatnia 11 edycja odbyła się w 2024). Obecnie zajmuję się realizacją ERC Advanced Grant ExtenDD (2022-2027), który poświęcony jest poszerzeniu teorii dowodu na operatory nazwotwórcze. Jednym z zadań projektu jest opracowanie praktycznie zorientowanych systemów dowodowych dla różnych teorii zbiorów, opartych na zastosowaniu abstraktów. W wolnych chwilach oglądam filmy (raczej starsze), słucham muzyki (głównie jazzowej), czytam książki (przeważnie historyczne).
Zajmuję się nieliniowymi równaniami dyspersyjnymi, a zwłaszcza nieliniowymi równaniami falowymi. Równania dyspersyjne to rodzaj ewolucyjnych równań różniczkowych cząstkowych, tzn. równań opisujących zmianę pewnego układu w czasie. Równania dyspersyjne charakteryzują się tym, że różne liczby falowe rozchodzą się z różnymi prędkościami. W efekcie, po odpowiednio długim czasie amplituda rozwiązań maleje do zera, podobnie jak fale rozchodzące się na wodzie, dźwięk w przestrzeni, itd. Mimo to, w pewnych przypadkach, z uwagi na topologię zbioru stanów o skończonej energii, istnieją specjalne rozwiązania zwane solitonami topologicznymi, które nie zmieniają swojego kształtu w miarę upływu czasu. Większość moich badań dotyczy roli solitonów topologicznych w opisie rozwiązań nieliniowych równań falowych.
Do tej dziedziny matematyki wprowadzili mnie moi promotorzy Yvan Martel i Frank Merle (pod których kierunkiem obroniłem doktorat na Uniwersytecie Paris-Saclay w 2016. roku), a także Wilhelm Schlag, Pierre Raphaël, Carlos Kenig i Thomas Duyckaerts. Jednym z aspektów, które najbardziej cenię w moim polu badań, jest jego interdyscyplinarność: rozważane równania pochodzą z fizyki teoretycznej, a do ich matematycznej analizy używa się elementów analizy harmonicznej, rachunku wariacyjnego, geometrii, teorii równań różniczkowych zwyczajnych i analizy asymptotycznej.
W wolnych chwilach też poniekąd zajmuję się falami: tymi dźwiękowymi (grając muzykę kameralną) i tymi na wodzie (uprawiając amatorsko wioślarstwo).
Uzyskałem doktorat z matematyki na Uniwersytecie im. Adama Mickiewicza w Poznaniu w 1979 roku, a moim promotorem był Władysław Orlicz. Pracowałem w Polskiej Akademii Nauk w Poznaniu (1977–1987), na Uniwersytecie Centralnym Wenezueli (UCV) w Caracas (1987–1988), w Wenezuelskim Instytucie Badan Naukowych (IVIC) w Caracas (1988–1991), w Claremont McKenna College w Claremont CA, USA (IX–XII 1993) i dla Kyushu Institute of Technology w Kitakyushu (Japonia, X 1996–III 1997, I–III 2000). Ponadto przez wiele lat pracowałem na Uniwersytecie Technicznym w Luleå (Szwecja, 1991–2018 i jako profesor emerytowany: 2018–2025), gdzie w 1991 roku uzyskałem habilitację, a w 2000 roku zostałem profesorem matematyki. Od kwietnia 2020 roku pracuję na Politechnice Poznańskiej. Otrzymałem Nagrodę Główną PTM im. Stefana Banacha w 1982 roku, Nagrodę Państwową z CONICIT w Wenezueli w 1990 roku, Nagrodę dla najlepszego nauczyciela w Luleå w 2001 roku oraz Nagrodę Główna PTM im. Samuela Dicksteina za 2016 rok za wybitne osiągnięcia w historii matematyki. Moje badania naukowe obejmują analizę funkcjonalną, analizę rzeczywistą, nierówności oraz historię matematyki. Jestem autorem lub współautorem ponad dwustu prac naukowych, czterech książek z materiałami konferencyjnymi Banach and Function Spaces (Yokohama Publishers, 2004, 2008, 2011, 2014), trzech monografii z matematyki: Orlicz Spaces and Interpolation (Campinas, 1989), Multiplicative Inequalities of Carlson Type and Interpolation (World Scientific, 2006) i The Hardy Inequality - About its History and Some Related Results (Pilzen, 2007) oraz dwóch monografii z historii matematyki: 100 lat matematyki na Uniwersytecie w Poznaniu 1919–2019 (Wydawnictwo Naukowe UAM, Poznań, 2021) i W świątyni nauki, mekce matematyków. Studia i badania naukowe polskich matematyków, fizyków i astronomów na Uniwersytecie w Getyndze 1884–1933 (Wydawnictwo Naukowe PWN, Warszawa, 2021). Prace i książki są dostępne na stronie internetowej w Luleå. Cytowania (02.03.2025): w MathSciNet - 190 publikacji, cytowanych 2835 razy przez 1658 autorów; w Google Scholar - 7125 cytowań i index Hirscha=36; w Scopusie - 104 publikacje, 2336 cytowań i h-index Hirscha=24.