Projects and Funding

SAI: Social Explainable Artificial Intelligence. CHIST-ERA (EU), 2021-23.

SmartExit: Facilitating optimal containment and exit strategies with minimal disclosure access control and tracking. COVID-19 Fast-Track Luxembourg (FNR), 2020.

STV: Socio-Technical Verification of Information Security and Trust in Voting Systems. Bilateral Polish-Luxembourgish project (NCBiR PolLux/FNR CORE), 2019-23.

VoteVerif: Verification of Voter-Verifiable Voting Protocols. Bilateral Polish-Luxembourgish project (NCBiR PolLux/FNR CORE), 2016-19.

ReVINK: Representation and Verification of Interaction and Knowledge. Marie Sklodowska-Curie IEF Fellowship (EU FP7), 2014-16.

GaLOT: Game Logics for Open IT Environments. Bilateral German-Luxembourgish project (INTER DGF/FNR), 2012-15.

Formal Verification Group @ Polish Academy of Sciences
Applied Security and Information Assurance Group @ University of Luxembourg
Computational Intelligence Group @ Clausthal University of Technology	Last modified 2024-10-22