ERC Advanced Grant · 2022
Program Intelligence, Declaratively and Symbolically
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 research has established a world-leading program in declarative program analysis, with multiple independent signs of high recognition. However, the dream of automatic deep program understanding remains…
From the public funding record at EU CORDIS. Describes the funded project, not the reviews below.
← All labs at National and Kapodistrian University of Athens