Filip Mazowiecki (Uniwersytet Warszawski)

Weighted automata: expressiveness and decidability

Status: W toku W zakresie: informatyki Aplikacja

Mikołaj Krupski (Uniwersytet Warszawski)

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

Status: W toku W zakresie: matematyki Aplikacja

Andrzej Mizera (Uniwersytet Warszawski)

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

Status: W toku W zakresie: informatyki Aplikacja

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: W toku W zakresie: matematyki Recenzenci: 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) Aplikacja Skład komisji

Bartosz Bieganowski (Uniwersytet Warszawski)

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

Status: W toku W zakresie: matematyki Recenzenci: 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) Aplikacja Skład komisji

Neo Christopher Chung (Uniwersytet Warszawski)

Wnioskowanie i wyjaśnialność modelu uczenia maszynowego

Status: W toku W zakresie: informatyki Recenzenci: 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) Aplikacja Skład komisji

Jacek Sroka (Uniwersytet Warszawski)

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

Status: Przyznana Data nadania: 15 maja 2025 W zakresie: informatyki Recenzenci: 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) Aplikacja Skład komisji Uchwała

Piotr Kucharski (Uniwersytet Warszawski)

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

Status: Przyznana Data nadania: 27 marca 2025 W zakresie: matematyki Recenzenci: 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) Aplikacja Skład komisji Uchwała

Anna Zych-Pawlewicz (Uniwersytet Warszawski)

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

Status: Przyznana Data nadania: 20 marca 2025 W zakresie: informatyki Recenzenci: 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) Aplikacja Skład komisji Uchwała

Piotr Hofman (Uniwersytet Warszawski)

Systemy nieskończone stanowe z danymi

Status: Przyznana Data nadania: 20 lutego 2025 W zakresie: informatyki Recenzenci: 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) Aplikacja Skład komisji Uchwała

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

Kombinatoryczne własności pokryciowe

Status: Przyznana Data nadania: 28 listopada 2024 W zakresie: matematyki Recenzenci: 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) Aplikacja Uchwała

Paweł Rzążewski (Politechnika Warszawska)

Program optymalności w problemach homomorfizmu grafów

Status: Przyznana Data nadania: 26 września 2024 W zakresie: informatyki Recenzenci: 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) Aplikacja Skład komisji Uchwała

Oskar Skibski (Uniwersytet Warszawski)

Miary istotności w grupach i sieciach

Status: Przyznana Data nadania: 23 maja 2024 W zakresie: informatyki Recenzenci: 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) Aplikacja Skład komisji Uchwała

Maciej Wiśniewolski (Uniwersytet Warszawski)

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

Status: Przyznana Data nadania: 25 kwietnia 2024 W zakresie: matematyki Recenzenci: 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) Aplikacja Skład komisji Uchwała

Ł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: Przyznana Data nadania: 21 marca 2024 W zakresie: informatyki Recenzenci: prof. Marek Zaionc (Uniwersytet Jagielloński w Krakowie); prof. Jerzy Marcinkowski (Uniwersytet Wrocławski); prof. Volker Diekert (Uniwersytet w Stattgarcie) Uchwała