Mathematics for Future Computing and Communications

For 80 years, mathematics has driven fundamental innovation in computing and communications. This timely book provides a panorama of some recent ideas in mathematics and how they will drive continued innovation in computing, communications and AI in the coming years. It provides a unique insight into how the new techniques that are being developed can be used to provide theoretical foundations for technological progress, just as mathematics was used in earlier times by Turing, von Neumann, Shannon and others. Edited by leading researchers in the field, chapters cover the application of new mathematics in computer architecture, software verification, quantum computing, compressed sensing, networking, Bayesian inference, machine learning, reinforcement learning and many other areas.

Liao Heng is Fellow of Huawei and Chief Scientist of Huawei's 2012 Laboratories and HiSilicon. He leads research and development teams working on computer architecture, processors and software platforms and he also leads the Huawei CSTT committee which is focused on fundamental theory exploration. He has more than 20 years of experience in semiconductor industry. His recent work includes storage controller architectures, SSD controllers, high performance server class CPUs, AI processors and computing theory research. Prior to joining Huawei, he was a Fellow at PMC-Sierra, Inc. He has authored over 30 patents.

Bill McColl is the Director of the Future Computing Lab at Huawei's Zurich Research Center, where he leads research on architecture, software and algorithms. He is also a Fellow of Wadham College, Oxford University. Previously he was Professor of Computer Science, Head of Research in Parallel Computing and Chairman of the Faculty of Computer Science at Oxford. He established and led Oxford Parallel, a major center for research on industrial and business applications of HPC at the university. Much of his research has focused on the Bulk Synchronous Parallel (BSP) approach to parallel architecture, software and algorithms. BSP is now used throughout industry for massively parallel graph databases, graph analytics, machine learning and other areas of AI.