Stephen Arthur Cook is an American-Canadian computer scientist and mathematician who has made significant contributions to the fields of complexity theory and proof complexity. He is a university professor emeritus at the University of Toronto, Department of Computer Science and Department of Mathematics.
In game theory, normal form is a description of a game. Unlike extensive form, normal-form representations are not graphical per se, but rather represent the game by way of a matrix. While this approach can be of greater use in identifying strictly dominated strategies and Nash equilibria, some information is lost as compared to extensive-form representations. The normal-form representation of a game includes all perceptible and conceivable strategies, and their corresponding payoffs, for each player.
In computer science multi-agent planning involves coordinating the resources and activities of multiple agents.
The IJCAI Award for Research Excellence is a biannual award before given at the IJCAI conference to researcher in artificial intelligence as a recognition of excellence of their career. Beginning in 2016, the conference is held annually and so is the award.
In game theory, a correlated equilibrium is a solution concept that is more general than the well known Nash equilibrium. It was first discussed by mathematician Robert Aumann in 1974. The idea is that each player chooses their action according to their private observation of the value of the same public signal. A strategy assigns an action to every possible observation a player can make. If no player would want to deviate from their strategy, the distribution from which the signals are drawn is called a correlated equilibrium.
Alan Mackworth is a professor emeritus in the Department of Computer Science at the University of British Columbia. He is known as "The Founding Father" of RoboCup. He is a former president of the Association for the Advancement of Artificial Intelligence (AAAI) and former Canada Research Chair in Artificial Intelligence from 2001–2014.
A combinatorial auction is a type of smart market in which participants can place bids on combinations of discrete heterogeneous items, or “packages”, rather than individual items or continuous quantities. These packages can be also called lots and the whole auction a multi-lot auction. Combinatorial auctions are applicable when bidders have non-additive valuations on bundles of items, that is, they value combinations of items more or less than the sum of the valuations of individual elements of the combination.
Hector Joseph Levesque is a Canadian academic and researcher in artificial intelligence. His research concerns incorporating commonsense reasoning in intelligent systems and he initiated the Winograd Schemas Challenge.
The UBC Computer Science department at the University of British Columbia was established in May 1968. UBC CS is located at the UBC Point Grey campus in Vancouver, British Columbia, Canada. As of September 2022, it has 65 faculty, 62 staff, 248 graduate students, and 2,763 undergraduates.
Eric Joel Horvitz is an American computer scientist, and Technical Fellow at Microsoft, where he serves as the company's first Chief Scientific Officer. He was previously the director of Microsoft Research Labs, including research centers in Redmond, WA, Cambridge, MA, New York, NY, Montreal, Canada, Cambridge, UK, and Bangalore, India.
Sarah Perin "Sally" Otto is a theoretical biologist, Canada Research Chair in Theoretical and Experimental Evolution, and is currently a Killam Professor at the University of British Columbia. From 2008-2016, she was the director of the Biodiversity Research Centre at the University of British Columbia. Otto was named a 2011 MacArthur Fellow. In 2015 the American Society of Naturalists gave her the Sewall Wright Award for fundamental contributions to the unification of biology. In 2021, she was awarded the Darwin–Wallace Medal for contributing major advances to the mathematical theory of evolution.
Milind Tambe is an Indian-American educator serving as a Professor of Computer Science at Harvard University. He also serves as the director of the Center for Research on Computation and Society at Harvard University and the director of "AI for Social Good" at Google Research India.
Yoav Shoham is a computer scientist and a Professor Emeritus at Stanford University. His research spans artificial intelligence, logic and game theory. He has also founded and sold several AI companies.
Sheelagh Carpendale is a Canadian artist and computer scientist working in the field of information visualization and human-computer interaction.
Barbara J. Grosz CorrFRSE is an American computer scientist and Higgins Professor of Natural Sciences at Harvard University. She has made seminal contributions to the fields of natural language processing and multi-agent systems. With Alison Simmons, she is co-founder of the Embedded EthiCS programme at Harvard, which embeds ethics lessons into computer science courses.
Demetri Terzopoulos is a Greek-Canadian-American computer scientist and entrepreneur. He is currently a Distinguished Professor and Chancellor's Professor of Computer Science in the Henry Samueli School of Engineering and Applied Science at the University of California, Los Angeles, where he directs the UCLA Computer Graphics & Vision Laboratory.
Ming Li is a Canadian computer scientist, known for his fundamental contributions to Kolmogorov complexity, bioinformatics, machine learning theory, and analysis of algorithms. Li is currently a University Professor at the David R. Cheriton School of Computer Science at the University of Waterloo. He holds a Tier I Canada Research Chair in Bioinformatics. In addition to academic achievements, his research has led to the founding of two independent companies.
Dan Roth is the Eduardo D. Glandt Distinguished Professor of Computer and Information Science at the University of Pennsylvania.
Michael John Wooldridge is a professor of computer science at the University of Oxford. His main research interests is in multi-agent systems, and in particular, in the computational theory aspects of rational action in systems composed of multiple self-interested agents. His work is characterised by the use of techniques from computational logic, game theory, and social choice theory.
Paul D. McNicholas is an Irish-Canadian statistician. He is a professor and University Scholar in the Department of Mathematics and Statistics at McMaster University. In 2015, McNicholas was awarded the Tier 1 Canada Research Chair in Computational Statistics. McNicholas uses computational statistics techniques, and mixture models in particular, to gain insight into large and complex datasets. He is editor-in-chief of the Journal of Classification.
