研究院的“合规沙皇”：坚守数据使用的边界
编者按：Ambrosio Blanco加入微软27年，加入微软亚洲研究院12年。他参与的产品开发五花八门，但微软亚洲研究院最前沿的技术却最能满足他无止境的好奇。他在这里做开发导向的研究，不断跳出自己的舒适圈，时刻保有成长心态。他也是研究院的“合规沙皇”，在每个微小的细节上保护用户的隐私权益。在他眼里，在每个小细节上都坚持以用户利益为最大，最后的整体结果才会令人尊敬，“因为用户最终会知道谁对他好”。...
In the news | Jonathan Protzenko Blog
Generating C code that people actually want to use
Project Everest is a large, collaborative research effort that aims to verify and deploy a new, secure HTTPS stack. All of our code is verified using the F* programming language. Using KreMLin, a dedicated compiler, the verified F* code is…
In the news | TechCrunch
Microsoft acquires Citus Data
Microsoft today announced that it has acquired Citus Data, a company that focused on making PostgreSQL databases faster and more scalable. Citus’ open-source PostgreSQL extension essentially turns the application into a distributed database and, while there has been a lot…
Empowering people with AI with Dr. Cecily Morrison
| Cecily Morrison
Episode 60, January 23, 2019 - Dr. Morrison gives us an overview of what she calls the “pillars” of inclusive design, shares how her research is positively impacting people with health issues and disabilities, and tells us how having a…
In the news | edugeek
Code Jumper Aims to Jumpstart Computer Science Interest for Kids Who Are Blind
Microsoft announced plans to transfer the research and technology behind Code Jumper, a physical programming language that is designed to be inclusive of children who are blind or low vision, to the American Printing House for the Blind.
In the news | FT Tech Tonic
FT Tech Tonic: AI and software’s ‘singular moment’
John Thornhill talks to Chris Bishop, director of Microsoft’s Cambridge research lab, about the potential for exponential growth in the development of software, thanks to machine learning.
Scientists discover how bacteria use noise to survive stress
Mutations in the genome of an organism give rise to variations in its form and function—its phenotype. However, phenotypic variations can also arise in other ways. The random collisions of molecules constituting an organism—including its DNA and the proteins that…