Blog page 237




                                               

Niklaus Wirth

Niklaus Emil Wirth is a Swiss computer scientist. He has designed several programming languages, including Pascal, and pioneered several classic topics in software engineering. In 1984 he won the Turing Award, generally recognized as the highest ...

                                               

Shafi Goldwasser

Shafrira "Shafi" Goldwasser is an American-Israeli computer scientist and winner of the Turing Award in 2012. She is the RSA Professor of Electrical Engineering and Computer Science at MIT, a professor of mathematical sciences at the Weizmann Ins ...

                                               

Edsger W. Dijkstra

Edsger Wybe Dijkstra ; 11 May 1930 – 6 August 2002) was a Dutch systems scientist, programmer, software engineer, science essayist, and pioneer in computing science. A theoretical physicist by training, he worked as a programmer at the Mathematis ...

                                               

Heraklion

Heraklion or Iraklion is the largest city and the administrative capital of the island of Crete and capital of Heraklion regional unit. It is the fourth largest city in Greece with a population of 140.730 according to the 2011 census. The populat ...

                                               

Bob Kahn

Robert Elliot Kahn is an American electrical engineer, who, along with Vint Cerf, first proposed the Transmission Control Protocol and the Internet Protocol, the fundamental communication protocols at the heart of the Internet. In 2004, Kahn won ...

                                               

Richard M. Karp

Richard Manning Karp 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 Benjam ...

                                               

Edmund M. Clarke

Edmund Melson Clarke, Jr. is an American retired computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs. He is the FORE Systems Professor of Computer Science Emeritus at ...

                                               

John Cocke

John Cocke was an American computer scientist recognized for his large contribution to computer architecture and optimizing compiler design. He is considered by many to be "the father of RISC architecture." He attended Duke University, where he r ...

                                               

Stephen Cook

Stephen Arthur Cook, is an American-Canadian computer scientist and mathematician who has made major contributions to the fields of complexity theory and proof complexity. He is a university professor at the University of Toronto, Department of C ...

                                               

William Kahan

William "Velvel" Morton Kahan is a Canadian 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 Aca ...

                                               

Harry H. Goode Memorial Award

The Harry H. Goode Memorial Award is an IEEE Computer Society annual awards in honor of Harry H. Goode for achievements in the information processing field which are considered either a single contribution of theory, design, or technique of outst ...

                                               

Silvio Micali

Silvio Micali is an Italian computer scientist at MIT Computer Science and Artificial Intelligence Laboratory and a professor of computer science in MITs Department of Electrical Engineering and Computer Science since 1983. His research centers o ...

                                               

Robin Milner

Arthur John Robin Gorell Milner, known as Robin Milner or A. J. R. G. Milner, was a British computer scientist, and a Turing Award winner.

                                               

Marvin Minsky

Marvin Lee Minsky was an American cognitive scientist concerned largely with research of artificial intelligence, co-founder of the Massachusetts Institute of Technologys AI laboratory, and author of several texts concerning AI and philosophy. Mi ...

                                               

Allen Newell

Allen Newell was a researcher in computer science and cognitive psychology at the RAND Corporation and at Carnegie Mellon University’s School of Computer Science, Tepper School of Business, and Department of Psychology. He contributed to the Info ...

                                               

David Patterson (computer scientist)

David Andrew Patterson is an American computer pioneer and academic who has held the position of Professor of Computer Science at the University of California, Berkeley since 1976. He announced retirement in 2016 after serving nearly forty years, ...

                                               

Judea Pearl

Judea Pearl is an Israeli-American computer scientist and philosopher, best known for championing the probabilistic approach to artificial intelligence and the development of Bayesian networks. He is also credited for developing a theory of causa ...

                                               

Amir Pnueli

Pnueli was born in Nahalal, in the British Mandate of Palestine now in Israel and received a Bachelors degree in mathematics from the Technion in Haifa, and Ph.D. in applied mathematics from the Weizmann Institute of Science. His thesis was on th ...

                                               

Loebner Prize

The Loebner Prize is an annual competition in artificial intelligence that awards prizes to the computer programs considered by the judges to be the most human-like. The format of the competition is that of a standard Turing test. In each round, ...

                                               

Marconi Prize

The Marconi Prize is an annual award recognizing achievements and advancements made in field of communications. The prize is awarded by the Marconi Foundation. and it includes a 0.000 honorarium and a work of sculpture.

                                               

Michael O. Rabin

Michael Oser Rabin is an Israeli mathematician and computer scientist and a recipient of the Turing Award.

                                               

Raj Reddy

Dabbala Rajagopal "Raj" Reddy is an Indian-American computer scientist and a winner of the Turing Award. He is one of the early pioneers of Artificial Intelligence and has served on the faculty of Stanford and Carnegie Mellon for over 50 years. H ...

                                               

Joseph Sifakis

Joseph Sifakis is a Greek-French computer scientist with French citizenship, laureate of the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking.

                                               

Richard E. Stearns

Richard Edwin Stearns is a prominent computer scientist who, with Juris Hartmanis, received the 1993 ACM Turing Award "in recognition of their seminal paper which established the foundations for the field of computational complexity theory". In 1 ...

                                               

Michael Stonebraker

Michael Ralph Stonebraker is a computer scientist specializing in database research. Through a series of academic prototypes and commercial startups, Stonebrakers research and products are central to many relational database systems. He is also t ...

                                               

Charles P. Thacker

Charles Patrick "Chuck" Thacker was an American pioneer computer designer. He worked on the Xerox Alto, which is the first computer that used a mouse-driven Graphical User Interface.

                                               

Alan Turing

Alan Mathison Turing was an English mathematician, computer scientist, logician, cryptanalyst, philosopher, and theoretical biologist. Turing was highly influential in the development of theoretical computer science, providing a formalisation of ...

                                               

James H. Wilkinson

James Hardy Wilkinson FRS was a prominent figure in the field of numerical analysis, a field at the boundary of applied mathematics and computer science particularly useful to physics and engineering.

                                               

Maurice Wilkes

Sir Maurice Vincent Wilkes was a British computer scientist who designed and helped build the Electronic delay storage automatic calculator, one of the earliest stored program computers and invented microprogramming, a method for using stored-pro ...

                                               

Edward Feigenbaum

Edward Albert Ed Feigenbaum is a computer scientist working in the field of artificial intelligence, and joint winner of the 1994 ACM Turing Award. He is often called the "father of expert systems."

                                               

Martin Hellman

Martin Edward Hellman is an American cryptologist, best known for his invention of public key cryptography in cooperation with Whitfield Diffie and Ralph Merkle. Hellman is a longtime contributor to the computer privacy debate, has applied risk a ...

                                               

John L. Hennessy

John Leroy Hennessy is an American computer scientist, academician, businessman, and Chair of Alphabet Inc. Hennessy is one of the founders of MIPS Computer Systems Inc. as well as Atheros and served as the tenth President of Stanford University. ...

                                               

Geoffrey Hinton

Geoffrey Everest Hinton is an English Canadian cognitive psychologist and computer scientist, most noted for his work on artificial neural networks. Since 2013 he divides his time working for Google and the University of Toronto. In 2017, he cofo ...

                                               

Tony Hoare

Sir Charles Antony Richard Hoare is a British computer scientist. He developed the sorting algorithm quicksort in 1959–1960. He also developed Hoare logic for verifying program correctness, and the formal language communicating sequential process ...

                                               

Antonin Holy

Antonin Holy was a pioneering Czech scientist. He specialised in the field of chemistry and cooperated on the development of important antiretroviral drugs used in the treatment of HIV and hepatitis B. He was involved in the creation of the most ...

                                               

Pascale Cossart

Pascale Cossart is a bacteriologist at the Pasteur Institute of Paris, and the foremost authority on Listeria monocytogenes, a deadly and common food-borne pathogen responsible for encephalitis, meningitis, bacteremia, gastroenteritis, and other ...

                                               

Chryssa Kouveliotou

Chryssa Kouveliotou is a Greek astrophysicist. She is a professor at George Washington University and a retired senior technologist in high-energy astrophysics at NASAs Marshall Space Flight Center in Huntsville, Alabama.

                                               

John Pendry

Sir John Brian Pendry, FRS FInstP is an English theoretical physicist known for his research into refractive indices and creation of the first practical "Invisibility Cloak". He is a professor of theoretical solid state physics at Imperial Colleg ...

                                               

Costas Soukoulis

Costas M. Soukoulis is a Senior Scientist in the Ames Laboratory and a Distinguished Professor of Physics at Iowa State University. He received his B.Sc. from University of Athens in 1974. He obtained his Ph.D. in Physics from the University of C ...

                                               

Richard Friend

Sir Richard Henry Friend FRS FREng is a British physicist who is Cavendish Professor of Physics at the University of Cambridge and Tan Chin Tuan Centennial Professor at the National University of Singapore. Friends research concerns the physics a ...

                                               

Anton Zeilinger

Anton Zeilinger is an Austrian quantum physicist who in 2008 received the Inaugural Isaac Newton Medal of the Institute of Physics for "his pioneering conceptual and experimental contributions to the foundations of quantum physics, which have bec ...

                                               

Nikolay Belov (geochemist)

Nikolay Vasilyevich Belov was a Soviet crystallographer, geochemist, academician, and Hero of Socialist Labor.

                                               

Cosmos

The cosmos is the Universe. Using the word cosmos rather than the word universe implies viewing the universe as a complex and orderly system or entity; the opposite of chaos. The cosmos, and our understanding of the reasons for its existence and ...

                                               

Sex in space

Sex in space is human sexual activity in the weightlessness of outer space. It presents difficulties for the performance of most sexual activities due to Newtons third law. According to the law, if the couple remain attached, their movements will ...

                                               

Soviet space dogs

During the 1950s and 1960s the Soviet space program used dogs for sub-orbital and orbital space flights to determine whether human spaceflight was feasible. In this period, the Soviet Union launched missions with passenger slots for at least 57 d ...

                                               

Natural satellite

A natural satellite, or moon, is, in the most common usage, an astronomical body that orbits a planet or minor planet. In the Solar System, there are six planetary satellite systems containing 205 known natural satellites. Four IAU-listed dwarf p ...

                                               

Anik (satellite)

The Anik satellites are a series of geostationary communications satellites launched by Telesat Canada for television in Canada, from 1972 through 2013. Some of the later satellites in the series remain operational in orbit, while others have bee ...

                                               

Titan (moon)

Titan is the largest moon of Saturn and the second-largest natural satellite in the Solar System. It is the only moon known to have a dense atmosphere, and the only known body in space, other than Earth, where clear evidence of stable bodies of s ...

                                               

Triton (moon)

Triton is the largest natural satellite of the planet Neptune, and the first Neptunian moon to be discovered. The discovery was made on October 10, 1846, by English astronomer William Lassell. It is the only large moon in the Solar System with a ...

                                               

Charon (moon)

Charon, also known as Pluto I, is the largest of the five known natural satellites of the dwarf planet Pluto. It has a mean radius of 606 km. It was discovered in 1978 at the United States Naval Observatory in Washington, D.C., using photographic ...