May 3, 2016
3rd Microsoft Research IMDEA Software Institute Collaborative Workshop
The third Workshop of the Joint Research Center between Microsoft Research and
the IMDEA Software Institute takes place May 3-4, 2016, at Microsoft Research
Cambridge, UK. The workshop is aimed at discussing collaborative work on
chosen software projects and, where possible, to bring those advances to
Microsoft’s businesses.
The workshop focuses on the following three projects:
- Security and Cryptography
- Programming languages and Verification
- Multicore and Cloud computing
It is organized by Judith Bishop and Markulf Kohlweiss from Microsoft
Research and by Manuel Hermenegildo and Alexey Gotsman from the IMDEA Software Institute.
The 2-day workshop includes the following keynote speakers:
- Dr. Brian A. LaMacchia “bal” to his friends is the Director of the
Security & Cryptography group within Microsoft Research (MSR), where his team conducts
basic and applied research and advanced development. Brian is also a founding
member of the Microsoft Cryptography Review Board and consults on security
and cryptography architectures, protocols, and implementations across the
company. Before moving into MSR in 2009, Brian was the Architect for
cryptography in Windows Security, Development Lead for .NET Framework
Security, and Program Manager for core cryptography in Windows 2000. Prior to
joining Microsoft, Brian was a member of the Public Policy Research Group at
AT&T Labs—Research.
- Dr. Pierre Ganty is an Associate Professor (tenured) at the
IMDEA Software Institute. He works on the verification of
systems with infinitely many states, from theoretical
foundations of automated analysis all the way down to algorithms
and implementation. Pierre holds a joint PhD degree in Computer
Science from the University of Brussels, Belgium and from the
University of Genova, Italy, obtained in 2007. After his PhD,
Pierre did a two year postdoc at the University of California,
Los Angeles. Pierre joined the IMDEA Software Institute
institute in the Fall of 2009 as a tenure-track assistant
research professor.
More information can be found at the MSR-IMDEASW Joint Research Center web
site and the Workshop site at Microsoft
Research.
