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]   |
|
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]   |
|
Max Planck Institute For Informatics
The Max Planck Institute for Informatics (German: ''Max-Planck-Institut für Informatik'', abbreviated ''MPI-INF'' or ''MPII'') is a research institute in computer science with a focus on algorithms and their applications in a broad sense. It hosts fundamental research (algorithms and complexity, programming logics) as well a research for various application domains (computer graphics, geometric computation, constraint solving, computational biology). It is part of the Max-Planck-Gesellschaft, Germany's largest publicly funded body for foundation research. Research departments As of early 2018 the institute had five directors, called scientific members. These are: * Kurt Mehlhorn - algorithms and complexity department * Bernt Schiele - computer vision and multimodal computing department * Thomas Lengauer - computational biology and applied algorithmics department * Anja Feldmann - Internet architecture department * Hans-Peter Seidel - computer graphics department * Gerhard W ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Saarland University
Saarland University (german: Universität des Saarlandes, ) is a public research university located in Saarbrücken, the capital of the German state of Saarland. It was founded in 1948 in Homburg in co-operation with France and is organized in six faculties that cover all major fields of science. In 2007, the university was recognized as an excellence center for computer science in Germany. Thanks to bilingual German and French staff, the university has an international profile, which has been underlined by its proclamation as "''European University''" in 1950 and by establishment of Europa-Institut as its "''crown and symbol''" in 1951. Nine academics have been honored with the highest German research prize, the Gottfried Wilhelm Leibniz Prize, while working at Saarland University. History Saarland University, the first to be established after World War II, was founded in November 1948 with the support of the French Government and under the auspices of the University of ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Kurt Mehlhorn
Kurt Mehlhorn (born 29 August 1949) is a German theoretical computer scientist. He has been a vice president of the Max Planck Society and is director of the Max Planck Institute for Computer Science. Education and career Mehlhorn graduated in 1971 from the Technical University of Munich, where he studied computer science and mathematics, and earned his Ph.D. in 1974 from Cornell University under the supervision of Robert Constable. Since 1975 he has been on the faculty of Saarland University in Saarbrücken, Germany, where he was chair of the computer science department from 1976 to 1978 and again from 1987 to 1989. Since 1990 has been the director of the Max Planck Institute for Computer Science, also in Saarbrücken. He has been on the editorial boards of ten journals, a trustee of the International Computer Science Institute in Berkeley, California, and a member of the board of governors of Jacobs University Bremen. He also served on the Engineering and Computer Science jury ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
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]   |
|
Heinz Maier-Leibnitz-Preis
The Heinz Maier-Leibnitz-Preis (Heinz Maier-Leibnitz Prize), in honor and memory of the German physicist Heinz Maier-Leibnitz, is funded by the ''Bundesministerium für Bildung und Forschung'' (BMBF, German Ministry of Education and Research), and it is awarded by a selection committee appointed by the ''Deutsche Forschungsgemeinschaft'' (DFG, German Research Foundation) and the BMBF. Since 2013, there are ten recipients of the prize and each receives 20,000 Euros, which is an increase over the original 16,000 Euros that had been given to six recipients per year until 2012. Nominees for the award may be put forward by: *Members of the DFG Review Boards *Research universities of the Federal Republic of Germany *The ''Union der deutschen Akademien der Wissenschaften'' (Union of the German Academies of Sciences and Humanities)Union der deutschen Akademien der Wissenschaften' *The Max Planck Society *The Helmholtz Association of German Research Centres *The Fraunhofer Society *The G ... [...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]   |
|
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]   |
|
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 Germany. In 2019, the DFG had a funding budget of €3.3 billion. Function The DFG supports research in science, engineering, and the humanities through a variety of grant programmes, research prizes, and by funding infrastructure. The self-governed organization is based in Bonn and financed by the German states and the federal government of Germany. As of 2017, the organization consists of approximately 100 research universities and other research institutions. The DFG endows various research prizes, including the Leibniz Prize. The Polish-German science award Copernicus Award, Copernicus is offered jointly with the Foundation for Polish Science. According to a 2017 article in ''The Guardian'', the DFG has announced it will publish its re ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Subset Sum Problem
The subset sum problem (SSP) is a decision problem in computer science. In its most general formulation, there is a multiset S of integers and a target-sum T, and the question is to decide whether any subset of the integers sum to precisely T''.'' The problem is known to be NP. Moreover, some restricted variants of it are NP-complete too, for example: * The variant in which all inputs are positive. * The variant in which inputs may be positive or negative, and T=0. For example, given the set \, the answer is ''yes'' because the subset \ sums to zero. * The variant in which all inputs are positive, and the target sum is exactly half the sum of all inputs, i.e., T = \frac(a_1+\dots+a_n) . This special case of SSP is known as the partition problem. SSP can also be regarded as an optimization problem: find a subset whose sum is at most ''T'', and subject to that, as close as possible to ''T''. It is NP-hard, but there are several algorithms that can solve it reasonably quickly in pra ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
German Computer Scientists
German(s) may refer to: * Germany (of or related to) **Germania (historical use) * Germans, citizens of Germany, people of German ancestry, or native speakers of the German language ** For citizens of Germany, see also German nationality law **Germanic peoples (Roman times) * German language **any of the Germanic languages * German cuisine, traditional foods of Germany People * German (given name) * German (surname) * Germán, a Spanish name Places * German (parish), Isle of Man * German, Albania, or Gërmej * German, Bulgaria * German, Iran * German, North Macedonia * German, New York, U.S. * Agios Germanos, Greece Other uses * German (mythology), a South Slavic mythological being * Germans (band), a Canadian rock band * "German" (song), a 2019 song by No Money Enterprise * ''The German'', a 2008 short film * "The Germans", an episode of ''Fawlty Towers'' * ''The German'', a nickname for Congolese rebel André Kisase Ngandu See also * Germanic (other) * Germa ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Living People
Related categories * :Year of birth missing (living people) / :Year of birth unknown * :Date of birth missing (living people) / :Date of birth unknown * :Place of birth missing (living people) / :Place of birth unknown * :Year of death missing / :Year of death unknown * :Date of death missing / :Date of death unknown * :Place of death missing / :Place of death unknown * :Missing middle or first names See also * :Dead people * :Template:L, which generates this category or death years, and birth year and sort keys. : {{DEFAULTSORT:Living people 21st-century people People by status ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |