Habilitations

Filip Mazowiecki (Uniwersytet Warszawski)

Weighted automata: expressiveness and decidability

Status: Pending Field: informatics Application

Mikołaj Krupski (Uniwersytet Warszawski)

O rozróżnianiu przestrzeni funkcji ciągłych

Status: Pending Field: mathematics Application

Andrzej Mizera (Uniwersytet Warszawski)

Metody obliczeniowe służące do analizy i sterowania dużymi modelami boolowskimi sieci regulatorowych genów

Status: Pending Field: informatics Application

Wojciech Górny (Uniwersytet Warszawski)

Badanie zagadnień dla funkcjonałów o liniowym wzroście, przede wszystkim (anizotropowego) całkowitego wahania, i ich analiza pod kątem wpływu geometrii przestrzeni na istnienie i właściwości rozwiązań

Status: Pending Field: mathematics Reviewers: prof. Giovanni Bellettini (University of Siena), prof. dr hab. Piotr Hajłasz (University of Pittsburgh), prof. dr Julio Rossi (Universidad de Buenos Aires), prof. dr hab. Stanisław Migórski (Uniwersytet Jagielloński) Application Commission

Bartosz Bieganowski (Uniwersytet Warszawski)

Metody wariacyjne, topologiczne i geometryczne w badaniu rozwiązań zagadnień eliptycznych

Status: Pending Field: mathematics Reviewers: prof. dr hab. Dariusz Idczak (Uniwersytet Łódzki), prof. dr hab. Janusz Mierczyński (Politechnika Wrocławska), prof. Michał Kowalczyk (CMM, Universidad de Chile), prof. dr hab. Jacek Banasiak (Politechnika Łódzka) Application Commission

Neo Christopher Chung (Uniwersytet Warszawski)

Wnioskowanie i wyjaśnialność modelu uczenia maszynowego

Status: Pending Field: informatics Reviewers: dr hab. inż. Marcin Kurdziel, prof. ucz. (Akademia Górniczo-Hutnicza im. S. Staszica w Krakowie), dr hab. inż. Filip Stefaniak (Międzynarodowy Instytut Biologii Molekularnej i Komórkowej w Warszawie), prof. dr hab. inż. Andrzej Polański (Politechnika Śląska), dr hab. Marek Śmieja (Uniwersytet Jagielloński) Application Commission

Jacek Sroka (Uniwersytet Warszawski)

Przepływy prac: zastosowania w bioinformatyce oraz modelowanie przy pomocy sieci Petriego

Status: Accepted Awarding date: May 15, 2025 Field: informatics Reviewers: dr hab. inż. Aleksandra Gruca (Politechnika Śląska), prof. dr hab. Marta Kasprzak (Politechnika Poznańska/ Instytut Chemii Bioorganicznej PAN), prof. Khalid Belhajjame (University Paris-Dauphine), prof. Hajo Reijers (Utrecht University, Eindhoven University of Technology) Application Commission Faculty resolution

Piotr Kucharski (Uniwersytet Warszawski)

Korespondencja węzeł-kołczan: struktura, intepretacje i generalizacje

Status: Accepted Awarding date: March 27, 2025 Field: mathematics Reviewers: prof. dr hab. Piotr Krasoń (Uniwersytet Szczeciński), ) dr hab. Piotr Malicki, prof. UMK (Uniwersytet Mikołaja Kopernika w Toruniu), ) prof. dr hab. Józef H. Przytycki (Goerge Washington University), prof. Mark Powell (Univeristy of Glasgow) Application Commission Faculty resolution

Anna Zych-Pawlewicz (Uniwersytet Warszawski)

Model ograniczonego budżetu zmian jako pomost pomiędzy algorytmami online a dynamicznymi

Status: Accepted Awarding date: March 20, 2025 Field: informatics Reviewers: prof. Daniel Marx (CISPA Helmholtz Center for Information Security), prof. Eva Rotenberg (Technical University of Denmark), prof. dr. Artur Czumaj (University of Warwick), dr hab. Katarzyna Paluch, prof. ucz. (Uniwersytet Wrocławski) Application Commission Faculty resolution

Piotr Hofman (Uniwersytet Warszawski)

Systemy nieskończone stanowe z danymi

Status: Accepted Awarding date: Feb. 20, 2025 Field: informatics Reviewers: dr hab. Lidia Tendera, prof. ucz. (Uniwersytet Opolski), prof. dr hab. Marcin Jurdziński (University of Warwick), dr hab. Emanuel Kieroński (Uniwersytet Wrocławski), prof. dr Antonín Kučera (Masaryk University, Brno) Application Commission Faculty resolution

Piotr Szewczak (Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie)

Kombinatoryczne własności pokryciowe

Status: Accepted Awarding date: Nov. 28, 2024 Field: mathematics Reviewers: prof. dr hab. Tomasz Kubiak (Uniwersytet im. Adama Mickiewicza w Poznaniu), prof. dr hab. Piotr Borodulin-Nadzieja (Uniwersytet Wrocławski), dr hab. inż. Robert Rałowski (Politechnika Wrocławska), prof. dr hab. Marek Balcerzak (Politechnika Łódzka) Application Faculty resolution

Paweł Rzążewski (Politechnika Warszawska)

Program optymalności w problemach homomorfizmu grafów

Status: Accepted Awarding date: Sept. 26, 2024 Field: informatics Reviewers: dr hab. Piotr Micek prof. ucz. (Uniwersytet Jagielloński w Krakowie); prof. Jaroslav Nešetřil (Charles University, Czechy); prof. Zdenek Dvorak (Charles University, Czechy); prof. dr hab. Jarosław Byrka (Uniwersytet Wrocławski) Application Commission Faculty resolution

Oskar Skibski (Uniwersytet Warszawski)

Miary istotności w grupach i sieciach

Status: Accepted Awarding date: May 23, 2024 Field: informatics Reviewers: prof. Paolo Boldi (Università degli Studi di Milano); prof. dr hab. Wojciech Słomczyński (Uniwersytet Jagielloński w Krakowie); prof. dr hab. Jarosław Grytczuk (Politechnika Warszawska); prof. Piotr Krysta (University of Liverpool) Application Commission Faculty resolution

Maciej Wiśniewolski (Uniwersytet Warszawski)

Charakterystyka rozkładów funkcjonałów dyfuzji za pomocą teorii splotów i wycieczek

Status: Accepted Awarding date: April 25, 2024 Field: mathematics Reviewers: dr hab. Tomasz Klimsiak, prof. ucz. (Uniwersytet Mikołaja Kopernika w Toruni, Instytut Matematyczny Polskiej Akademii Nauk); prof. dr hab. Krzysztof Bogdan (Politechnika Wrocławska); prof. dr hab. Marta Tyran-Kamińska (Uniwersytet Śląski w Katowicach); prof. dr hab. Szymon Peszat (Uniwersytet Jagielloński w Krakowie) Application Commission Faculty resolution

Łukasz Mikulski (Uniwersytet Warszawski)

Zdefiniowanie i zbadanie własności systemu powiązanych ze sobą modeli dla procesów współbieżnych spełniającego tylko najbardziej ogólny paradygmat w semantyce krokowej (cykl publikacji)

Status: Accepted Awarding date: March 21, 2024 Field: informatics Reviewers: prof. Marek Zaionc (Uniwersytet Jagielloński w Krakowie); prof. Jerzy Marcinkowski (Uniwersytet Wrocławski); prof. Volker Diekert (Uniwersytet w Stattgarcie) Faculty resolution