|
Christoph Benzmüller
Christoph Benzmüller is a German computer scientist whose research interests include formalisation of rational arguments by using symbolic artificial intelligence. He has been professor at the University of Bamberg since 2022, in charge of the chair for AI Systems Engineering, and at the FU Berlin since 2021. Education and career Benzmüller studied computer science at Saarland University from 1989. He completed his studies in 1995 with a diploma. He then completed his doctorate under in 1999 on the subject of Equality and Extensionality in Higher-Order Theorem Proving, supervised by Michael Kohlhase and Frank Pfenning. After spending time abroad in Birmingham and Edinburgh, he worked as a university lecturer at Saarland University from 2001 to 2008, including a research stay in Cambridge. He was then a professor at the in Bruchsal until 2009. Benzmüller gained his habilitation at Saarland University in 2008 and at the FU Berlin in 2012. After research stays in Stanford and Lu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Bamberg
The University of Bamberg () in Bamberg, Germany, specializes in the humanities, cultural studies, social sciences, economics, and applied computer science. Campus The university is partly housed in historical buildings in Bamberg's Old Town. These include the former Jesuit college (Theology), the former Hochzeitshaus (History), the old slaughterhouse (Earth Science), and the former fire station (Oriental Studies). The departments of Languages and Literature are partly housed in buildings which once belonged to the Kaiser-Heinrich High School. The Social Sciences and Economics department, which accommodates a large proportion of the students, are in Feldkirchenstrasse. The former ERBA cotton mill, on an island in the Regnitz, has been acquired to create student apartments in the red-brick building, as well as in an adjoining new 14,000m2 building. Organization The university today has four faculties: *Faculty of Humanities *Faculty of Social Sciences, Economics and Business ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Federation Of German Scientists
The Federation of German Scientists - VDW (Vereinigung Deutscher Wissenschaftler e. V.) is a German non-governmental organization. History Since its founding 1959 by Carl Friedrich von Weizsäcker, Otto Hahn, Max Born and further prominent nuclear scientists, known as Göttinger 18, who had previously publicly declared their position against the nuclear armament of the German Bundeswehr, the Federation has been committed to the ideal of ''responsible Wissenschaft''. The founders were almost identical to the " Göttinger 18" (compare the historical Göttingen Seven). Both the "Göttingen Manifesto" and the formation of the VDW were an expression of the new sense of responsibility felt by Otto Hahn and some scientists after the dropping of atomic bombs on Hiroshima and Nagasaki. The VDW tried to mirror the American Federation of Atomic Scientists. VDW has been identified as Western Germany's Pugwash group. Members of VDW feel committed to taking into consideration the possible m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
German Computer Scientists
German(s) may refer to: * Germany, the country of the Germans and German things **Germania (Roman era) * Germans, citizens of Germany, people of German ancestry, or native speakers of the German language ** For citizenship in Germany, see also German nationality law **Germanic peoples (Roman era) * German diaspora * German language * 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 (disambig ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Living People
Purpose: Because living persons may suffer personal harm from inappropriate information, we should watch their articles carefully. By adding an article to this category, it marks them with a notice about sources whenever someone tries to edit them, to remind them of WP:BLP (biographies of living persons) policy that these articles must maintain a neutral point of view, maintain factual accuracy, and be properly sourced. Recent changes to these articles are listed on Special:RecentChangesLinked/Living people. Organization: This category should not be sub-categorized. Entries are generally sorted by family name In many societies, a surname, family name, or last name is the mostly hereditary portion of one's personal name that indicates one's family. It is typically combined with a given name to form the full name of a person, although several give .... Maintenance: Individuals of advanced age (over 90), for whom there has been no new documentation in the last ten ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Harald Lesch
Harald Lesch (born 28 July 1960) is a German physicist, astronomer, natural philosopher, author, television presenter, professor of physics at the Ludwig Maximilian University of Munich (LMU) and professor of natural philosophy at the Munich University of Philosophy. Education Lesch was born in Gießen, Hesse. After completing secondary school in 1978 at the Theo-Koch-Schule in Grünberg, Hesse, Lesch studied physics at the University of Giessen, then at the University of Bonn, where he completed his doctoral degree in 1987 and worked at the Max-Planck-Institute for Radio Astronomy. From 1988 to 1991 he was a research assistant at the state observatory at Heidelberg-Königstuhl. In 1992 he was a visiting professor at the University of Toronto. In 1994 he was habilitated at the University of Bonn. Work Since 1995, Lesch has been a professor of theoretical astrophysics at the Institute for Astronomy and Astrophysics at the LMU Munich. Additionally, he teaches natural ph ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Terra X
''Terra X'' is a brand used by the German Public broadcasting, public broadcaster ZDF since 2008. Between 1982 and 2008, the brand name was ''ZDF Expedition''. Some topics under the brand ''Terra X'' are documentaries about history, nature, archaeology and science. The documentaries are broadcast on ZDF. Repeats are also broadcast on ZDFinfo, ZDFneo, Phoenix (German TV station), Phoenix, Arte and 3sat. Background On 17 January 1982, the first ''ZDF Expedition'' documentary was broadcast. In 2008, the name was changed to ''Terra X''. The brand includes documentary series, where a topic will be covered deeper than in usual documentaries. Since the mid 1980s simulations of the past are included for visualization and since the 1990s some historical events are re-enacted with actors. Over 40 documentaries are produced per year under the brand of ''Terra X''. The average cost of a 45-minute-film amounts to €250,000. The documentaries of ''Terra X'' are sold and broadcast internat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
