Query: mathematician computer scientist MIT's six inaugural MacVicar Faculty Fellows

Relevant passages:
Alan Edelman <=SEP=> Alan Stuart Edelman (born June 1963, Brooklyn, New York) is an American mathematician and computer scientist. He is a Professor of Applied Mathematics at the Massachusetts Institute of Technology and a Principal Investigator at the MIT Computer Science and AI Laboratory (CSAIL) where he leads a group in Applied Computing. In 2004 Professor Edelman founded Interactive Supercomputing, recently acquired by Microsoft.

Avrim Blum <=SEP=> Avrim Blum (born 27 May 1966) is a prominent computer scientist.  In 2007, he was made a Fellow of the Association for Computing Machinery "for contributions to learning theory and algorithms." Blum attended MIT, where he received his Ph.D. in 1991 under professor Ron Rivest.

Barry Vercoe <=SEP=> Barry Vercoe is a New Zealand-born computer scientist and composer. He completed his undergraduate degree in New Zealand in Music and Mathematics and went on to complete a Ph.D. at the University of Michigan, USA, in Music Composition.  In 1968, Vercoe's research in Digital Audio Processing paved the way for the subsequent evolution of digital musical composition. In 1971, he joined the faculty at MIT and established the Experimental Music facility in 1973.

Bonnie Berger <=SEP=> Bonnie Anne Berger is an American mathematician and computer scientist, who works as a professor of applied mathematics and computer science at the Massachusetts Institute of Technology. Her early research was in algorithms, and more recently she has done research in computational molecular biology.

Boris Katz <=SEP=> Boris Katz, born in Kishinev, Moldavian SSR, Soviet Union (now Chișinău, Moldova) is a Principal Research Scientist (computer scientist) at the MIT Computer Science and Artificial Intelligence Laboratory and head of the Laboratory's InfoLab Group.  His research interests include natural language processing and understanding, machine learning and intelligent information access.  His brother Victor Kac is a mathematician at MIT.He was able to get out of the USSR with the help of U.S.

Bruce Donald <=SEP=> Bruce Randall Donald (born 1958) is an American computer scientist and computational biologist. He is the James B. Duke Professor of Computer Science and Biochemistry at Duke University.

Carla Savage <=SEP=> Carla Diane Savage is an American computer scientist and mathematician, a professor of computer science at North Carolina State University and the secretary of the American Mathematical Society.

Charles E. Leiserson <=SEP=> Charles Eric Leiserson is a computer scientist, specializing in the theory of parallel computing and distributed computing, and particularly practical applications thereof; as part of this effort, he developed the Cilk multithreaded language.  He invented the fat-tree interconnection network, a hardware-universal interconnection network used in many supercomputers, including the Connection Machine CM5, for which he was network architect.

Charlotte Froese Fischer <=SEP=> Charlotte Froese Fischer (born 1929) is a Canadian-American applied mathematician and computer scientist who gained world recognition for the development and implementation of the Multi-Configurational Hartree–Fock (MCHF) approach to atomic-structure calculations and for her theoretical prediction concerning the existence of the negative calcium ion. For this last accomplishment, she was elected to grade of Fellow of the American Physical Society.

Claude Shannon <=SEP=> Claude Elwood Shannon (April 30, 1916 – February 24, 2001) was an American mathematician, electronic engineer, and cryptographer known as "the father of information theory".Shannon is famous for having founded information theory with a landmark paper that he published in 1948.

Computer scientist <=SEP=> A computer scientist is a scientist who has acquired knowledge of computer science, the study of the theoretical foundations of information and computation and their application.Computer scientists typically work on the theoretical side of computer systems, as opposed to the hardware side that computer engineers mainly focus on (although there is overlap).

Dana Scott <=SEP=> Dana Stewart Scott (born October 11, 1932) is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California. His research career involved computer science, mathematics, and philosophy.

Danny Hillis <=SEP=> William Daniel "Danny" Hillis (born September 25, 1956) is an American inventor, engineer, mathematician, entrepreneur, and author. He co-founded Thinking Machines Corporation, a company that developed the Connection Machine, a parallel supercomputer designed by Hillis at MIT. He is also co-founder of the Long Now Foundation, Applied Minds, Metaweb Technologies, Applied Proteomics, and author of The Pattern on the Stone: The Simple Ideas That Make Computers Work.

David Culler <=SEP=> David Ethan Culler (born 1959) is a computer scientist and Chair of the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He is a Principal Investigator in the Software Defined Buildings (SDB) project at the EECS Department at Berkeley and the Faculty Director of the i4Energy Center.

David Jerison <=SEP=> David Saul Jerison is an American mathematician, a professor of mathematics and a MacVicar Faculty Fellow at the Massachusetts Institute of Technology, and an expert in partial differential equations and Fourier analysis.

David S. Johnson <=SEP=> David Stifler Johnson (born December 9, 1945, Washington, D.C.) is an American computer scientist specializing in algorithms and optimization.  He was  the head of the Algorithms and Optimization Department of AT&T Labs Research from 1988 to 2013, and is a visiting professor at Columbia University. He was awarded the 2010 Knuth Prize.Johnson graduated summa cum laude from Amherst College in 1967, then earned his S.M. from MIT in 1968 and his Ph.D. from MIT in 1973.

Diane Souvaine <=SEP=> Diane L. Souvaine is a professor of computer science and mathematics at Tufts University, chair of the computer science department, and was newly appointed as the university's vice provost of research. In 2008 she was nominated for a six-year term to the National Science Board, a 24-member body that governs the National Science Foundation and advises the United States government about science policy.

Dimitri Bertsekas <=SEP=> Dimitri Panteli Bertsekas (Greek: Δημήτρης Παντελής Μπερτσεκάς) is an applied mathematician and computer scientist, and a professor at the department of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology (MIT), Cambridge, Massachusetts.

Dina Katabi <=SEP=> Dina Katabi (born 1971) is the Andrew and Erna Viterbi Professor of Electrical Engineering and Computer Science at MIT and the director of the MIT Wireless Center.

Donald Knuth <=SEP=> Donald Ervin Knuth (/kəˈnuːθ/ kə-NOOTH; born January 10, 1938) is an American computer scientist, mathematician, and professor emeritus at Stanford University.He is the author of the multi-volume work The Art of Computer Programming. Knuth has been called the "father of the analysis of algorithms". He contributed to the development of the rigorous analysis of the computational complexity of algorithms and systematized formal mathematical techniques for it.

Erik Demaine <=SEP=> Erik D. Demaine (born February 28, 1981) is a professor of Computer Science at the Massachusetts Institute of Technology and a former child prodigy.

Eugene M. Luks <=SEP=> Eugene Michael Luks (born circa 1940) is an American mathematician and computer scientist, a professor emeritus of computer and information science at the University of Oregon. He is known for his research on the graph isomorphism problem and on algorithms for computational group theory.

F. Thomson Leighton <=SEP=> Frank Thomson "Tom" Leighton is a professor of Applied Mathematics at the Massachusetts Institute of Technology and the CEO of Akamai Technologies.  He has served as the head of the Algorithms group at MIT's Computer Science and Artificial Intelligence Laboratory since 1996, and co-founded Akamai with student Daniel Lewin in 1998. He served on the Presidential Informational Technology Advisory Committee (PITAC), during which time he served as the chair of subcommittee on cybersecurity.

Gerald Jay Sussman <=SEP=> Gerald Jay Sussman (February 8, 1947) is the Panasonic Professor of Electrical Engineering at the Massachusetts Institute of Technology (MIT). He received his S.B.  and Ph.D. degrees in mathematics from MIT in 1968 and 1973 respectively. He has been involved in artificial intelligence research at MIT since 1964.

Hal Abelson <=SEP=> Harold "Hal" Abelson (born April 26, 1947) is a Professor of Electrical Engineering and Computer Science at MIT, a fellow of the IEEE, and a founding director of both Creative Commons and the Free Software Foundation.

Hartley Rogers, Jr. <=SEP=> Hartley Rogers, Jr. was a mathematician who worked in recursion theory, and was a professor in the Mathematics Department of the Massachusetts Institute of Technology.  The Rogers equivalence theorem is named after him.Born in 1926 in Buffalo, New York, he studied under Alonzo Church at Princeton, and received his Ph.D. there in 1952.

Haynes Miller <=SEP=> Haynes Robert Miller (born 1948 in Princeton, New Jersey) is an American mathematician specializing in algebraic topology.Miller completed his undergraduate study at Harvard University and earned his PhD under the supervision of John Coleman Moore at Princeton University with thesis Some Algebraic Aspects of the Adams–Novikov Spectral Sequence.

Herman Goldstine <=SEP=> Herman Heine Goldstine (September 13, 1913 – June 16, 2004) was a mathematician and computer scientist, who was one of the original developers of ENIAC, the first of the modern electronic digital computers.

Ileana Streinu <=SEP=> Ileana Streinu is a Romanian-American computer scientist and mathematician, the Charles N. Clark Professor of Computer Science and Mathematics at Smith College in Massachusetts. She is known for her research in computational geometry, and in particular for her work on kinematics and structural rigidity.

Ivan Stojmenović <=SEP=> Ivan Stojmenović (1957 – 3 November 2014) was a Serbian-Canadian mathematician and computer scientist well known for his contributions to communications networks and algorithms.  He has published over 300 articles in his field and edited four handbooks in the area of wireless sensor networks.

James B. Orlin <=SEP=> James Berger Orlin (born April 19, 1953) is an American operations researcher, the Edward Pennell Brooks Professor in Management and Professor of Operations Research at the MIT Sloan School of Management.

James Demmel <=SEP=> James Weldon Demmel is an American mathematician and computer scientist, the Dr. Richard Carl Dehmel Distinguished Professor of Mathematics and Computer Science at the University of California, Berkeley.Demmel did his undergraduate studies at the California Institute of Technology, graduating in 1975 with a B.S. in mathematics. He earned his Ph.D.

Jeanne Ferrante <=SEP=> Jeanne Ferrante is a computer scientist active in the field of compiler technology, where she has made important contributions regarding optimization and parallelization. Jeanne Ferrante is  Professor of Computer Science and Engineering at UC San Diego. She received her B.A. from New College at Hofstra University in 1969, and her Ph.D. from MIT in 1974.

Jeffrey Lagarias <=SEP=> Jeffrey Clark Lagarias (born November, 1949 in Pittsburgh, Pennsylvania, USA) is a mathematician and professor at the University of Michigan.

Jill P. Mesirov <=SEP=> Jill P. Mesirov is an American mathematician, computer scientist, and computational biologist who works as the associate director and chief informatics officer at the Eli and Edythe L. Broad Institute of MIT and Harvard. She also holds an adjunct faculty position at Boston University. Her research concerns high-performance computing.

Joan Feigenbaum <=SEP=> Joan Feigenbaum (born 1958 in New York) is a theoretical computer scientist with a background in mathematics. She is the Grace Murray Hopper Professor of Computer Science at Yale University. She is considered a pioneer in computer science, having co-invented the security-research area of trust management.

Joe Stoy <=SEP=> Joseph E. "Joe" Stoy is a British computer scientist. He originally studied physics at Oxford University. Early in his career, in the 1970s, he worked on denotational semantics with Christopher Strachey in the Programming Research Group at the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science). He was a Fellow of Balliol College, Oxford. He has also spent time at MIT in the United States.

John Alan Robinson <=SEP=> John Alan Robinson (born 1928) is a philosopher (by training), mathematician and computer scientist. He is University Professor Emeritus at Syracuse University, United States.Alan Robinson's major contribution is to the foundations of automated theorem proving. His unification algorithm eliminated one source of combinatorial explosion in resolution provers; it also prepared the ground for the logic programming paradigm, in particular for the Prolog language.

John E. Savage <=SEP=> John Edmund Savage is an American computer scientist and An Wang Professor of Computer Science at Brown University.Savage earned his Ph.D. in electrical engineering from the Massachusetts Institute of Technology in 1965, under the supervision of Irwin M. Jacobs. After leaving MIT, he worked briefly for Bell Laboratories before joining the Brown faculty in 1967.

John Guttag <=SEP=> John Vogel Guttag (born 1949) is an American computer scientist, professor, and former Head of the Department of Electrical Engineering and Computer Science at MIT.

John McCarthy (computer scientist) <=SEP=> John McCarthy (September 4, 1927 – October 24, 2011) was an American computer scientist and cognitive scientist. McCarthy was one of the founders of the discipline of artificial intelligence.

John R. Rice (computer scientist) <=SEP=> John Rischard Rice (born 1934) is an American mathematician and computer scientist, the W. Brooks Fortune Distinguished Professor Emeritus of Computer Science and a professor of mathematics (by courtesy) at Purdue University. He specializes in numerical computing, founded the ACM Transactions on Mathematical Software and is the author of more than 20 books and approximately 300 research articles.

Jonathan Grudin <=SEP=> Jonathan Grudin is a Principal Researcher at Microsoft Research in the fields of human-computer interaction (HCI) and computer-supported cooperative work (CSCW). Grudin is a pioneer of the field of CSCW and one of its most prolific contributors. His collaboration distance to other HCI researchers has been described by the Grudin number, similar to the Erdős number in mathematics.

Joseph M. Hellerstein <=SEP=> Joseph M. Hellerstein (born (1968-06-07)7 June 1968) is professor of Computer Science at the University of California, Berkeley, where he works on database systems and computer networks. After receiving a bachelor's degree from Harvard University and a master's degree from UC Berkeley, he received his PhD from the University of Wisconsin, Madison in 1995, for a thesis on query optimization supervised by Jeffrey Naughton and Michael Stonebraker.

János Pach <=SEP=> János Pach (born May 3, 1954) is a mathematician and computer scientist working in the fields of combinatorics and discrete and computational geometry.

Kevin McCurley (cryptographer) <=SEP=> Kevin Snow McCurley is a mathematician, computer scientist, and cryptographer, currently a research scientist at Google.He received his Ph.D. in mathematics in 1981 from the University of Illinois at Urbana-Champaign. His early research was in number theory, investigating such topics as primes in arithmetic progression and polynomials with many initial composite values.

Leonid Levin <=SEP=> Leonid Anatolievich Levin (le-oh-NEED LE-vin; Russian: Леони́д Анато́льевич Ле́вин; Ukrainian: Леоні́д Анато́лійович Ле́він; born November 2, 1948) is a Soviet-American computer scientist.

Linda Petzold <=SEP=> Linda Ruth Petzold (born 1954) is a professor of computer science and mechanical engineering at the University of California, Santa Barbara, where she is also listed as affiliated faculty in the department of mathematics.

Madhu Sudan <=SEP=> Madhu Sudan (born September 12, 1966) is an Indian-American computer scientist. He was professor of computer science at the Massachusetts Institute of Technology (MIT) and a member of MIT Computer Science and Artificial Intelligence Laboratory until 2009.

Marek Karpinski <=SEP=> Marek Karpinski is a computer scientist and mathematician known for his research in the theory of algorithms and their applications, combinatorial optimization, computational complexity, and mathematical foundations. He is a recipient of several research prizes in the above areas.He is currently a Professor of Computer Science, and the Head of the Algorithms Group at the University of Bonn.

Margaret MacVicar <=SEP=> Margaret L.A. (Scotty) MacVicar (1943–1991) was an American physicist and educator. In addition to serving as MIT's Dean of Undergraduate Education (1985–1990), MacVicar is credited with founding the now widely emulated Undergraduate Research Opportunities Program (UROP) in 1969. MacVicar received her undergraduate and graduate degrees at MIT and joined the faculty, giving her the rare distinction of being a "MIT lifer."

Michael Fourman <=SEP=> Michael Paul Fourman FBCS (born 12 September 1950) is Professor of Computer Systems at the University of Edinburgh in Scotland, UK, and was Head of the School of Informatics from 2001–2009.Fourman is interested in applications of logic in computer science, artificial intelligence, and cognitive science – more specifically, formal models of digital systems, system design tools, proof assistants, categorical semantics and propositional planning.

Michael T. Goodrich <=SEP=> Michael T. Goodrich is a mathematician and computer scientist. He is a Chancellor's Professor and the chair of Department of Computer Science, of Donald Bren School of Information and Computer Sciences, a school of University of California, Irvine.

Mike Paterson <=SEP=> Michael Stewart "Mike" Paterson, is a British Computer Scientist, who was the director of the Centre for Discrete Mathematics and its Applications at the University of Warwick until 2007, and chair of the Department of Computer Science in 2005.He received his doctorate from Cambridge University in 1967, under the supervision of David Park.

Nati Linial <=SEP=> Nathan (Nati) Linial (born 1953 in Haifa, Israel) is an Israeli mathematician and computer scientist, a professor in the Rachel and Selim Benin School of Computer Science and Engineering at the Hebrew University of Jerusalem, and an ISI highly cited researcher.Linial did his undergraduate studies at the Technion, and received his PhD in 1978 from the Hebrew University under the supervision of Micha Perles.

Nick Pippenger <=SEP=> Nicholas John Pippenger is a researcher in computer science. He has produced a number of fundamental results many of which are being widely used in the field of theoretical computer science, database processing and compiler optimization. He has also achieved the rank of IBM Fellow at Almaden IBM Research Center in San Jose, California. He has taught at the University of British Columbia in Vancouver, Canada and at Princeton University in the US.

Nitin Saxena <=SEP=> Nitin Saxena (Hindi: नितिन सक्सेना) (born 3 May 1981) is an Indian scientist, active in the fields of mathematics and theoretical computer science. His research focuses on topics in computational complexity, especially algebraic approaches.He, along with Manindra Agrawal and Neeraj Kayal proposed the AKS Primality Test in 2002, for which the trio received the Gödel Prize in 2006.

Norbert Wiener <=SEP=> Norbert Wiener (November 26, 1894 – March 18, 1964) was an American mathematician and philosopher.

Patrick Winston <=SEP=> Patrick Henry Winston is an American computer scientist, and is a professor at the Massachusetts Institute of Technology. Winston was director of the MIT Artificial Intelligence Laboratory from 1972 to 1997, succeeding Marvin Minsky, who left to help found the MIT Media Lab and succeeded by Rodney Brooks.

Pauline van den Driessche <=SEP=> Pauline van den Driessche (born 1941) is a British and Canadian applied mathematician who is a professor emerita in the department of mathematics and statistics at the University of Victoria, where she has also held an affiliation in the department of computer science. Her research interests include mathematical biology, matrix analysis, and stability theory.

Peter Shor <=SEP=> Peter Williston Shor (born August 14, 1959) is an American professor of applied mathematics at MIT, most famous for his work on quantum computation, in particular for devising Shor's algorithm, a quantum algorithm for factoring exponentially faster than the best currently-known algorithm running on a classical computer.

Phyllis Fox <=SEP=> Phyllis Ann Fox (born 1923) is an American mathematician and computer scientist.Fox was raised in Colorado. She did her undergraduate studies at Wellesley College, earning a B.A. in mathematics in 1944. From 1944 until 1966 she worked for General Electric as an operator for their differential analyser project. She earned a second baccalaureate, a B.S. in electrical engineering, from the University of Colorado in 1948.

Prasad V. Tetali <=SEP=> Prasad V. Tetali is an Indian-American mathematician and computer scientist who works as a professor at the Georgia Institute of Technology, with a joint appointment in mathematics and the College of Computing. His research concerns probability theory, discrete mathematics, and approximation algorithms.Tetali was born in Visakhapatnam, India but is now a United States citizen.

R. Duncan Luce <=SEP=> Robert Duncan Luce (May 16, 1925 – August 11, 2012) was a renowned mathematician and social scientist, and one of the most preeminent figures in the field of mathematical psychology.

Richard J. Lipton <=SEP=> Richard Jay "Dick" Lipton (born September 6, 1946) is an American computer scientist who has worked in computer science theory, cryptography, and DNA computing. Lipton is Associate Dean of Research, Professor, and the Frederick G. Storey Chair in Computing in the College of Computing at the Georgia Institute of Technology.

Richard M. Karp <=SEP=> Not to be confused with Richard A. Karp, one of the developers of TCP.Richard Manning Karp (born January 3, 1935) is an American computer scientist and computational theorist at the University of California, Berkeley. He is most notable for his research in the theory of algorithms, for which he received a Turing Award in 1985, The Benjamin Franklin Medal in Computer and Cognitive Science in 2004, and the Kyoto Prize in 2008.

Robert Fano <=SEP=> Robert Mario Fano (born 11 November 1917 in Turin, Italy, as Roberto Mario Fano) is an  Italian-American computer scientist, currently professor emeritus of Electrical Engineering and Computer Science at Massachusetts Institute of Technology.  Fano is known principally for his work on information theory, inventing (with Claude Shannon) Shannon-Fano coding and deriving the Fano inequality.

Rod Downey <=SEP=> Rodney Graham Downey (born 20 September 1957) is an Australian and New Zealand mathematician and computer scientist, a professor in the School of Mathematics, Statistics and Operations Research at Victoria University of Wellington in New Zealand. He is known for his work in mathematical logic and computational complexity theory, and in particular for founding the field of parameterised complexity together with Michael Fellows.

Rohan Abeyaratne <=SEP=> Rohan Abeyaratne (Sinhalese: රොහාන් අබේරත්න) is a Sri Lankan born American academic and engineer and the Quentin Berg Professor of Mechanics at the Massachusetts Institute of Technology (MIT). He was the CEO & Director of the Singapore–MIT Alliance for Research and Technology (the "SMART" Centre), and prior to that the Head of the Department of Mechanical Engineering at MIT.Born to L.B.

Ronitt Rubinfeld <=SEP=> Ronitt Rubinfeld is a professor of electrical engineering and computer science at MIT and a professor of computer sciences at Tel-Aviv University, Israel.

Seymour Papert <=SEP=> Seymour Aubrey Papert (born February 29, 1928) is an MIT mathematician, computer scientist, and educator. He is one of the pioneers of artificial intelligence, and co-inventor, with Wally Feurzeig, of the Logo programming language.

Shafi Goldwasser <=SEP=> Shafrira Goldwasser (Hebrew: שפרירה גולדווסר‎; born 1958) is an American-born Israeli computer scientist. She is a professor of electrical engineering and computer science at MIT, and a professor of mathematical sciences at the Weizmann Institute of Science, Israel.

Subhash Suri <=SEP=> Subhash Suri (born July 7, 1960) is an Indian-American computer scientist, a professor at the University of California, Santa Barbara. He is known for his research in computational geometry, computer networks, and algorithmic game theory.

Takao Nishizeki <=SEP=> Takao Nishizeki (西関 隆夫, Nishizeki Takao, born 1947) is a Japanese mathematician and computer scientist who specializes in graph algorithms and graph drawing.

Victor Pan <=SEP=> Victor Yakovlevich Pan (Russian: Пан Виктор Яковлевич) is a Soviet and American mathematician and computer scientist. He earned his Ph.D. at Moscow University  then continued at the Soviet Academy of Sciences. During that time, he published a number of significant papers and became known informally as "polynomial Pan" for his pioneering work in the area of polynomial computations.

Vijay Vazirani <=SEP=> Vijay Virkumar Vazirani (Hindi: विजय वीरकुमार वज़ीरानी; b. 1957) is an Indian American Professor of Computer Science at Georgia Tech.He received his Bachelor's degree from MIT in 1979 and his Ph.D. from the University of California, Berkeley in 1983. During the early to mid nineties, he was a Professor of Computer Science at the Indian Institute of Technology, Delhi.

William Kahan <=SEP=> William Morton Kahan (born June 5, 1933) is a mathematician and computer scientist who received the Turing Award in 1989 for "his fundamental contributions to numerical analysis", was named an ACM Fellow in 1994, and inducted into the National Academy of Engineering in 2005.He attended the University of Toronto, where he received his Bachelor's degree in 1954, his Master's degree in 1956, and his Ph.D. in 1958, all in the field of mathematics.

Wit Busza <=SEP=> Wit Busza is a professor in physics at the Massachusetts Institute of Technology (MIT). He obtained a B.Sc. (1960) and Ph.D. (1964) from University College London and joined MIT in 1969, becoming a full professor in 1979. In 1990, he was awarded the Buechner Prize for Outstanding Contributions to the Education Program in the Department of Physics, and in 1993 he was awarded the School of Science Prize for Excellence in Undergraduate Teaching at MIT.

Yuri Gurevich <=SEP=> Yuri Gurevich is an American computer scientist and mathematician and the inventor of abstract state machines. He is Principal Researcher at Microsoft Research, where he founded the Foundations of Software Engineering group,and he is professor emeritus at the University of Michigan.Gurevich was educated in the Soviet Union, and taught in Israel before coming to the United States. The best known work of his Soviet period is on the classical decision problem.

Zvi Galil <=SEP=> Zvi Galil (Hebrew: צבי גליל‎; born 1947) is an Israeli computer scientist and mathematician. He is the dean of the Georgia Institute of Technology College of Computing. His research interests include the design and analysis of algorithms, computational complexity and cryptography. He has been credited with coining the terms stringology and sparsification.  He has published over 150 scientific papers and is listed as an ISI highly cited researcher.

Éva Tardos <=SEP=> Éva Tardos (born 1957) is a Hungarian mathematician and the Jacob Gould Schurman Professor of Computer Science at Cornell University. Tardos received her Dipl.Math in 1981 and her Ph.D. 1984 from Eötvös Loránd University under her advisor András Frank. Gábor Tardos is her younger brother.   She was (2006-2010) Chair of the Department of Computer Science at Cornell and she is currently serving as the Associate Dean of the College of Computing and Information Science.