Microsoft Research Blog

The Microsoft Research blog provides in-depth views and perspectives from our researchers, scientists and engineers, plus information about noteworthy events and conferences, scholarships, and fellowships designed for academic and scientific communities.

Workshop launches joint research center in Spain

April 3, 2014 | By Microsoft blog editor

With labs around the globe, Microsoft Research is ideally positioned to partner with leading academic and research institutes worldwide. One of the latest examples of this international cooperation is the Madrid Joint Research Center, a collaborative venture between Microsoft Research and the IMDEA Software Institute. Now we are pleased to announce the center’s inaugural activity: a software workshop that takes place April 2 to 4, 2014, at IMDEA Software Institute’s campus in Madrid.

IMDEA Software Institute
The Microsoft Research and IMDEA Software Institute Collaboration Workshop will bring together researchers from both partners and will focus on advances in verification, programming languages, and security. Thirty-six researchers and 20 students are involved in the collaboration, and, to date, some 20 papers have resulted from their joint work, with more in preparation.

At a workshop that emphasizes collaboration, it is heartening to hear about joint work that has been completed, as well as proposals for new initiatives. A prime example of the first kind is will be described in the keynote by Alexy Gotsman from IMDEA. He will talk about a new framework and set of proofs that tighten up the semantics of modern databases underlying large-scale Internet services that guarantee immediate availability—a joint project from Microsoft Research, INRIA, and the University of Oxford.

Said Manuel Hermenegildo, director of the institute, “Following the workshop, the center will broaden its reach to work with Microsoft in the following categories: cloud storage systems and mobile platforms; cloud/web security/malware detection; cryptography and privacy; concurrency, parallelism, and memory models; and programming languages and verification.”

This will, we hope, be the first of many such workshops at the center, providing researchers and students a forum to discuss their collaborative work on hot topics in software. I am pleased to organize this joint research center with Georges Gonthier from Microsoft Research and Manuel Hermenegildo and Gilles Barthe from IMDEA Software Institute.

—Judith Bishop, Director of Computer Science, Microsoft Research Connections

Learn more

Up Next

Algorithms, Artificial intelligence, Mathematics, Security, privacy, and cryptography

Second homomorphic encryption standardization workshop delivers the goods

What an exciting two days at the Second Homomorphic Encryption Standardization Workshop at Massachusetts Institute of Technology. More than 70 participants from 10 countries gathered together for two intense days of panels, discussions and planning and walked away with a significant milestone: the first draft standard for homomorphic encryption, Homomorphic Encryption Standard Section 1.0 and […]

Kristin Lauter

Principal Researcher, Research Manager

Algorithms, Artificial intelligence, Computer vision, Data management, analysis and visualization, Hardware and devices, Human-computer interaction, Mathematics, Programming languages and software engineering, Security, privacy, and cryptography, Social sciences, Systems and networking, Technology for emerging markets

Microsoft Research PhD fellowships provide financial support to promising researchers

By Jim Pinkelman, Senior Director, Microsoft Research Since 2008, Microsoft Research has been awarding two-year PhD fellowships to computer science and related researchers at leading universities in the United States and Canada. These awards are designed to help promising young researchers focus on their studies, not their finances! This year’s program provides fellowships to 10, […]

Microsoft blog editor

Programming languages and software engineering

Microsoft Research and the industrial research cycle

A personal view By Thomas Ball, Research Manager, Research in Software Engineering (RiSE) group, Microsoft Research The industrial research cycle Here is what I have told new hires of Microsoft Research (MSR) since I became a manager some 14 years ago: MSR gives you the freedom to explore and expand the bounds of scientific knowledge, […]

Microsoft blog editor