|
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 third 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 L ... [...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 Undecidable problem, 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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Robert Harper (computer Scientist)
Robert William Harper, Jr. (born 1957) 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". Awards * Herbert A. Simon Award for Teaching Excellence in Computer Science, CMU. * Allen Newell Award for Research Excellence, CMU. for research on type-directed compilation. (2001) * ACM Fellow, for contributions to type systems. (2005) * ACM SIGPL ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Max Dauchet
Max or MAX may refer to: Animals * Max (American dog) (1983–2013), at one time purported to be the world's oldest living dog * Max (British dog), the first pet dog to win the PDSA Order of Merit (animal equivalent of the 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 * 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 * ''Max'' (2024 film), an Indian Kannada language film by Vijay Karthikeyaa Games * '' Dancing Stage ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
James Hwang
James may refer to: People * James (given name) * James (surname) * James (musician), aka Faruq Mahfuz Anam James, (born 1964), Bollywood musician * James, brother of Jesus * King James (other), various kings named James * Prince James (other) * Saint James (other) 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 Film and television * ''James'' (2005 film), a Bollywood film * ''James'' (2008 film), an Irish short film * ''James'' (2022 film), an Indian Kannada-language film * "James", a television episode of ''Adventure Time'' Music * James (band), a band from Manchester ** ''James'', US title of 1 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kenneth L
Kenneth is a given name A given name (also known as a forename or first name) is the part of a personal name quoted in that identifies a person, potentially with a middle name as well, and differentiates that person from the other members of a group (typically a f ... of Gaelic origin. 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". Etymology The second part of the name ''Cinaed'' is derived either from the Celtic ''*aidhu'', meaning "fire", or else Brittonic ''jʉ:ð'' meaning "lord". People Fictional characters * Kenneth Widmerpool, character in Anthony Powell's novel sequence ''A Dance to the Music of Time'' * Kenneth Parcell from 30 Rock Places In the United States: * Kenneth, Minnesota * Kenneth City, Florida In Scotland: * Inch Kenneth, an island off the west coast ... [...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, New York, 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, Massachusetts, where he was an assistant professor of computer science in the Division of Applied Sciences. He left Harvard i ... [...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 (play), a 1914 American play * "Jerry", a song from the album ''Young and Free'' by Rock Goddess * "Jerry" (''Adventure Time: Fionna and Cake''), an episode of the animated television series '' Adventure Time: Fionna and Cake'' * Tom and Jerry (other) ** Jerry Mouse * Jerry, a fictional character who is The Lich BMO named of another universe from ''Adventure Time'' * Jerry (The Walking Dead), a fictional character from The Walking Dead 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 * Tyson Jerry (born 1983), a Canadian Guinness World Record holder *J ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
David L
David (; , "beloved one") was a king of ancient Israel and Judah and the Kings of Israel and Judah, third king of the Kingdom of Israel (united monarchy), United Monarchy, according to the Hebrew Bible and Old Testament. The Tel Dan stele, an Canaanite and Aramaic inscriptions, Aramaic-inscribed stone erected by a king of Aram-Damascus in the late 9th/early 8th centuries BCE to commemorate a victory over two enemy kings, contains the phrase (), which is translated as "Davidic line, House of David" by most scholars. The Mesha Stele, erected by King Mesha of Moab in the 9th century BCE, may also refer to the "House of David", although this is disputed. According to Jewish works such as the ''Seder Olam Rabbah'', ''Seder Olam Zutta'', and ''Sefer ha-Qabbalah'' (all written over a thousand years later), David ascended the throne as the king of Judah in 885 BCE. Apart from this, all that is known of David comes from biblical literature, Historicity of the Bible, the historicit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Costas Courcoubetis
Kostas or Costas () is a Greek given name and surname. As a given name, it can be a hypocorism for Konstantinos (Constantine). Given name * Costas Andreou, Greek musician * Kostas Antetokounmpo (born 1997), 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 (1936–2025), 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. Costas (engineer) (1923–2008), Am ... [...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 Kanpur in 1987, and his Ph.D. in computer science from Stanford University 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). He holds the title of Z ... [...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 The University of Edinburgh (, ; abbreviated as ''Edin.'' in Post-nominal letters, post-nominals) is a Public university, public research university based in Edinburgh, Scotland. Founded by the City of Edinburgh Council, town council under th ... 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) 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 Vawkavysk, Belaru ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
