Articles with DBLP identifiers

Beatrice_Worsley

Beatrice Helen Worsley (18 October 1921 – 8 May 1972) was the first female Canadian computer scientist. She received her Ph.D. degree from the University of Cambridge with Maurice Wilkes as adviser, the first Ph.D. granted in what would today be known as computer science. She wrote the first program to run on EDSAC, co-wrote the first compiler for Toronto's Ferranti Mark 1, wrote numerous papers in computer science, and taught computers and engineering at Queen's University and the University of Toronto for over 20 years before her death at the age of 50.

George_E._Collins

George E. Collins (January 10, 1928 in Stuart, Iowa – November 21, 2017 in Madison, Wisconsin) was an American mathematician and computer scientist. He is the inventor of garbage collection by reference counting[G60]
and of the method of quantifier elimination by cylindrical algebraic decomposition.[G75]He received his PhD from Cornell University in 1955. He worked at IBM, the University of Wisconsin–Madison (1966–1986) Ohio State University, RISC-Linz, Delaware University, and North Carolina State University.

Charles_Sims_(mathematician)

Charles Coffin Sims (April 14, 1937 – October 23, 2017) was an American mathematician best known for his work in group theory. Together with Donald G. Higman he discovered the Higman–Sims group, one of the sporadic groups. The permutation group software developed by Sims also led to the proof of existence of the Lyons group (also known as the Lyons–Sims group) and the O'Nan group (also known as the O'Nan–Sims group).
Sims was born and raised in Elkhart, Indiana, and received his B.S. from the University of Michigan. He did his graduate studies at Harvard University, where he was a student of John G. Thompson and received his Ph.D. degree in 1963. In his thesis, he enumerated p-groups, giving sharp asymptotic upper and lower bounds. Sims is one of the founders of computational group theory and is the eponym of the Schreier–Sims algorithm. He was a faculty member at the Department of Mathematics at Rutgers University from 1965 to 2007. During that period he served, in particular, as Department Chair (1982–84) and Associate Provost for Computer Planning (1984–87). Sims retired from Rutgers in 2007 and moved to St. Petersburg, Florida.In 2012, he became a fellow of the American Mathematical Society.

Richard_Rado

Richard Rado FRS (28 April 1906 – 23 December 1989) was a German-born British mathematician whose research concerned combinatorics and graph theory. He was Jewish and left Germany to escape Nazi persecution. He earned two PhDs: in 1933 from the University of Berlin, and in 1935 from the University of Cambridge. He was interviewed in Berlin by Lord Cherwell for a scholarship given by the chemist Sir Robert Mond which provided financial support to study at Cambridge. After he was awarded the scholarship, Rado and his wife left for the UK in 1933. He was appointed Professor of Mathematics at the University of Reading in 1954 and remained there until he retired in 1971.

Robert_Haralick

Robert M. Haralick (born 1943) is Distinguished Professor in Computer Science at Graduate Center of the City University of New York (CUNY). Haralick is one of the leading figures in computer vision, pattern recognition, and image analysis. He is a Fellow of the Institute of Electrical and Electronics Engineers (IEEE) and a Fellow and past president of the International Association for Pattern Recognition.
Professor Haralick is the King-Sun Fu Prize winner of 2016, "for contributions in image analysis, including remote sensing, texture analysis, mathematical morphology, consistent labeling, and system performance evaluation".

Stuart_Dreyfus

A native of Terre Haute, Indiana, Stuart E. Dreyfus is professor emeritus at University of California, Berkeley in the Industrial Engineering and Operations Research Department. While at the Rand Corporation he was a programmer of the JOHNNIAC computer. While at Rand he coauthored Applied Dynamic Programming with Richard Bellman. Following that work, he was encouraged to pursue a Ph.D. which he completed in applied mathematics at Harvard University in 1964, on the calculus of variations. In 1962, Dreyfus simplified the Dynamic Programming-based derivation of backpropagation (due to Henry J. Kelley and Arthur E. Bryson) using only the chain rule. He also coauthored Mind Over Machine with his brother Hubert Dreyfus in 1986.