Seminars by Tom Henzinger

Thomas A. Henzinger , president of IST Austria (Institute of Science and Technology Austria), will visit GSSI on 22th May 2018. Some information on our guest is available here: Web site , Google Scholar , DBLP. Two seminars will be provided:

11.30 am, GSSI Library Room
TITLE: An introduction to the Institute of Science and technology Austria

4.00 pm, GSSI main Lecture Hall, Rectorate Building
TITLE: Computer Science versus Computational Science
ABSTRACT: Computational science is an analytic science, which uses computation to make sense of given artifacts, such as data produced by experiments and equations produced by theories. Computer science is a synthetic science, which builds artifacts that compute, including abstract artifacts such as algorithms and models of computation, and concrete artifacts such as hardware and software. Among the main organizing principles of computer science are execution, composition, and abstraction. They address the question of how complex artificial systems can be built from atomic units of computation (such as the switching of a transistor, the execution of a Java instruction, or the query of a database). We argue that fundamental ideas from computer science – including execution, composition, and abstraction – can contribute also to our understanding of complex natural systems.