-talks about his work in field of computer operating system-msft research founded in 1990s – basic research organizationnot just about Microsoft, its about advancement of technology.

-good idea to products in a fast and efficient way.

-840 Ph.D researchers

-some of the most distinguished researchers in msft researcher

-one of the top research center in field of computer sciences

-published more than 4k papers in total.

-strong relationship with universities and research communities.

-many msft products were coming from msft research-msr generates roughly 25% of the company;.s patents and generally msr patents are more fundamental-ability to bring smart people to bear rapidly on hard problems confronting products, product groups or the company-ears to the ground in new areas across a broad range of technologies.

basic research group allows a company like Microsoft to respond more rapidly to change

research provides a reservoir of technology, expertise and people that can be quickly brought to bear.

Future area of researchProvable systemsSLAM

software model checkinginput-c source "as is"api rules written in SLIC language–transfer a program into a binary program and prove the thing you are trying to find out.using prove to test the legitimacy of the code.-we can prove the point of termination(halt) of a large software project.

research in software engineering-code contractspex – tool for analyzing what should be test in a programz3church’s thesis proven by one of msr researcher.

Service transformation:-msr : research in how are we going to program in cloud computing-DryadLinq, query engine can be run on thousands of processors.

CS Resarch challengesoftware engineering and system designenergy and the environmenthealthcareeducationnatural interaction with the PC

speaker; Feng zhao principal searcher Microsoft research.

-computers used about 1.5% of total power consumption in USEnergy Efficient ComputingSensor device from MSR that measures power consumption, temperature, humidity, and lots of other thing.

Demo: implementing the sensor in real world.see the video.-array of sensors- mesh network, passing information from one device to another, servers mode manage the information and a central server mesh all the results. all the sensors produces about 100mb of data per day.-sensors improve energy efficient of Microsoft data center.