Computer science is the study of computation, information, and automation. Computer science spans theoretical disciplines to applied disciplines.
The School of Computer Science (SCS) at Carnegie Mellon University in Pittsburgh, Pennsylvania, US is a school for computer science established in 1988. It has been consistently ranked among the best computer science programs over the decades. As of 2024 U.S. News & World Report ranks the graduate program as tied for No. 1 with Massachusetts Institute of Technology, Stanford University and University of California, Berkeley.
Allen Newell was an American researcher in computer science and cognitive psychology at the RAND Corporation and at Carnegie Mellon University's School of Computer Science, Tepper School of Business, and Department of Psychology. He contributed to the Information Processing Language (1956) and two of the earliest AI programs, the Logic Theorist (1956) and the General Problem Solver (1957). He was awarded the ACM's A.M. Turing Award along with Herbert A. Simon in 1975 for their contributions to artificial intelligence and the psychology of human cognition.
John McCarthy was an American computer scientist and cognitive scientist. He was one of the founders of the discipline of artificial intelligence. He co-authored the document that coined the term "artificial intelligence" (AI), developed the programming language family Lisp, significantly influenced the design of the language ALGOL, popularized time-sharing, and invented garbage collection.
The Department of Computer Science at the University of Manchester is the longest established department of Computer Science in the United Kingdom and one of the largest. It is located in the Kilburn Building on the Oxford Road and currently has over 800 students taking a wide range of undergraduate and postgraduate courses and 60 full-time academic staff.
Judea Pearl is an Israeli-American computer scientist and philosopher, best known for championing the probabilistic approach to artificial intelligence and the development of Bayesian networks. He is also credited for developing a theory of causal and counterfactual inference based on structural models. In 2011, the Association for Computing Machinery (ACM) awarded Pearl with the Turing Award, the highest distinction in computer science, "for fundamental contributions to artificial intelligence through the development of a calculus for probabilistic and causal reasoning". He is the author of several books, including the technical Causality: Models, Reasoning and Inference, and The Book of Why, a book on causality aimed at the general public.
Mohammed Ghanbari was an emeritus professor in the Department of Electronic Systems Engineering focused in the areas of Video Networking at the University of Essex.
Dimitri Panteli Bertsekas is an applied mathematician, electrical engineer, and computer scientist, a McAfee Professor at the Department of Electrical Engineering and Computer Science in School of Engineering at the Massachusetts Institute of Technology (MIT), Cambridge, Massachusetts, and also a Fulton Professor of Computational Decision Making at Arizona State University, Tempe.
Charles George Broyden was a mathematician who specialized in optimization problems and numerical linear algebra. While a physicist working at English Electric Company from 1961–1965, he adapted the Davidon–Fletcher–Powell formula to solving some nonlinear systems of equations that he was working with, leading to his widely cited 1965 paper, "A class of methods for solving nonlinear simultaneous equations". He was a lecturer at UCW Aberystwyth from 1965–1967. He later became a senior lecturer at University of Essex from 1967–1970, where he independently discovered the Broyden–Fletcher–Goldfarb–Shanno (BFGS) method. The BFGS method has then become a key technique in solving nonlinear optimization problems. Moreover, he was among those who derived the symmetric rank-one updating formula, and his name was also attributed to Broyden's methods and Broyden family of quasi-Newton methods. After leaving the University of Essex, he continued his research career in the Netherlands and Italy, being awarded the chair at University of Bologna. In later years, he began focusing on numerical linear algebra, in particular conjugate gradient methods and their taxonomy.
Julian Togelius is an associate professor at the Department of Computer Science and Engineering at the New York University Tandon School of Engineering.
Nicholas Robert Jennings is a British computer scientist who was appointed Vice-Chancellor and President of Loughborough University in 2021. He was previously the Vice-Provost for Research and Enterprise at Imperial College London, the UK's first Regius Professor of Computer Science, and the inaugural Chief Scientific Adviser to the UK Government on National Security. His research covers the areas of AI, autonomous systems, agent-based computing and cybersecurity.
Thomas G. Dietterich is emeritus professor of computer science at Oregon State University. He is one of the pioneers of the field of machine learning. He served as executive editor of Machine Learning (journal) (1992–98) and helped co-found the Journal of Machine Learning Research. In response to the media's attention on the dangers of artificial intelligence, Dietterich has been quoted for an academic perspective to a broad range of media outlets including National Public Radio, Business Insider, Microsoft Research, CNET, and The Wall Street Journal.
Carla Pedro Gomes is a Portuguese-American computer scientist and professor at Cornell University. She is the founding Director of the Institute for Computational Sustainability and is noted for her pioneering work in developing computational methods to address challenges in sustainability. She has conducted research in a variety of areas of artificial intelligence and computer science, including constraint reasoning, mathematical optimization, and randomization techniques for exact search methods, algorithm selection, multi-agent systems, and game theory. Her work in computational sustainability includes ecological conservation, rural resource mapping, and pattern recognition for material science.
Jorge Nocedal is an applied mathematician, computer scientist and the Walter P. Murphy professor at Northwestern University who in 2017 received the John Von Neumann Theory Prize. He was elected a member of the National Academy of Engineering in 2020.
Boi Volkert Faltings is a Swiss professor of artificial intelligence at École Polytechnique Fédérale de Lausanne.
Takayuki Ito is a Japanese computer scientist who specialized in the fields of artificial intelligence and multi-agent systems. He worked as assistant professor in the computer science department of Japan Advanced Institute of Science and Technology from 2001 until 2003, served as associate professor in the computer science department of Nagoya Institute of Technology (2006–2014), worked as full professor in the computer science department of Nagoya Institute of Technology (2014–2020). He also served as chair of the department (2016–2018)and also director the NITech Artificial Intelligence Research Center at Nagoya Institute of Technology.
The TUM School of Computation, Information and Technology (CIT) is a school of the Technical University of Munich, established in 2022 by the merger of three former departments. As of 2022, it is structured into the Department of Mathematics, the Department of Computer Engineering, the Department of Computer Science, and the Department of Electrical Engineering.
Sébastien Bubeck is a French-American computer scientist and mathematician. He is currently Microsoft's Vice President of Applied Research and leads the Machine Learning Foundations group at Microsoft Research Redmond. Bubeck was formerly professor at Princeton University and a researcher at the University of California, Berkeley. He is known for his contributions to online learning, optimization and more recently studying deep neural networks, and in particular transformer models.
Alessio Lomuscio is a professor of Safe Artificial Intelligence at the Department of Computing at Imperial College London. His research focuses on the verification of autonomous systems, specifically on providing formal safety guarantees for both Multi-agent systems as well as Machine Learning-enabled systems.
