Active and recently completed scientific research grants funded by the National Science Centre (NCN), National Centre for Research and Development (NCBR), European Research Council (ERC), and EU Horizon Europe.
Engineering low-overhead, kernel-level cryptographic provenance capture and deterministic container runtimes for petascale computational pipelines.
Developing geometric deep learning architectures and foundation graph transformers to map cellular microenvironments and predict pharmacological perturbations in spatial transcriptomics.
Investigating distributed quantum entanglement distribution, topological error mitigation, and quantum repeater networks across metropolitan optical fiber testbeds.
A major research initiative developing sound, scalable formal verification tools and cryptographic proofs for deep neural network execution across distributed computing nodes.
Investigating the unification of gradient-based neural networks with exact automated theorem provers for automated proof generation in algebraic geometry and software verification.
| Grant Code | Research Initiative | Principal Investigator | Funding Agency | Period |
|---|---|---|---|---|
POIR.04.04.00-00-5C29/18 | Project PROVENANCE-X: Cryptographic Workflow Provenance for Exascale Science | Prof. dr hab. Tomasz Wiśniewski | National Centre for Research and Development (NCBR) & FNP TEAM Programme | 2023–2026 |
2023/51/D/NZ2/02844 | Project BIO-EMBED: Multi-Modal Foundation Embeddings for Single-Cell Spatial Omics | Dr Mateusz Wójcik | National Science Centre (NCN) — SONATA 19 Scheme | 2024–2027 |
Grant Agreement No. 101083921 | Project QUANTUM-NET: Fault-Tolerant Distributed Quantum Routing Protocols | Dr hab. Elena Markiewicz | European Commission — Horizon Europe Quantum Flagship | 2024–2028 |
2024/53/B/ST6/01928 | Project VERIPROVE: Automated Verification of Distributed Neural Computation | Prof. dr hab. inż. Janusz Kowalczyk | National Science Centre (NCN) — OPUS 24 Scheme | 2024–2027 |
PPN/BAP/2024/1/00045 | Project NEURO-REASON: Differentiable Mathematical Theorem Proving & SMT Integration | Dr inż. Karolina Nowak | Polish National Agency for Academic Exchange (NAWA) & NCN | 2025–2028 |