|
Symposium On Logic In Computer Science
The ACM–IEEE Symposium on Logic in Computer Science (LICS) is an annual academic conference on the theory and practice of computer science in relation to mathematical logic. Extended versions of selected papers of each year's conference appear in renowned international journals such as Logical Methods in Computer Science and ACM Transactions on Computational Logic. History LICS was originally sponsored solely by the IEEE, but as of the 2014 founding of the ACM Special Interest Group on Logic and Computation LICS has become the flagship conference of SIGLOG, under the joint sponsorship of ACM and IEEE. From the first installment in 1988 until 2013, the cover page of the conference proceedings has featured an artwork entitled ''Irrational Tiling by Logical Quantifiers'', by Alvy Ray Smith. Since 1995, each year the '' Kleene award'' is given to the best student paper. In addition, since 2006, the ''LICS Test-of-Time Award'' is given annually to one among the twenty-year-old LIC ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logic In Computer Science
Logic in computer science covers the overlap between the field of logic and that of computer science. The topic can essentially be divided into three main areas: * Theoretical foundations and analysis * Use of computer technology to aid logicians * Use of concepts from logic for computer applications Theoretical foundations and analysis Logic plays a fundamental role in computer science. Some of the key areas of logic that are particularly significant are computability theory (formerly called recursion theory), modal logic and category theory. The theory of computation is based on concepts defined by logicians and mathematicians such as Alonzo Church and Alan Turing. Church first showed the existence of algorithmically unsolvable problems using his notion of lambda-definability. Turing gave the first compelling analysis of what can be called a mechanical procedure and Kurt Gödel asserted that he found Turing's analysis "perfect." In addition some other major areas of theor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Robert Harper (computer Scientist)
Robert William "Bob" Harper, Jr. (born ) is a computer science professor at Carnegie Mellon University who works in programming language research. Prior to his position at Carnegie Mellon, Harper was a research fellow at the University of Edinburgh. Career Harper made major contributions to the design of the Standard ML programming language and the LF logical framework. Harper was named an ACM Fellow in 2005 for his contributions to type systems for programming languages. In 2021, he received the ACM SIGPLAN Programming Languages Achievement Award for his "foundational contributions to our understanding of type theory and its use in the design, specification, implementation, and verification of modern programming languages". Books *Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. ''The Definition of Standard ML (Revised)''. MIT Press, 1997. *Robert Harper (editor). Types in Compilation'. Springer-Verlag Lecture Notes in Computer Science, volume 2071, 2001. *Robert H ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Max Dauchet
Max or MAX may refer to: Animals * Max (dog) (1983–2013), at one time purported to be the world's oldest living dog * Max (English Springer Spaniel), the first pet dog to win the PDSA Order of Merit (animal equivalent of OBE) * Max (gorilla) (1971–2004), a western lowland gorilla at the Johannesburg Zoo who was shot by a criminal in 1997 Brands and enterprises * Australian Max Beer * Max Hamburgers, a fast-food corporation * MAX Index, a Hungarian domestic government bond index * Max Fashion, an Indian clothing brand Computing * MAX (operating system), a Spanish-language Linux version * Max (software), a music programming language * Commodore MAX Machine * Multimedia Acceleration eXtensions, extensions for HP PA-RISC Films * ''Max'' (1994 film), a Canadian film by Charles Wilkinson * ''Max'' (2002 film), a film about Adolf Hitler * ''Max'' (2015 film), an American war drama film Games * ''Dancing Stage Max'', a 2005 game in the ''Dance Dance Revolution'' series ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
James Hwang
James is a common English language surname and given name: * James (name), the typically masculine first name James * James (surname), various people with the last name James James or James City may also refer to: People * King James (other), various kings named James * Saint James (other) * James (musician) * James, brother of Jesus Places Canada * James Bay, a large body of water * James, Ontario United Kingdom * James College, a college of the University of York United States * James, Georgia, an unincorporated community * James, Iowa, an unincorporated community * James City, North Carolina * James City County, Virginia ** James City (Virginia Company) ** James City Shire * James City, Pennsylvania * St. James City, Florida Arts, entertainment, and media * ''James'' (2005 film), a Bollywood film * ''James'' (2008 film), an Irish short film * ''James'' (2022 film), an Indian Kannada-language film * James the Red Engine, a character in ''Th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kenneth L
Kenneth is an English given name and surname. The name is an Anglicised form of two entirely different Gaelic personal names: ''Cainnech'' and '' Cináed''. The modern Gaelic form of ''Cainnech'' is ''Coinneach''; the name was derived from a byname meaning "handsome", "comely". A short form of ''Kenneth'' is '' Ken''. Etymology The second part of the name ''Cinaed'' is derived either from the Celtic ''*aidhu'', meaning "fire", or else Brittonic ''jʉ:ð'' meaning "lord". People :''(see also Ken (name) and Kenny)'' Places In the United States: * Kenneth, Indiana * Kenneth, Minnesota * Kenneth City, Florida In Scotland: * Inch Kenneth, an island off the west coast of the Isle of Mull Other * "What's the Frequency, Kenneth?", a song by R.E.M. * Hurricane Kenneth * Cyclone Kenneth Intense Tropical Cyclone Kenneth was the strongest tropical cyclone to make landfall in Mozambique since modern records began. The cyclone also caused significant damage in the Comoro Islands and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Edmund Clarke
Edmund Melson Clarke, Jr. (July 27, 1945 – December 22, 2020) was an American computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs. He was the FORE Systems Professor of Computer Science at Carnegie Mellon University. Clarke, along with E. Allen Emerson and Joseph Sifakis, received the 2007 ACM Turing Award. Biography Born in Newport News, Virginia, Clarke received a B.A. degree in mathematics from the University of Virginia, Charlottesville, in 1967, an M.A. degree in mathematics from Duke University, Durham NC, in 1968, and a Ph.D. degree in Computer Science from Cornell University, Ithaca NY in 1976. After receiving his Ph.D., he taught in the Department of Computer Science at Duke University, for two years. In 1978, he moved to Harvard University, Cambridge, MA where he was an assistant professor of Computer Science in the Division of Applied Sciences. He left Harvard in 1982 to join the fa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jerry R
Jerry may refer to: Animals * Jerry (Grand National winner), racehorse, winner of the 1840 Grand National * Jerry (St Leger winner), racehorse, winner of 1824 St Leger Stakes Arts, entertainment, and media * ''Jerry'' (film), a 2006 Indian film * "Jerry", a song from the album '' Young and Free'' by Rock Goddess * Tom and Jerry (other) People * Jerry (given name), including a list of people and fictional characters with the name * Harold A. Jerry, Jr. (1920–2001), New York politician * Thomas Jeremiah (d. 1775), commonly known simply as "Jerry", a free Negro in colonial South Carolina Places * Branche à Jerry, a tributary of the Baker River in Quebec and New Brunswick, Canada * Jerry, Washington, a community in the United States Other uses * Jerry (company) * Jerry (WWII), Allied nickname for Germans, originally from WWI but widely used in World War II * Jerry Rescue (1851), involving American slave William Henry, who called himself "Jerry" See also * Ge ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
David L
David (; , "beloved one") (traditional spelling), , ''Dāwūd''; grc-koi, Δαυΐδ, Dauíd; la, Davidus, David; gez , ዳዊት, ''Dawit''; xcl, Դաւիթ, ''Dawitʿ''; cu, Давíдъ, ''Davidŭ''; possibly meaning "beloved one". was, according to the Hebrew Bible, the third king of the United Kingdom of Israel. In the Books of Samuel, he is described as a young shepherd and harpist who gains fame by slaying Goliath, a champion of the Philistines, in southern Canaan. David becomes a favourite of Saul, the first king of Israel; he also forges a notably close friendship with Jonathan, a son of Saul. However, under the paranoia that David is seeking to usurp the throne, Saul attempts to kill David, forcing the latter to go into hiding and effectively operate as a fugitive for several years. After Saul and Jonathan are both killed in battle against the Philistines, a 30-year-old David is anointed king over all of Israel and Judah. Following his rise to power, David ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Costas Courcoubetis
Kostas or Costas ( el, Κώστας) is a Greek given name and surname. As a given name it is the hypocorism for Konstantinos ( Constantine). Given name * Costas Andreou, Greek musician * Kostas Antetokounmpo (born 1997), a Greek basketball player * Costas Azariadis (born 1943), Greek economist * Kostas Biris (1899–1980), Greek architect * Costas Georgiou (1951–1976), Greek Cypriot mercenary * Kostas Lazarides (born 1949), aka Kostas (songwriter), Greek-American country music songwriter * Costas Mandylor (born 1965), Greek Australian actor * Kostas Papanikolaou (born 1990), Greek basketball player * Costas Rigas (born 1944), Greek basketball player * Costas Simitis (born 1936), former Prime Minister of Greece * Kostas Hatzichristos (1921–2001), Greek actor * Kostas Karamanlis (born 1956), former Prime Minister of Greece * Kostas Koufogiorgos (born 1972), Greek-German cartoonist Surname * Bob Costas (born 1952), American sportscaster and talk show host * John P. Co ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rajeev Alur
Rajeev Alur is an American professor of computer science at the University of Pennsylvania who has made contributions to formal methods, programming languages, and automata theory, including notably the introduction of timed automata (Alur and Dill, 1994) and nested words (Alur and Madhusudan, 2004). Prof. Alur was born in Pune. He obtained his bachelor's degree in computer science from the Indian Institute of Technology at Kanpur, India, in 1987, and Ph.D. in computer science from Stanford University, California, USA, in 1991. Before joining the University of Pennsylvania in 1997, he was with the Computing Science Research Center at Bell Laboratories. His research has included formal modeling and analysis of reactive systems, hybrid systems, model checking, software verification, design automation for embedded software, and program synthesis. He is a Fellow of the ACM, a Fellow of the IEEE, and has served as the chair of ACM SIGBED (Special Interest Group on Embedded Systems) ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Eugenio Moggi
Eugenio Moggi is a professor of computer science at the University of Genoa, Italy. He first described the general use of monads to structure programs. Biography Academic qualifications: * PhD in Computer Science, University of Edinburgh 1988Available at thEdinburgh Research Archive * Laurea in Computer Science, University of Pisa 1983 * Diploma, Scuola Normale Superiore di Pisa 1983 References External links Personal page of Eugenio Moggiat the University of Genoa. * Italian computer scientists Living people Alumni of the University of Edinburgh Year of birth missing (living people) {{compu-scientist-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Leslie Lamport
Leslie B. Lamport (born February 7, 1941 in Brooklyn) is an American computer scientist and mathematician. Lamport is best known for his seminal work in distributed systems, and as the initial developer of the document preparation system LaTeX and the author of its first manual. Lamport was the winner of the 2013 Turing Award for imposing clear, well-defined coherence on the seemingly chaotic behavior of distributed computing systems, in which several autonomous computers communicate with each other by passing messages. He devised important algorithms and developed formal modeling and verification protocols that improve the quality of real distributed systems. These contributions have resulted in improved correctness, performance, and reliability of computer systems. Early life and education Lamport was born into a Jewish family in Brooklyn, New York, the son of Benjamin and Hannah Lamport (née Lasser). His father was an immigrant from Volkovisk in the Russian Empire (now Vawkav ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
