Formal Verification of Deep Neural Networks for Code Conversion applications

01.02.2024 - 31.01.2027
Education and academia management project

People

Project leader

Project personnel

Institute

Grant funds

  • OeAD-GmbH - Agentur für Bildung und Internationalisierung (National) Programme Cooperation Development Research Austrian Exchange Service (OeAD)

Research focus

  • Information Systems Engineering: 30%
  • Computer Science Foundations: 50%
  • Modeling and Simulation: 20%

External partner

  • Nile University

Publications