Formal methods in software engineering, emphasizing specification and analysis of concurrent software systems. Broadening participation in Computing. Professor and past Chair of Computer Science at Michigan State University (MSU). Past professor of Computer Science at the University of California, Santa Barbara. ACM Distinguished Scientist. Past Associate Editor of ACM Transactions on Software Engineering and Methodology, IEEE Transactions on Software Engineering, and Communications of the ACM. Past Vice Chair and past Secretary/Treasurer of ACM Special Interest Group in Software Engineering. Past Co-Chair of Anita Borg Institute Advisory Board. Past member Executive Committee of NCWIT Academic Alliance. General chair, ISSTA'96. Program co-chair ICSE'03. Program chair, ISSTA'09. Program Co-chair, GHC'11. Co-chair, GHC'12. General chair, ICSE'16. 2015 MSU Excellence in Diversity Individual Award. 2014 MSU Service-Learning & Civic Engagement Award. 2013 University of Massachusetts Amherst Computer Science Department Outstanding Achievement and Advocacy Award for Outstanding Achievement in Education.