Donald Bruce Gillies was a Canadian computer scientist and mathematician who worked in the fields of computer design, game theory, and minicomputer programming environments.
Per Erik Rutger Martin-Löf is a Swedish logician, philosopher, and mathematical statistician. He is internationally renowned for his work on the foundations of probability, statistics, mathematical logic, and computer science. Since the late 1970s, Martin-Löf's publications have been mainly in logic. In philosophical logic, Martin-Löf has wrestled with the philosophy of logical consequence and judgment, partly inspired by the work of Brentano, Frege, and Husserl. In mathematical logic, Martin-Löf has been active in developing intuitionistic type theory as a constructive foundation of mathematics; Martin-Löf's work on type theory has influenced computer science.
Jacob Theodore "Jack" Schwartz was an American mathematician, computer scientist, and professor of computer science at the New York University Courant Institute of Mathematical Sciences. He was the designer of the SETL programming language and started the NYU Ultracomputer project. He founded the New York University Department of Computer Science, chairing it from 1964 to 1980.
Allan Bertram Borodin is a Canadian-American computer scientist who is a professor at the University of Toronto.
Brian Cantwell Smith is a philosopher and cognitive scientist working in the fields of cognitive science, computer science, information studies, and philosophy, especially ontology.
Krassimir Todorov Atanassov is a Bulgarian mathematician, Corresponding member of the Bulgarian Academy of Sciences (2012). He is best known for introducing the concepts of Generalized nets and Intuitionistic fuzzy sets, which are extensions of the concepts of Petri nets and Fuzzy sets, respectively.
Alan Mackworth is a professor of computer science and Canada Research Chair in Artificial Intelligence 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).
Zenon Walter Pylyshyn is a Canadian retired cognitive scientist and philosopher.
Václav (Vašek) Chvátal is a Professor Emeritus in the Department of Computer Science and Software Engineering at Concordia University in Montreal, Quebec, Canada and a Visiting Professor at Charles University in Prague. He has published extensively on topics in graph theory, combinatorics, and combinatorial optimization.
Michael Louis Friendly is an American-Canadian psychologist, Professor of Psychology at York University in Ontario, Canada, and director of its Statistical Consulting Service, especially known for his contributions to graphical methods for categorical and multivariate data, and on the history of data and information visualisation.
Michael Ezra Saks is an American mathematician. He is currently the Department Chair of the Mathematics Department at Rutgers University (2017–) and from 2006 until 2010 was director of the Mathematics Graduate Program at Rutgers University. Saks received his Ph.D. from the Massachusetts Institute of Technology in 1980 after completing his dissertation entitled Duality Properties of Finite Set Systems under his advisor Daniel J. Kleitman.
Lila Kari is a Romanian and Canadian computer scientist, professor in the David R. Cheriton School of Computer Science at the University of Waterloo, Canada.
Vijaya Kumar Murty is an Indo-Canadian mathematician working primarily in number theory. He is a professor at the University of Toronto and is the Director of the Fields Institute.
Stevo Todorčević, is a Yugoslavian mathematician specializing in mathematical logic and set theory. He holds a Canada Research Chair in mathematics at the University of Toronto, and a director of research position at the Centre national de la recherche scientifique in Paris.
Michael Ira Shub is an American mathematician who has done research into dynamical systems and the complexity of real number algorithms.
Harald G. Niederreiter is an Austrian mathematician known for his work in discrepancy theory, algebraic geometry, quasi-Monte Carlo methods, and cryptography.
Ilijas Farah is a Canadian-Serbian mathematician and a professor of mathematics at York University in Toronto and at the Mathematical Institute of Serbian Academy of Sciences and Arts, Belgrade, Serbia. His research focuses on applications of logic to operator algebras.
Yael Tauman Kalai is a cryptographer and theoretical computer scientist who works as a Senior Principal Researcher at Microsoft Research New England and as an adjunct professor at MIT in the Computer Science and Artificial Intelligence Lab.
Anna Goldenberg is a Russian-born computer scientist and an associate professor at University of Toronto's Department of Computer Science and the Department of Statistics, a senior scientist at the Hospital for Sick Children's Research Institute and the Associate Research Director for health at the Vector Institute for Artificial Intelligence. She is the first chair in biomedical informatics and artificial intelligence at the Hospital for Sick Children.
