IMDEA Software organizes ES_PASS Workshop on Industrialization of Abstract Interpretation
October 28, 2009
IMDEA Software has organized the ES_PASS Project Workshop on “Industrialization of Abstract Interpretation,” held on October 28, 2009 in Madrid...
[ Read More ]
Aleks Nanevski joins the Institute
October 23, 2009
Aleks Nanevski has joined IMDEA as Assistant Research Professor. Aleks did his postdoctoral studies at Microsoft Research, Cambridge, and at...
[ Read More ]
