Formal Methods for Secure Blockchain-Oriented Programming

01.03.2025 - 28.02.2030
Forschungsförderungsprojekt

Personen

Projektleiter_in

Subprojektmanager_innen

Institut

Förderungmittel

  • European Commission (EU) ERC Advanced Grant ERC Europäischer Forschungsrat HORIZON I - Herausragende Wissenschaft Rahmenprogramm HORIZON EUROPE Europäische Kommission Ausschreibungskennung ERC-2023-ADG

Forschungsschwerpunkte

  • Logic and Computation: 100%

Publikationen