news 2017

ERC Consolidator Grants for Physicist Stephanie Reich and Computer Scientist Frank Noé No 332/2017 from Nov 28, 2017 Researchers at Freie Universität Berlin have been awarded two prestigious grants from the European Research Council (ERC). Physicist Stephanie Reich and computer scientist Frank Noé won ERC Consolidator Grants, as the ERC announced on Tuesday in Brussels.

Automated Theorem Prover (ATP) Leo-III Developed at Freie Universität Berlin Took Second Place in Higher-Order Logic Category in World Championship No 223/2017 from Aug 21, 2017 The Leo-III computer system has been under development since 2014 by researchers Alexander Steen and Max Wisniewski under the direction of Dr. Christoph Benzmüller at the Dahlem Center for Machine Learning and Robotics at the Institute of Computer Science, Freie Universität Berlin.

Research news Quantum technology is seen as an important future-oriented technology: smaller, faster and with higher performance than conventional electronics. However, exploiting quantum effects is difficult because nature's smallest building blocks have properties quite distinct from those we know from our everyday world.

Research news More traffic, heavier loads: When bridges in Germany over the age of 50 are evaluated according to current standards, calculations show that many of them theoretically have substantial deficiencies. Nevertheless many bridges exhibit no damage that confirms the calculated structural shortfalls.

In addition to the mathematical and methodological foundations of motion studies, research at the Heidelberg Center for Motion Research will also include the connection between movement, the psyche, cognition and the body. With the support of the Carl Zeiss Foundation, an interdisciplinary center for motion research took up its work at Heidelberg University on 1 February of this year.