computer science: FOrmal Languages and COncurrency

Grants participated by our members:

“CA18131 – Statistical and machine learning techniques in human microbiome studies”, a member of the managing committee – Piotr Przymus
Priority Research Team “Formal languages and concurrency (FoLCo)”, grant under IDUB UMK, for the years 2020-2022, 45 000 PLN
- team lider: dr Łukasz Mikulski
- team members: dr Kamila Barylska, dr Anna Gogolińska, mgr Mariusz Kaniecki, dr hab. Andrzej Mróz, dr Marek Nowicki, dr Marcin Piątkowski, dr Piotr Przymus
International Academic Partnerships in Sciences with Nicolaus Copernicus University in Toruń, inter-faculty project under the NAWA grant, for years 2018-2021, 1 350 000 PLN
- computer science contacts coordinator (with Leiden University and Newcastle University): dr Łukasz Mikulski
HEAP – Human Exposome Assessment Platform; H2020 – Grant No. 874662; for the years: 2021-2024:
- dr Marek Nowicki participant from 2021,
- dr Marek Nowicki leader of Work Package 9.
dr Piotr Przymus, participant in project: “Optymalizacja wstępnego przetwarzania danych na potrzeby uczenia maszynowego i eksploracji danych na GPU przy pomocy metaprogramowania”, CyberiADa-2 Senior, POB Cyberbezpieczeństwo i analiza danych, Politechnika Warszawska.
12685695 POLLUX / CORE 2018: STV / Socio-Technical Verification of Information Security and Trust in Voting Systems, Narodowe Centrum Badań i Rozwoju / Luxembourg National Research Fund, dr Łukasz Mikulski, mgr Damian Kurpiewski
“Benchmarking Java on Ethernet Cluster” Hasso Plattner Institut, HPI Future SOC Lab (04-11/2019, 11/2019-04/2020, 04-11/2020, 11/2020-04/2021, 04-11/2021); kierownik: dr Marek Nowicki
NCN Miniatura 6, “Zastosowanie modeli danych ze skalą szarości w problemach podatności bezpieczeństwa w kodzie źródłowym”, dr Piotr Przymus
“Benchmarking Java on Ethernet Cluster” Hasso Plattner Institut, HPI Future SOC Lab (04-11/2019, 11/2019-04/2020, 04-11/2020, 11/2020-04/2021, 04-11/2021, 11/2021-4/2022, 04-11/2022, 11/2022-5/2023, 05-11/2023); kierownik: dr Marek Nowicki
CA22104 – Behavioral Next Generation in Wireless Networks for Cyber Security (BEiNG-WISE), participation in: management committee and working groups 1 i 3, Piotr Przymus
POLLUX-XI/14/SpaceVote/2023: SpaceVote / Probabilistic Verification of Complex Heterogeneous Systems: From Ballots to Ballistics, Narodowe Centrum Badań i Rozwoju / Luxembourg National Research Fund, wykonawca: dr Łukasz Mikulski, mgr Damian Kurpiewski
Research Project Grant: Folding groups, monoids and complexes with applications to step traces, Leverhulme Trust, visiting researcher: dr Łukasz Mikulski
NCN Miniatura 8 – “Sieci Petriego w modelowaniu cukrzycy.” – wniosek przeszedł ocenę formalną, skierowany do oceny merytorycznej, dr Kamila Barylska, 2024

Internal grants (apparatus, teaching, publishing):

Machine learning and GPU Cluster (UMK IDUB, grant aparaturowy), leader: dr Łukasz Mikulski, participant: dr Piotr Przymus
Wprowadzenie do Algorytmów i Struktur Danych (UMK IDUB BELL, grant na materiały elearningowe), leader: dr Łukasz Mikulski, participant: dr hab. Andrzej Mróz, prof. UMK
Implementacja Algorytmów i Struktur Danych (UMK IDUB BELL, grant na materiały elearningowe), leader: dr hab. Andrzej Mróz, prof. UMK, participant: dr Łukasz Mikulski
Eksploracja Masywnych Zbiorów Danych (UMK IDUB BELL, grant na materiały elearningowe), leader: dr Piotr Przymus
Relational Structures for Concurrent Behaviours (UMK InterAPS, grant publikacyjny), leader: dr Łukasz Mikulski
Reaction Systems and Enabling Equivalence (UMK InterAPS, grant publikacyjny), leader: dr Łukasz Mikulski
Comparition of sort algorithms in Hadoop and PCJ (UMK IDUB, grant publikacyjny), leader: dr Marek Nowicki
PCJ Java Library as a solution to integrate HPC, Big Data and Artificial Intelligence workloads (UMK IDUB, grant publikacyjny), kierownik: dr Marek Nowicki
Expanding DAMSI cluster for GPGPU Computing and Deep Learning Capabilities (UMK IDUB, grant aparaturowy), kierownik: dr Łukasz Mikulski, wykonawca: dr Piotr Przymus, dr Marek Nowicki