The Compilers and Languages research unit is delighted to invite you to a presentation on an exciting collaborative research project with Nile University, Egypt: Formal Verification of Deep Neural Networks for Code Applications.

During the presentation, our esteemed guests will provide an overview of the research project, highlighting its objectives, methodologies, and potential impact. This is an excellent opportunity to engage in fruitful discussions, foster new connections, and explore avenues for future collaboration. All faculty members, researchers, and students with an interest in interdisciplinary research, international collaboration, are warmly invited to attend this presentation.

Light refreshments will be served following the presentation, providing an opportunity for informal networking and further discussion.

We look forward to seeing you there!

Project Abstract

Formal Verification of Deep Neural Networks for Code Conversion Applications

The project aims to enhance mobile applications’ efficiency and reliability by integrating advanced formal verification methods with deep neural networks. The need for code conversion is increasing in different areas as a powerful technique for automatically migrating applications across different platforms. A smart accurate code conversion framework would ease the process of developing applications for different operating systems and help smooth migration to updated hardware technologies with better resources.

This collaboration between Nile University and TU Wien focuses on developing sophisticated tools for cross-platform code conversion, addressing key challenges in software engineering, and fostering international academic cooperation.The project is funded by the OeAD’s Kooperation Entwicklungsforschung – KoEF program. It runs from June 2023 to June 2026, engaging scholars and PhD students in cutting-edge research and technological exchange.

Curious about our other news? Subscribe to our news feed, calendar, or newsletter, or follow us on social media.