Alonzo Church was an American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, Church–Turing thesis, proving the unsolvability of the Entscheidungsproblem, Frege–Church ontology, and the Church–Rosser theorem. He also worked on philosophy of language. Alongside Alan Turing, Church has been considered one of the founders of computer science.
Markus Hendrik Overmars is a Dutch computer scientist and teacher of game programming known for his game development application Game Maker. Game Maker lets people create computer games using a drag-and-drop interface. He is the former head of the Center for Geometry, Imaging, and Virtual Environments at Utrecht University, in the Netherlands. This research center concentrates on computational geometry and its application in areas like computer graphics, robotics, geographic information systems, imaging, multimedia, virtual environments, and games.
Troy Van Leeuwen is an American musician and record producer. He is best known as a guitarist and multi-instrumentalist in the rock band Queens of the Stone Age, with whom he has recorded four studio albums. Joining the band in 2002, he is the second longest serving member of the band, after founding member Josh Homme. Leeuwen is also a member of the supergroup Gone Is Gone and has fronted his own projects, Enemy and Sweethead.
Theodoor Jacob "Theo" van Leeuwen is a Dutch linguist and one of the main developers of the sub-field of social semiotics. He is also known for his contributions to the study of Multimodality; he wrote with Gunther Kress Reading Images: The Grammar of Visual Design, one of the most influential books on the topic.
S. Barry Cooper was an English mathematician and computability theorist. He was a professor of Pure Mathematics at the University of Leeds.
Hendrik Willem Lenstra Jr. is a Dutch mathematician.
Balthasar van der Pol was a Dutch physicist.
Dov Tamari, born Bernhard Teitler, was a mathematician. Born in Fulda, Germany, he left for the British Mandate for Palestine in 1933. He was known for his work in logic and combinatorics, and the Tamari lattice is named after him.
The Atlas of Lie Groups and Representations is a mathematical project to solve the problem of the unitary dual for real reductive Lie groups.
Arto K. Salomaa is a Finnish mathematician and computer scientist. His research career, which spans over forty years, is focused on formal languages and automata theory.
Jan van Leeuwen is a Dutch computer scientist and Emeritus professor of computer science at the Department of Information and Computing Sciences at Utrecht University.
Hans Leo Bodlaender is a Dutch computer scientist, a professor of computer science at Utrecht University. Bodlaender is known for his work on graph algorithms and parameterized complexity and in particular for algorithms relating to tree decomposition of graphs.
Johannes "Hans" van Leeuwen is educator, engineer, inventor, researcher, and entrepreneur. He is an emeritus professor of Civil, Construction and Environmental Engineering at Iowa State University and an entrepreneur in ethanol co-product development. His research and innovations have worked to solve various problems including, new water purification methods, a way of creating food and animal feed from waste, and a process in making the purest alcohol ever made.
Marc Voorhoeve was a Dutch mathematician who introduced the Voorhoeve index of a complex function in 1976.
Marc Martijn Lankhorst is a Dutch computer scientist, researcher and consultant, known for his publications on enterprise architecture, and as key developer of ArchiMate, a modelling language for enterprise architecture.
Marie-Louise Dubreil-Jacotin was a French mathematician, the second woman to obtain a doctorate in pure mathematics in France, the first woman to become a full professor of mathematics in France, the president of the French Mathematical Society, and an expert on fluid mechanics and abstract algebra.
Otfried Cheong is a German computational geometer working in South Korea at KAIST. He is known as one of the authors of the widely used computational geometry textbook Computational Geometry: Algorithms and Applications and as the developer of Ipe, a vector graphics editor.
Dirk Willem van Leeuwen is an Anglican clergyman. He was Archdeacon of North West Europe from 2005 to 2007.
Marc Johan van Kreveld is a Dutch computational geometer, known as one of the authors of the textbook Computational Geometry: Algorithms and Applications.
Johannes Maria Jozef"Hans"van Leeuwen is a Dutch physicist.
