News from the front in the post-quantum crypto wars with Dr. Craig Costello
Dr. Craig Costello is in the business of safeguarding your secrets. And he uses math to do it. A researcher in the Security and Cryptography group at Microsoft Research, Dr. Costello is among a formidable group of code makers (aka…
The inner magic behind the Z3 theorem prover
| Nikolaj Bjørner and Leonardo de Moura
It’s not uncommon for us to hear that the Z3 theorem prover is magical, but the frequency of such complimentary feedback doesn’t make it any less unexpected—or humbling. When we began work on Z3 in 2006, the design was motivated…
Awards | CapstanCrunch: A Haptic VR Controller with User-supplied Force Feedback.
Best Paper: Honorable Mention, UIST 2019
User Interface Software and Technology (UIST) 2019 | October 2019 Mike Sinclair, Eyal Ofek, Mar Gonzalez Franco & Christian Holz Organized by ACM
In the news | SciTechDaily
Sabin Installation Turns AI Into Art at Microsoft Research Atrium
For Project Ada, Sabin and her team at Jenny Sabin Studio collaborated with a group of engineers, data scientists, and designers at Microsoft Research to create a responsive, immersive space that uses AI to process facial patterns and the emotions…
In the news | SciTechDaily
Sabin Installation Turns AI Into Art at Microsoft Research Atrium
For more than a decade, architect and educator Jenny Sabin has created a series of large sculptural installations at the intersection of architecture, art, and science. Integrating new technologies, inventive material and a combination of biological phenomena… For more than…
In the news | Microsoft Industry Blogs
Powering genomics tools and analysis with cloud computing
Microsoft continues to work alongside researchers and industry partners to bring cloud-based genomics analytics tools and solutions to the market. These solutions are critical in deciphering the code embedded in our individual and collective genetic blueprint. A better understanding of…
In the news | MSPoweruser
Microsoft open sources SandDance data visualization too
SandDance is a data visualization tool which Microsoft Research first announced in 2016. SandDance was able to handle multi-dimensional datasets of hundreds of thousands of rows and 30 columns. It showed a large number of related views by changing how…
In the news | Microsoft The AI Blog
Smiles beam and walls blush: Architecture meets AI at Microsoft
Jenny Sabin is perched high on a scissor lift, her head poking through an opening of the porous fabric structure that she’s struggling to stretch onto the exoskeleton of her installation piece, which is suspended in the airy atrium of…
In the news | Microsoft The AI Blog
Smiles beam and walls blush: Architecture meets AI at Microsoft
Jenny Sabin is perched high on a scissor lift, her head poking through an opening of the porous fabric structure that she’s struggling to stretch onto the exoskeleton of her installation piece, which is suspended in the airy atrium of…