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; participant: dr Marek Nowicki
• 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

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