For his key advances in the fundamental principles of wavelets, including theory for audio, image and video processing, his entrepreneurship, and for contributing significantly to advancing the understanding of deep neural networks.

For contributions to Human-Computer Interaction and the design of human-centred technology.

For her work in computer vision and her fundamental contributions to the representation of images and videos for visual recognition.

For his development of computational techniques that have brought genome sequencing into everyday use, underpinned key biological sequencing tools, and made large scale analysis of biological images practical

In recognition of her contribution to the theoretical and practical development of stochastic and quantitative model checking

For his work on computational theory and commercial systems for geometrical images and as a pioneer in machine learning for vision.

For fundamental advances in the theory and practice of formal verification and synthesis of reactive, real-time, and hybrid computer systems.