Read more
A panorama of new ideas in mathematics that are driving innovation in computing and communications.
List of contents
Preface Liao Heng; Part I. Computing: Introduction to Part I; 1. Mathematics, models and architectures Bill McColl; 2. Mathematics and software verification Chen Haibo and Gao Xin; 3. Mathematics for quantum computing Kong Yunchuan; 4. Mathematics for AI: categories, toposes, types Daniel Bennequin and Jean-Claude Belfiore; Part II. Communications: Introduction to Part II; 5. Mathematics and compressed sensing Zhang Rui and Long Zichao; 6. Mathematics, information theory, and statistical physics Mérouane Debbah; 7. Mathematics of data networking Li Zongpeng, Miao Lihua and Tang Siyu; 8. Mathematics and network science Sun Jie; Part III. Artificial Intelligence: Introduction to Part III; 9. Mathematics, information and learning Tong Wen and Ge Yiqun; 10. Mathematics and Bayesian inference Guo Kaiyang, Lv Wenlong and Zhang Jianfeng; 11. Mathematics, optimization and machine learning Jiu Shangling; 12. Mathematics of reinforcement learning Wu Shuang and Wang Jun; Part IV. Future: 13. Mathematics and prospects for future breakthroughs Dang Wenshuan; Editors and contributing authors.
About the author
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.
Summary
New mathematical ideas go hand-in-hand with innovation in computing, communications and AI. Such innovations are described here in a book that provides a panorama of ideas and applications in computer architecture, software verification, quantum computing, compressed sensing, Bayesian inference, machine learning, reinforcement learning and more.
