IEEE Fellow; Fellow of Design, Automation and Test Conference Design, Automation and Test Conference (DATE); Professor and Chair of Design Automation for Embedded Systems, at University of Dortmund

ACM Fellow; Member of the IFIP Working Group 2.3 on Programming Methodology and of the IFIP Working Group 1.9/2.15 on Verified Software; Professor in the Department of Computer Science, Head of the Programming Methodology Group, Former Head of the Institute for Programming Languages and Systems, ETH Zurich, Switzerland; Member of the editorial boards for the Journal of Automated Reasoning, and ACM TOPLAS.

AAAI Fellow; ACM Fellow; Fellow of the California Academy of Science; Fellow of the American Academy of Arts and Sciences; Distinguished Education Fellow at Stanford's Human-Centered Artificial Intelligence Institute; Director of Research at Google and Former Director of Google's core search algorithms group and Google's Research group; Recipient of NASA's Exceptional Achievement Award in 2001, Distinguished Alumni Award from U.C. Berkeley in 2006, and AAAI/EAAI Outstanding Educator Award in 2016.

Member of the German National Academy of Science and Engineering (acatech); Research Fellow of University of Oxford China Center; Deputy President at Hankou University; Chief Advisor Research & Strategy of i2s Consulting; Professor of Management Studies, ad hominem appointment, World Heritage Studies, BTU Brandenburg Technical University, Germany

Member of the Royal Swedish Academy of Engineering Sciences, United States National Academy of Engineering (international member), Romanian Academy (honorary member), the European Academy of Sciences, and the Royal Society of Sciences; IEEE Life Fellow, EURASIP Fellow, IETI Fellow, Fellow of the Royal Statistical Society; Professor in signals and systems modeling with Uppsala University, Sweden.

ACM Fellow; AAAS Fellow; IEEE Fellow; AAAI Fellow; Founder and Director of the Learning Agents Research Group (LARG) within the Artificial Intelligence Laboratory in the Department of Computer Science at The University of Texas at Austin; Associate Department Chair and Director of Texas Robotics; David Bruton, Jr. Centennial Professor, University Distinguished Teaching Professor of Department of Computer Science at the University of Texas at Austin

AAAI Fellow; ACM Distinguished Scientist; Professor in the Faculty of Information Technology, Head of the Monash Optimisation research group in the Department of Data Science and Artificial Intelligence, Monash University, Australia; Adjunct Professor in the School of Computing and Information Systems at The University of Melbourne, Australia; Recipient of the 2010 Google Australia Eureka Prize and the 2010 University of Melbourne Woodward Medal.

AAAI Fellow; Fellow of the Canadian Artificial Intelligence Association (CAIAC); Founding Co-Director, Waterloo Artificial Intelligence Institute; Professor in the Cheriton School of Computer Science at the University of Waterloo

IAPR Fellow; ELLIS Fellow; ICREA Academia'2015 and '2022; Full Professor at the Department of Mathematics and Computer Science, Head of "Artificial Intelligence and Biomedical Applciations" Consolidated Research Group, University of Barcelona, Spain; Research Manager of the State Agency for Research of the Ministry of Science and Innovation, Spain.

IAPR Fellow; Professor and Director of the Institute of Computer Vision and Applied Computer Sciences IBaI; Director of the FutureLab Artificial Intelligence_IBaI_II

Member of the National Academy of Engineering and the National Academy of Inventors; Foreign Member of the Academia Europaea, honoris causa and the European Academy of Sciences; IEEE Life Fellow; IFAC Fellow; AAAS Fellow; A.V. ‘Bal’ Balakrishnan Chair Professor in the Ming Hsieh Department of Electrical and Computer Engineering, Director of the Center for Advanced Transportation Technologies, Associate Director for Research for METRANS, Director of MS Program on Financial Engineering, University of Southern California.

Fellow of the Royal Academy of Engineering; IET Fellow; CIHT Fellow; Professor of Intelligent Transport Systems, Head of the Future Mobility Group, Director of Mobility and Transport NUCoRE (Newcastle University Centre of Research Excellence), Newcastle University, UK; Chief Scientific Advisor at the UK Department for Transport (DfT) (2015 to 2021).

Fellow of the International Speech Communication Association, the IEEE and the Royal Academy of Engineering; Professor of information engineering with the Engineering Department, Head of the Machine Intelligence Laboratory, Professorial Fellow of Peterhouse, University of Cambridge, U.K.

Fellow of the Royal Society; Fellow of the Royal Academy of Engineering; IAPR Fellow; Fellow of the British Machine Vision Association; General Chair of IEEE CVPR 2019; Professor in the Department of Engineering Science at University of Oxford

IEEE Fellow; Professor in the Department of Electrical and Computer Engineering, The Ohio State University, USA; Recipient of the National Science Foundation CAREER Award in 2003, the 2016 IEEE Signal Processing Society Best Paper Award and the Qualcomm Faculty Award in 2017 and 2018.

Fellow of the Royal Society, Fellow of the Royal Society of Edinburgh, ACM Fellow; Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK; Head of the steering committee for Proceedings of the ACM, past editor-in-chief of PACMPL and JFP, past chair of ACM SIGPLAN, past holder of a Royal Society-Wolfson Research Merit Fellowship, winner of the SIGPLAN Distinguished Service Award, and winner of the POPL Most Influential Paper Award.