Automated reasoning and the applications of decision making.
We pursue research on automated reasoning, adaptation, and the theories and applications of decision making and learning. Our research goals include learning from data and data mining. By building software that automatically learns from data, we design applications that have new functions and flexibility. Our research focuses on using statistical methods for the development of more advanced, intelligent computer systems.
Read more at Microsoft