Menu:Latest News:Aleks Nanevski (Ph.D. Carnegie Mellon, 2004) has joined IMDEA-Software as an Assistant Research Professor. He previously held a postdoctoral researcher position at Microsoft Research Cambridge. [Read More] Pierre Ganty (Ph.D. Université Libre de Bruxelles, 2007) recently joined IMDEA-Software as an Assistant Research Professor. He previously held a postdoctoral position at UCLA.[Read More] |
IMDEA Software NewsOctober 23, 2009: Aleks Nanevski joins IMDEAAleks Nanevski has joined IMDEA as Research Assistant Professor. Aleks did his postdoctoral studies at Microsoft Research, Cambridge, and at Harvard University, after finishing his PhD at Carnegie-Mellon University. Aleks's interests lie in the design and implementation of programming languages and methodologies that facilitate specification and verification of various program properties. He is also interested in all aspects of compilation and optimization of modern programming languages and in other formal verification methods, such as interactive and automated theorem proving, decision procedures, program analysis and software model checking.September 1, 2009: Pierre Ganty joins IMDEAPierre Ganty has joined IMDEA as Research Assistant Professor. In September 2007, Pierre received his PhD degree from the Université Libre de Bruxelles. Before joining IMDEA, he held a postdoc position at UCLA (University of Los Angeles, California). His research interest are (no order) verification of systems with infinitely many states; abstraction refinement techniques for verification; bounded analysis techniques; logic and automata theory; algorithms and tools for the design and verification of reactive and distributed systems; program analysis; and formal models for distributed systems: petri netsApril 9, 2009: HATS Kick-Off Meeting in BolognaGilles Barthe, Manuel Hermenegildo, and Manuel Clavel attended the HATS kick-off meeting, held in Bologna, Italy, on March 9-11, 2009. HATS is a recently approved FP7 IP project which focuses on the rigorous development of software product families (SWPF). The technical core of the project is an Abstract Behavioral Specification language which will allow precise description of SWPF features and components and their instances. IMDEA Software is part of the HATS consortium, in collaboration with UPM, along with 7 other academic partners, 2 research institutes, and 1 SME. April 9,2009: AMAROUT Programme for Research Mobility StartsThe IMDEA Institutes network received approval for a 7FP (PEOPLE-COFUND) Marie-Curie Action for researcher mobility called AMAROUT. The programme co-finances for one year (renewable for two or three) the incorporation of more than 130 researchers into the IMDEA network of institutes. The duration of the AMAROUT programme is 4 years, beginning on March 1st, 2009. IMDEA Software is the coordinator of the AMAROUT programme. February 1, 2009: Anindya Banerjee joins IMDEA SoftwareAnindya Banerjee will be joining IMDEA-Software in December 2008. Formerly Full Professor in the Dept. of Computing and Information Sciences at Kansas State U., during 2007--2008 he was visiting researcher at the Programming Languages and Methodology group at Microsoft Research, Redmond, on sabbatical leave from KSU.January 1, 2009: Winning Building DesignBuilding designs from six renowned architects were received in response to our call for design ideas. In november 2008 a committee formed by members of IMDEA Software, CAM and external experts choose a winning design, by Estudio Lamela. Construction of this new building will begin in early 2009 and finish at the beginning of 2011, when the Institute will outgrow its current location in a floor of the UPM CS Department. |
