Projects

Displaying results 1 to 4 of 4.

Adra-e – AI, Data and Robotics ecosystem

Adra-e - Supporting the AI, Data and Robotics Community in the Development of a Sustainable European Ecosystem Adra-e is a Coordination and Support …
BSI_SiKI2 – Studie: Sicherheit von KI-Systemen - TP 2: Symbolische und Hybride KI-Methoden

The Federal Office for Information Security (BSI) has commissioned a study on the topic of "Security of AI systems: Symbolic and Hybrid AI Methods". …
VE-HEP – Hardening the Supply Chain through Open Source, Trustworthy EDA Tools and Processors

The project "Hardening the Supply Chain through Open Source, Trusted EDA Tools and Processors (HEP)" focuses on RISC-V processors. RISC-V is a new, …
VerSys – A Sound Verification Platform for Early Software Development for RISC-V based Systems

The aim of the VerSys project is to develop a consistent platform for early software development based on RISC-V technology, an instruction set …