Michael D Adams was previously a Research Assistant Professor at the University of Utah and an Assistant Research Scientist at the University of Michigan. He has a BS in Computer Science and Computer Engineering with a Minor in Mathematics from the University of Kansas and a PhD in Computer Science with a Minor in Logic from Indiana University. His research focuses on systems, programming languages, software security and program analysis. He has taught at the University of Michigan and Indiana University; he received the Associate Instructor of the Year Award at Indiana. He has published in leading computer science journals and conference proceedings. In addition, he has a prolific record in developing software systems that are widely used in the open-source community and commercial companies. He will be able to contribute to Quantitative Reasoning in the Common Curriculum as well as courses in the Mathematical, Computational and Statistical Sciences major at Yale-NUS.
