|
Harry R. Lewis
Lewis has been honored for his "particularly distinguished contributions to undergraduate teaching"; his students have included future entrepreneurs Bill Gates and Mark Zuckerberg, and numerous future faculty members at Harvard and other schools. The website "Six Degrees to Harry Lewis", created by Zuckerberg while at Harvard, was a precursor to Facebook. A new professorship in Engineering and Applied Sciences, endowed by a former student, will be named for Lewis and his wife upon their retirements. Education and career Lewis was born in Boston and grew up in Wellesley, . His parents were physicianshis father a hospital chief of anesthesiology and his mother the head of the Dever State School for disabled children. His father was a World War II veteran and the son of a German Lutheran father and a Russian Jewish mother. After graduating ''summa cum laude'' at the end of the eleventh grade at Boston's Roxbury Latin School he entered Harvard College, where he was for a t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Harry Lewis In Harvard Student Meeting 2002 Cropped
Harry may refer to: TV shows *Harry (American TV series), ''Harry'' (American TV series), a 1987 American comedy series starring Alan Arkin *Harry (British TV series), ''Harry'' (British TV series), a 1993 BBC drama that ran for two seasons *Harry (talk show), ''Harry'' (talk show), a 2016 American daytime talk show hosted by Harry Connick Jr. People and fictional characters *Harry (given name), a list of people and fictional characters with the given name *Harry (surname), a list of people with the surname *Dirty Harry (musician) (born 1982), British rock singer who has also used the stage name Harry *Harry Potter (character), the main protagonist in a Harry Potter, Harry Potter fictional series by J. K. Rowling Other uses *Harry (derogatory term), derogatory term used in Norway *Harry (album), ''Harry'' (album), a 1969 album by Harry Nilsson *The tunnel used in the Stalag Luft III escape ("The Great Escape") of World War II *Harry (newspaper), ''Harry'' (newspaper), an undergrou ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bill Gates
William Henry Gates III (born October 28, 1955) is an American business magnate and philanthropist. He is a co-founder of Microsoft, along with his late childhood friend Paul Allen. During his career at Microsoft, Gates held the positions of chairman, chief executive officer (CEO), President (corporate title), president and software architect, chief software architect, while also being the largest individual shareholder until May 2014. He was a major entrepreneur of the Home computer, microcomputer revolution of the 1970s and 1980s. Gates was born and raised in Seattle. In 1975, he and Allen founded Microsoft in Albuquerque, New Mexico. It became the world's largest personal computer software company. Gates led the company as chairman and CEO until stepping down as CEO in January 2000, succeeded by Steve Ballmer, but he remained chairman of the board of directors and became chief software architect. During the late 1990s, he was Criticism of Microsoft, criticized for his bu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Theoretical Computer Science
Theoretical computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory. It is difficult to circumscribe the theoretical areas precisely. The Association for Computing Machinery, ACM's ACM SIGACT, Special Interest Group on Algorithms and Computation Theory (SIGACT) provides the following description: History While logical inference and mathematical proof had existed previously, in 1931 Kurt Gödel proved with his incompleteness theorem that there are fundamental limitations on what statements could be proved or disproved. Information theory was added to the field with a 1948 mathematical theory of communication by Claude Shannon. In the same decade, Donald Hebb introduced a mathematical model of Hebbian learning, learning in the brain. With mounting biological data supporting this hypothesis with some modification, the fields of n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computational Logic
Computational logic is the use of logic to perform or reason about computation. It bears a similar relationship to computer science and engineering as mathematical logic bears to mathematics and as philosophical logic bears to philosophy. It is synonymous with "logic in computer science". The term “computational logic” came to prominence with the founding of the ACM Transactions on Computational Logic in 2000. However, the term was introduced much earlier, by J.A. Robinson in 1970. The expression is used in the second paragraph with a footnote claiming that "computational logic" is ''"surely a better phrase than 'theorem proving', for the branch of artificial intelligence which deals with how to make machines do deduction efficiently"''. In 1972 the Metamathematics Unit at the University of Edinburgh was renamed “The Department of Computational Logic” in the School of Artificial Intelligence.http://homepages.inf.ed.ac.uk/bundy/ Professor Alan Bundy's website The term wa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mark Zuckerberg
Mark Elliot Zuckerberg (; born ) is an American business magnate, internet entrepreneur, and philanthropist. He is known for co-founding the social media website Facebook and its parent company Meta Platforms (formerly Facebook, Inc.), of which he is the chairman, chief executive officer, and controlling shareholder. Zuckerberg attended Harvard University, where he launched Facebook in February 2004 with his roommates Eduardo Saverin, Andrew McCollum, Dustin Moskovitz, and Chris Hughes. Originally launched to select college campuses, the site expanded rapidly and eventually beyond colleges, reaching one billion users by 2012. Zuckerberg took the company public in May 2012 with majority shares. In 2007, at age 23, he became the world's youngest self-made billionaire. Since 2008, ''Time'' magazine has named Zuckerberg among the 100 most influential people in the world as a part of its Person of the Year award, which he was recognized with in 2010. In December 2016, Zucke ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Greg Whitten
Greg Whitten is an American computer engineer, investor and car collector. Whitten graduated from the University of Virginia with a B.A. in mathematics in 1973, and from Harvard University with a Ph.D. in applied mathematics in 1978. He worked for Compucolor, a company in Georgia established in 1977 that made the home computer Compucolor II (an early PC) but went out of business in 1983. While there, he reputedly optimized an unlicensed copy of Microsoft Basic so effectively that Microsoft later forgave Compucolor for their infringement in exchange for the rights to the enhancements. Microsoft 1979–1998 He then worked for Microsoft from 1979 to 1998. He developed the standards for the company's BASIC compiler line. "GW" in the name of the GW-BASIC dialect (first released 1983) of BASIC developed by Microsoft may have come from Greg Whitten's initials: "The GW-BASIC name stands for Gee-Whiz BASIC. The GW- name was picked by Bill Gates. He is the one who knows whether it wa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Salil Vadhan
Salil Vadhan is an American computer scientist. He is Vicky Joseph Professor of Computer Science and Applied Mathematics at Harvard University. After completing his undergraduate degree in Mathematics and Computer Science at Harvard in 1995, he obtained his PhD in Applied Mathematics from Massachusetts Institute of Technology in 1999, where his advisor was Shafi Goldwasser. His research centers around the interface between computational complexity theory and cryptography. He focuses on the topics of pseudorandomness and zero-knowledge proofs. His work on the zig-zag product, with Omer Reingold and Avi Wigderson, was awarded the 2009 Gödel Prize. Contributions Zig-zag graph product for constructing expander graphs One of the main contributions of his work is a new type of graph product, called the zig-zag product. Taking a product of a large graph with a small graph, the resulting graph inherits (roughly) its size from the large one, its degree from the small one, and its e ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alfred Spector
Alfred Zalmon Spector is an American computer scientist and research manager. He is a visiting scholar in the MIT EECS Department and was previously CTO of Two Sigma Investments. Before that, he was Vice President of Research and Special Initiatives at Google. Education Spector received his Bachelor of Arts degree in Applied Mathematics from Harvard University, and his PhD in computer science from Stanford University in 1981. His research explored communication architectures for building multiprocessors out of network-linked computers and included measurements of remote procedure call operations on experimental Ethernet. His dissertation was titled ''Multiprocessing Architectures for Local Computer Networks'', and his advisor was Forest Baskett III. Career Spector was an associate professor of computer science at Carnegie Mellon University (CMU). While there, he served as doctoral advisor to Randy Pausch, Jeff Eppinger and Joshua Bloch and seven others. Spector was a founde ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Margo Seltzer
Margo Ilene Seltzer is a professor and researcher in computer systems. She is currently the Canada 150 Research Chair in Computer Systems and the Cheriton Family Chair in Computer Science at the University of British Columbia. Previously, Seltzer was the Herchel Smith Professor of Computer Science at Harvard University's John A. Paulson School of Engineering and Applied Sciences and director at the Center for Research on Computation and Society. Education Seltzer received her A.B. in Applied Mathematics at Harvard/ Radcliffe College in 1983, where she was teaching assistant under Harry R. Lewis at Harvard University. In 1992, she received her Ph.D. in Computer Science from the University of California, Berkeley where her dissertation, "File System Performance and Transaction Support", was supervised by Michael Stonebraker. Her work in log-structured file systems, databases, and wide-scale caching is especially well-known, and she was lead author of the BSD-LFS paper. Caree ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Greg Nelson (computer Scientist)
Charles Gregory Nelson (27 March 1953 – 2 February 2015) was an American computer scientist. Biography Nelson grew up in Honolulu. As a boy he excelled at gymnastics and tennis. He attended the University Laboratory School. He received his B.A. degree in mathematics from Harvard University in 1976. He received his Ph.D. in computer science from Stanford University in 1980 under the supervision of Robert Tarjan. He lived in Juneau, Alaska for a year before settling permanently in the San Francisco Bay Area. Notable work His thesis, ''Techniques for Program Verification'', influenced both program verification and automated theorem proving, especially in the area now named satisfiability modulo theories, where he contributed techniques for combining decision procedures, as well as efficient decision procedures for quantifier-free constraints in first-order logic and term algebra. He received the Herbrand Award in 2013: He was instrumental in developing the ''Simplify ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
RAND Corporation
The RAND Corporation (from the phrase "research and development") is an American nonprofit global policy think tank created in 1948 by Douglas Aircraft Company to offer research and analysis to the United States Armed Forces. It is financed by the Federal government of the United States, U.S. government and private Financial endowment, endowment, corporations, university, universities and private individuals. The company assists other governments, international organizations, private companies and foundations with a host of defense and non-defense issues, including healthcare. RAND aims for interdisciplinary and quantitative problem solving by translating theory, theoretical concepts from formal economics and the Outline of physical science, physical sciences into novel applications in other areas, using applied science and operations research. Overview RAND has approximately 1,850 employees. Its American locations include: Santa Monica, California (headquarters); Arlington ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
David Leinweber
David Leinweber heads the Lawrence Berkeley National Laboratory Computational Research Division's Center for Innovative Financial Technology, created to help build a bridge between the computational science and financial markets communities. He was a Haas Fellow in Finance at the University of California, Berkeley, from 2008-2010. Dr. Leinweber graduated from MIT, in physics and computer science. He also has a Ph.D. in Applied Mathematics from Harvard University. He came to Harvard planning to study computer graphics, but discovered that the computer graphics courses there were no longer being taught; his "de facto advisor", Harry R. Lewis, encouraged him to study more broadly, and he ended up taking financial mathematics courses from the Harvard Business School. Later, Lewis's connections with the RAND Corporation helped him find a place there as his first post-graduate employer. He wrote the book ''Nerds on Wall Street: Math, Machines and Wired Markets'' (Wiley 2009). Leinwebe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
