AbsInt and IMDEA sign agreement to exchange expertise on abstract interpretation
April 28, 2011
AbsInt and IMDEA signed an agreement to collaborate on the development of the ASTREE static analyzer, commercialized by AbsInt and...
[ Read More ]
Alexey Gotsman gets EAPLS Best Dissertation Award
April 11, 2011
Alexey Gotsman, Assistant Professor at the IMDEA Software Institute, is the winner of the 2010 EAPLS Best Dissertation Award for...
[ Read More ]
Laurent Mauborgne gets Intelligent Systems Best Paper Award
April 1, 2011
Laurent Mauborgne, Researcher at the IMDEA Software Institute, is one of the winners of the Intelligent Systems Best Paper Award...
[ Read More ]
