|
Symposium On Foundations Of Computer Science
The IEEE Annual Symposium on Foundations of Computer Science (FOCS) is an academic conference in the field of theoretical computer science. FOCS is sponsored by the IEEE Computer Society. As writes, FOCS and its annual Association for Computing Machinery counterpart STOC (the Symposium on Theory of Computing) are considered the two top conferences in theoretical computer science, considered broadly: they “are forums for some of the best work throughout theory of computing that promote breadth among theory of computing researchers and help to keep the community together.” includes regular attendance at FOCS and STOC as one of several defining characteristics of theoretical computer scientists. Awards The Knuth Prize for outstanding contributions to theoretical computer science is presented alternately at FOCS and STOC. Works of the highest quality presented at the conference are awarded the Best Paper Award. In addition, the Machtey Award is presented to the best studen ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Academic Conference
An academic conference or scientific conference (also congress, symposium, workshop, or meeting) is an Convention (meeting), event for researchers (not necessarily academics) to present and discuss their scholarly work. Together with academic journal, academic or scientific journals and preprint archives, conferences provide an important channel for exchange of information between researchers. Further benefits of participating in academic conferences include learning effects in terms of presentation skills and "academic Habitus (sociology), habitus", receiving feedback from peers for one's own research, the possibility to engage in informal communication with peers about work opportunities and collaborations, and getting an overview of current research in one or more Academic discipline, disciplines. The first international academic conferences and congresses appeared in 19th century. Overview Conferences usually encompass various presentations. They tend to be short and conci ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rolando Peinado
Rolando may refer to: Entertainment *''Rolando'', a 2008 puzzle-adventure video game *'' Rolando 2: Quest for the Golden Orchid'', a 2009 puzzle-adventure video game *"Rolando", a song by Roland Kirk from the album ''Domino'' People *Rolando (given name), a Spanish, Portuguese and Italian given name *Rolando (footballer) (born 1985), Rolando Jorge Pires da Fonseca *Gloria Rolando (born 1953), Cuban filmmaker and screenwriter *Luigi Rolando (1773–1831), Italian anatomist Places *Rolando, San Diego, US See also *Central sulcus, originally called the "fissure of Rolando" or the "Rolandic fissure" *Roland (other) *Ronaldo (other) Ronaldo is a Portuguese given name equivalent to the English Ronald. It became a common name in all Portuguese-speaking countries, also prevalent in other Romance countries. People Notable people known as Ronaldo include: Association footballe ... {{disambig it:Rolando sl:Rolando ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Zvi Galil
Zvi Galil (; born June 26, 1947) is an Israeli-American computer scientist. He has served as the dean of the Columbia University School of Engineering and as president of Tel Aviv University from 2007 through 2009. From 2010 to 2019, he was 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 200 scientific papers and is listed as an ISI highly cited researcher. Early life and education Galil was born in Tel Aviv in Mandatory Palestine in 1947. He completed both his B.Sc. (1970) and his M.Sc. (1971) in applied mathematics, both summa cum laude, at Tel Aviv University. In 1975, he earned his Ph.D. in computer science at Cornell University under the supervision of John Hopcroft. He then spent a year working as a post-doctorate researcher at IBM's Thomas ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Seymour Ginsburg
Seymour Ginsburg (December 12, 1927 – December 5, 2004) was an American pioneer of Automaton, automata theory, formal language theory, and database theory, in particular; and computer science, in general. His work was influential in distinguishing theoretical Computer Science from the disciplines of Mathematics and Electrical Engineering. During his career, Ginsburg published over 100 papers and three books on various topics in theoretical Computer Science. Biography Seymour Ginsburg received his B.S. from CCNY, City College of New York in 1948, where along with fellow student Martin Davis (mathematician), Martin Davis he attended an honors mathematics class taught by Emil Post. He earned a Ph.D. in Mathematics from the University of Michigan in 1952, studying under Dushnik-Miller dimension, Ben Dushnik. Ginsburg's professional career began in 1951 when he accepted a position as assistant professor of mathematics at the University of Miami in Coral Gables, Florida. He tur ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tom Leighton
Frank Thomson "Tom" Leighton (born 1956) is an American mathematician who is the CEO of Akamai Technologies, the company he co-founded with Daniel Lewin in 1998,Erik Nygren, Ramesh Sitaraman, and Jennifer Sun. and a professor of applied mathematics at the Massachusetts Institute of Technology (MIT). He is a member of the Computer Science and Artificial Intelligence Laboratory (CSAIL) at MIT. Early life and education Leighton's father was a U.S. Navy colleague and friend of Admiral Hyman G. Rickover, the father of naval nuclear propulsion and a founder of the Research Science Institute (RSI). His brother, David T. Leighton, is a professor at the University of Notre Dame specializing in transport phenomena. He received his B.S.E. in electrical engineering from Princeton University in 1978, and his Ph.D. in mathematics from MIT in 1981. Career Leighton discovered a solution to free up web congestion using applied mathematics and distributed computing. Leighton worked on alg ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ashok Chandra
Ashok K. Chandra (30 July 1948 – 15 November 2014) was a computer scientist at Microsoft Research in Mountain View, California, United States, where he was a general manager at the Internet Services Research Center. Chandra received his PhD in Computer Science from Stanford University, an MS from University of California, Berkeley, and a BTech from IIT Kanpur. He was previously Director of Database and Distributed Systems at IBM Almaden Research Center. Chandra co-authored several key papers in theoretical computer science. Among other contributions, he introduced alternating Turing machines in computational complexity (with Dexter Kozen and Larry Stockmeyer), conjunctive queries in databases (with Philip M. Merlin), computable queries (with David Harel), and multiparty communication complexity (with Merrick L. Furst and Richard J. Lipton). He was a founder of the annual IEEE Symposium on Logic in Computer Science and served as conference chair of the first three conferences, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Charles Rackoff
Charles Weill Rackoff is an American cryptologist. Born and raised in New York City, he attended MIT as both an undergraduate and graduate student, and earned a Ph.D. degree in Computer Science in 1974. He spent a year as a postdoctoral scholar at INRIA in France. Rackoff currently works at the University of Toronto. His research interests are in computational complexity theory. For some time now, he has been specializing in cryptography and security protocols. In 1988, he collaborated with Michael Luby in a widely cited analysis of the Feistel cipher construction (one important result shown there is the construction of a strongly pseudo random permutation generator from a pseudo random function generator). Rackoff was awarded the 1993 Gödel Prize for his work on interactive proof systems and for being one of the co-inventors of zero-knowledge proofs. In 2011, he won the RSA Award for Excellence in Mathematics for his various contributions to cryptography. Rackoff's controve ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John Hopcroft
John Edward Hopcroft (born October 7, 1939) is an American theoretical computer scientist. His textbooks on theory of computation (also known as the Cinderella book) and data structures are regarded as standards in their fields. He is a professor emeritus at Cornell University, co-director of the Center on Frontiers of Computing Studies at Peking University, and the director of the John Hopcroft Center for Computer Science at Shanghai Jiao Tong University. Early life and education Hopcroft received a Bachelor of Science with a major in electrical engineering from Seattle University in 1961. He received a Master of Science in electrical engineering in 1962 and a Doctor of Philosophy in electrical engineering in 1964, both from Stanford University. Hopcroft is the grandson of Jacob Nist, who established the Seattle-Tacoma Box Company in 1889. Career and honor He worked for three years at Princeton University and since then has been at Cornell University. In addition to his ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Eugene Luks
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. Professional career Luks did his undergraduate studies at the City College of New York, earning a bachelor's degree in 1960, and went on to graduate studies at the Massachusetts Institute of Technology, earning a doctorate in mathematics in 1966 under the supervision of Kenkichi Iwasawa. He taught at Tufts University from 1966 to 1968, and at Bucknell University from then until 1983, when he joined the University of Oregon faculty as chair of the computer and information science department. He retired in 2006, but was recalled in 2012–2013 to serve as interim chair. [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Robert Tarjan
Robert Endre Tarjan (born April 30, 1948) is an American computer scientist and mathematician. He is the discoverer of several graph theory algorithms, including his strongly connected components algorithm, and co-inventor of both splay trees and Fibonacci heaps. Tarjan is currently the James S. McDonnell Distinguished University Professor of Computer Science at Princeton University. Personal life and education He was born in Pomona, California. His father, George Tarjan (1912–1991), raised in Hungary, was a child psychiatrist, specializing in mental retardation, and ran a state hospital. Robert Tarjan's younger brother James became a chess grandmaster. As a child, Robert Tarjan read a lot of science fiction, and wanted to be an astronomer. He became interested in mathematics after reading Martin Gardner's mathematical games column in Scientific American. He became seriously interested in math in the eighth grade, thanks to a "very stimulating" teacher. While he was in hig ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Peter Downey
Peter may refer to: People * List of people named Peter, a list of people and fictional characters with the given name * Peter (given name) ** Saint Peter (died 60s), apostle of Jesus, leader of the early Christian Church * Peter (surname), a surname (including a list of people with the name) Culture * Peter (actor) (born 1952), stage name Shinnosuke Ikehata, a Japanese dancer and actor * ''Peter'' (1934 film), a film directed by Henry Koster * ''Peter'' (2021 film), a Marathi language film * "Peter" (''Fringe'' episode), an episode of the television series ''Fringe'' * ''Peter'' (novel), a 1908 book by Francis Hopkinson Smith * "Peter" (short story), an 1892 short story by Willa Cather * ''Peter'' (album), a 1972 album by Peter Yarrow * ''Peter'', a 1993 EP by Canadian band Eric's Trip * "Peter", 2024 song by Taylor Swift from '' The Tortured Poets Department: The Anthology'' Animals * Peter (Lord's cat), cat at Lord's Cricket Ground in London * Peter (chief mouser), Chi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
