|
Kasper Green Larsen
Kasper Green Larsen is a Danish theoretical computer scientist. He is currently full professor at Aarhus University. Biography Larsen earned his doctorate from Aarhus University in 2013 under the supervision of Lars Arge. He received several best paper awards at major conferences in theoretical computer science, including Symposium on Theory of Computing, Symposium on Foundations of Computer Science, and the International Cryptology Conference, including the Machtey Award and Danny Lewin Award for best student paper. In 2019, Larsen received the Presburger Award The Presburger Award, started in 2010, is awarded each year by the European Association for Theoretical Computer Science (EATCS) to "a young scientist for outstanding contributions in theoretical computer science, documented by a published paper o ... from the European Association of Theoretical Computer Science for his work on lower bounds. References {{DEFAULTSORT:Larsen, Kasper Green Danish computer scie ... [...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] |
Aarhus University
Aarhus University ( da, Aarhus Universitet, abbreviated AU) is a public research university with its main campus located in Aarhus, Denmark. It is the second largest and second oldest university in Denmark. The university is part of the Coimbra Group, the Guild, and Utrecht Network of European universities and is a member of the European University Association. The university was founded in Aarhus, Denmark, in 1928 and comprises five faculties in Arts, Natural Sciences, Technical Sciences, Health, and Business and Social Sciences and has a total of twenty-seven departments. It is home to over thirty internationally recognised research centres, including fifteen centres of excellence funded by the Danish National Research Foundation. The university has been ranked among the top 100 world's best universities. ''Times Higher Education'' ranks Aarhus University in the top 10 of the most beautiful universities in Europe (2018). The university's alumni include Bjarne Stroustrup, the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lars Arge
Lars Allan Arge (8 October 1967 – 23 December 2020) was a Danish computer scientist, the head of the Center for Massive Data Algorithmics (MADALGO) at Aarhus University, where he was also a professor of computer science. His research involved the study of algorithms and data structures for handling massive data, especially in graph algorithms and computational geometry. Education and career Arge earned his Ph.D. in 1996 from Aarhus University, under the supervision of Erik Meineche Schmidt. He next did a postdoc at Duke University until 1998. He then became a professor at Duke University before returning to Aarhus as a professor in 2004. He continued to hold an adjunct professorship at Duke.Faculty home page Aarhus University, retrieved 2015-06-10. Awards and honors Arge was a member of the |
Presburger Award
The Presburger Award, started in 2010, is awarded each year by the European Association for Theoretical Computer Science (EATCS) to "a young scientist for outstanding contributions in theoretical computer science, documented by a published paper or a series of published papers." The award is named after Mojżesz Presburger who accomplished his path-breaking work on decidability of the theory of addition (which today is called Presburger arithmetic) as a student in 1929. Past recipients of the award are: * Mikołaj Bojańczyk (2010) * Patricia Bouyer-Decitre (2011) * Venkatesan Guruswami and Mihai Pătraşcu (2012) * Erik Demaine (2013) * David Woodruff (2014) * Xi Chen (2015) * Mark Braverman (2016) * Alexandra Silva (2017) * (2018) * Karl Bringmann and Kasper Green Larsen (2019) * Dmitriy Zhuk (2020) * Shayan Oveis Gharan (2021) * Dor Minzer (2022) See also * List of computer science awards This list of computer science awards is an index to articles on notable awa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Danny Lewin Award
The Annual ACM Symposium on Theory of Computing (STOC) is an academic conference in the field of theoretical computer science. STOC has been organized annually since 1969, typically in May or June; the conference is sponsored by the Association for Computing Machinery special interest group SIGACT. Acceptance rate of STOC, averaged from 1970 to 2012, is 31%, with the rate of 29% in 2012. As writes, STOC and its annual IEEE counterpart FOCS (the Symposium on Foundations of Computer Science) 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 STOC and FOCS as one of several defining characteristics of theoretical computer scientists. Awards The Gödel Prize for outstanding papers in theoretical computer science is presented alternately ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Machtey Award
The Machtey Award is awarded at the annual IEEE Symposium on Foundations of Computer Science (FOCS) to the author(s) of the best student paper(s). A paper qualifies as a student paper if all authors are full-time students at the date of the submission. The award decision is made by the Program Committee. The award is named after Michael Machtey, who was a researcher in the theoretical computer science community in the 1970s. The counterpart of this award at the ACM Symposium on Theory of Computing (STOC) is the Danny Lewin Best Student Paper Award. Past recipients Past recipients of the Machtey award are tabulated below. {, class="wikitable" ! Year !! Recipient (University) !! Paper , - , 2021 , , Xiao Mao (MIT) , , "Breaking the Cubic Barrier for (Unweighted) Tree Edit Distance" , - , 2020 , , Rahul Ilango (MIT) , , "The Constant Depth Formula and Partial Function Versions of MCSP are Hard" , - , rowspan="2" , 2019 , , Jason Li ( CMU) , , "Faster Minimum k-cut of a S ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Denmark
) , song = ( en, "King Christian stood by the lofty mast") , song_type = National and royal anthem , image_map = EU-Denmark.svg , map_caption = , subdivision_type = Sovereign state , subdivision_name = Danish Realm, Kingdom of Denmark , established_title = History of Denmark#Middle ages, Consolidation , established_date = 8th century , established_title2 = Christianization , established_date2 = 965 , established_title3 = , established_date3 = 5 June 1849 , established_title4 = Faroese home rule , established_date4 = 24 March 1948 , established_title5 = European Economic Community, EEC 1973 enlargement of the European Communities, accession , established_date5 = 1 January 1973 , established_title6 = Greenlandic home rule , established_date6 = 1 May 1979 , official_languages = Danish language, Danish , languages_type = Regional languages , languages_sub = yes , languages = German language, GermanGerman is recognised as a protected minority language in t ... [...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] |
Symposium On Theory Of Computing
The Annual ACM Symposium on Theory of Computing (STOC) is an academic conference in the field of theoretical computer science. STOC has been organized annually since 1969, typically in May or June; the conference is sponsored by the Association for Computing Machinery special interest group SIGACT. Acceptance rate of STOC, averaged from 1970 to 2012, is 31%, with the rate of 29% in 2012. As writes, STOC and its annual IEEE counterpart FOCS (the Symposium on Foundations of Computer Science) 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 STOC and FOCS as one of several defining characteristics of theoretical computer scientists. Awards The Gödel Prize for outstanding papers in theoretical computer science is presented alternately a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 student- ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
International Cryptology Conference
International is an adjective (also used as a noun) meaning "between nations". International may also refer to: Music Albums * ''International'' (Kevin Michael album), 2011 * ''International'' (New Order album), 2002 * ''International'' (The Three Degrees album), 1975 *''International'', 2018 album by L'Algérino Songs * The Internationale, the left-wing anthem * "International" (Chase & Status song), 2014 * "International", by Adventures in Stereo from ''Monomania'', 2000 * "International", by Brass Construction from ''Renegades'', 1984 * "International", by Thomas Leer from ''The Scale of Ten'', 1985 * "International", by Kevin Michael from ''International'' (Kevin Michael album), 2011 * "International", by McGuinness Flint from ''McGuinness Flint'', 1970 * "International", by Orchestral Manoeuvres in the Dark from '' Dazzle Ships'', 1983 * "International (Serious)", by Estelle from '' All of Me'', 2012 Politics * Political international, any transnational organization ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
European Association Of Theoretical Computer Science
The European Association for Theoretical Computer Science (EATCS) is an international organization with a European focus, founded in 1972. Its aim is to facilitate the exchange of ideas and results among theoretical computer scientists as well as to stimulate cooperation between the theoretical and the practical community in computer science. The major activities of the EATCS are: * Organization of ICALP, the International Colloquium on Automata, Languages and Programming;Brauer, Ute; Brauer, WilfriedEuropean Association for Theoretical Computer Science / About the Association / Silver Jubilee of EATCS/ref> * Publication of the ''Bulletin of the EATCS''; * Publication of a series of monographs and texts on theoretical computer science; * Publication of the journal ''Theoretical Computer Science''; * Publication of the journal '' Fundamenta Informaticae''. EATCS Award Each year, the EATCS Award is awarded in recognition of a distinguished career in theoretical computer scienc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
