CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
The PINDESYM project seeks to advance the understanding of programs through static analysis by integrating symbolic reasoning and machine learning. This approach aims to create a unified framework for automatic program analysis, moving towards deeper comprehension of code behavior.
The automatic understanding of programs, in insightful, high-level terms, has long been a dream of computer science.
The area of static program analysis has made significant progress in such understanding by algorithmically modeling all possible program behaviors.
In this setting, declarative program analysis has recently demonstrated great success in capturing powerful algorithms efficiently and elegantly, in a form that bridges mathematical logic and intuitive human understanding.The PI’s rese…
ETHNIKO KAI KAPODISTRIAKO PANEPISTIMIO ATHINON
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 topics.
Guests see up to 5 keywords.
