|
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] |
European Association For 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 science. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Xi Chen
Xi Chen (Chinese: 陈汐) is a computer scientist. He is an associate professor of computer science at Columbia University. Chen won the 2021 Gödel Prize and Fulkerson Prize for his co-authored paper "Complexity of Counting CSP with Complex Weights" with Jin-Yi Cai. Biography Chen received his B.S. and Ph.D. from Tsinghua University. He was a postdoctoral fellow at Institute for Advanced Study, Princeton University, University of Southern California, and joined the Columbia faculty in 2011. Chen's research focuses on computational complexity theory. He also received a Presburger Award from the European Association for Theoretical Computer Science in 2015 and a Sloan Research Fellowship The Sloan Research Fellowships are awarded annually by the Alfred P. Sloan Foundation since 1955 to "provide support and recognition to early-career scientists and scholars". This program is one of the oldest of its kind in the United States. ... in 2012. References Living peo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dor Minzer
DOR, Dor, or DoR may refer to: Computer games and characters * '' Advance Wars: Days of Ruin'', a turn-based tactics video game for the Nintendo DS * Dor, a magician in the fictional Xanth universe; see Magicians of Xanth * ''WWE Day of Reckoning'', a Nintendo Gamecube video game Geography * Dör, a village in Hungary * Dor, Iran, a village in Isfahan Province, Iran * Dor, Israel, a moshav in northern Israel * Ein Dor, a kibbutz in northern Israel * Tel Dor, an archaeological site in Israel on the site of Dor or Dora, an ancient royal city of the Canaanites * Dori Airport, an airport in Burkina Faso with the IATA code DOR * Dorset, county in England, Chapman code People Given name * Dor Bahadur Bista (born ca. 1924–1926), Nepalese anthropologist, social scientist and activist * Dor Daniel (born 1982), Israeli singer songwriter * Dor Elo (born 1993), Israeli football player * D'or Fischer (born 1981), American-Israeli basketball player * Dor Guez (born ca. 1980), Israeli a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Shayan Oveis Gharan
Shayan ( fa, شایان) is a Persian given name that may refer to * Shayan Chowdhury Arnob (born 27 January 1979), Bangladeshi musician, singer and composer * Shayan Modarres (born 1984), Iranian-American civil rights activist and attorney * Shayan Munshi, Indian model and actor {{Given name Persian masculine given names ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dmitriy Zhuk
Dmitri (russian: Дми́трий); Church Slavic form: Dimitry or Dimitri (); ancient Russian forms: D'mitriy or Dmitr ( or ) is a male given name common in Orthodox Christian culture, the Russian version of Greek Demetrios (Δημήτριος ''Dēmētrios'' ). The meaning of the name is "devoted to, dedicated to, or follower of Demeter" (Δημήτηρ, ''Dēmētēr''), "mother-earth", the Greek goddess of agriculture. Short forms of the name from the 13th–14th centuries are Mit, Mitya, Mityay, Mit'ka or Miten'ka (, or ); from the 20th century (originated from the Church Slavic form) are Dima, Dimka, Dimochka, Dimulya, Dimusha etc. (, etc.) St. Dimitri's Day The feast of the martyr Saint Demetrius of Thessalonica is celebrated on Saturday before November 8 ld Style October 26 The name day (именины): October 26 (November 8 on the Julian Calendar) See also: Eastern Orthodox liturgical calendar. The Saturday before October 26/November 8 is called Demetrius ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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] |
Karl Bringmann
Karl Bringmann is a German theoretical computer scientist. He is currently senior researcher at Max Planck Institute for Informatics. Biography Bringmann earned his doctorate from Saarland University under the supervision of Kurt Mehlhorn. In 2019, Bringmann received the Presburger Award from the European Association of Theoretical Computer Science for his work on lower bounds. The same year, he received the Heinz Maier-Leibnitz Prize from the German Research Foundation The German Research Foundation (german: Deutsche Forschungsgemeinschaft ; DFG ) is a German research funding organization, which functions as a self-governing institution for the promotion of science and research in the Federal Republic of Germ ... for his work on fine-grained complexity and a near-linear pseudopolynomial time algorithm for the subset sum problem. References {{DEFAULTSORT:Bringmann, Karl German computer scientists Living people Year of birth missing (living people) ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alexandra Silva
Alexandra Silva (born 1984) is a Portuguese computer scientist and Professor at Cornell University. She was previously Professor of Algebra, Semantics, and Computation at University College London. Awards and honours Silva won a Philip Leverhulme Prize in engineering in 2016. She won the Presburger Award, awarded each year to "a young scientist for outstanding contributions in theoretical computer science, documented by a published paper or a series of published papers", in 2017, and the Roger Needham Award The Roger Needham award is a prize given scientists who are recognised for important contributions made to computer science research The British Computer Society established an annual Roger Needham Award in honour of Roger Needham in 2004. It is a ... in 2018. References 1984 births Living people Portuguese computer scientists Portuguese women computer scientists Women logicians University of Minho alumni {{Portugal-scientist-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mark Braverman (mathematician)
Mark Braverman (born 1984) is an Israeli mathematician and theoretical computer scientist. He was awarded an EMS Prize in 2016 as well as Presburger Award in the same year. In 2019, he was awarded the Alan T. Waterman Award. In 2022 he won the IMU Abacus Medal. He earned his doctorate from the University of Toronto in 2008, under the supervision of Stephen Cook. After this, he did post-doctoral research at Microsoft Research and then joined the faculty at University of Toronto. In 2011, he joined the Princeton University department of computer science. In 2014 he was an Invited Speaker with talk ''Interactive information and coding theory'' at the International Congress of Mathematicians in Seoul Seoul (; ; ), officially known as the Seoul Special City, is the capital and largest metropolis of South Korea.Before 1972, Seoul was the ''de jure'' capital of the Democratic People's Republic of Korea (North Korea) as stated iArticle 103 .... Braverman is the son of mathema ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
David P
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] |
Mojżesz Presburger
Mojżesz Presburger, or Prezburger, (December 27, 1904 – 1943) was a Polish Jewish mathematician, logician, and philosopher. He was a student of Alfred Tarski, Jan Łukasiewicz, Kazimierz Ajdukiewicz, and Kazimierz Kuratowski. He is known for, among other things, having invented Presburger arithmetic as a student in 1929 – a form of arithmetic in which one allows induction but removes multiplication, to obtain a decidable theory. He was born in Warsaw on December 27, 1904 to Abram Chaim Prezburger and Joehwet Prezburger (née Aszenmil). On May 28, 1923, he got his matura from the . On October 7, 1930, he was awarded master in mathematics from Warsaw University. He died in the Holocaust, probably 1943.; Here: p.48, footnote 128 In 2010, the European Association for Theoretical Computer Science began conferring the annual Presburger Award named after him to a young scientist (in exceptional cases to several young scientists) for outstanding contributions in theoretical comput ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Erik Demaine
Erik D. Demaine (born February 28, 1981) is a professor of computer science at the Massachusetts Institute of Technology and a former child prodigy. Early life and education Demaine was born in Halifax, Nova Scotia, to artist sculptor Martin L. Demaine and Judy Anderson. From the age of 7, he was identified as a child prodigy and spent time traveling across North America with his father. He was home-schooled during that time span until entering university at the age of 12. Demaine completed his bachelor's degree at 14 years of age at Dalhousie University in Canada, and completed his PhD at the University of Waterloo by the time he was 20 years old. Demaine's PhD dissertation, a work in the field of computational origami, was completed at the University of Waterloo under the supervision of Anna Lubiw and Ian Munro. This work was awarded the Canadian Governor General's Gold Medal from the University of Waterloo and the NSERC Doctoral Prize (2003) for the best PhD thesis an ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
