Inaugural Lectures of
Univ.-Prof. Dr. Georg Moser
Department of Computer Science, Theoretical Computer Science
Univ.-Prof. Jan Beutel, PhD
Department of Computer Science, Networked Embedded Systems
Wednesday, 14 December 2022
4 pm CEST
Großer Hörsaal, Technikerstraße 13b, EG, 6020 Innsbruck and via ONLINE (Zoom)
Registration is kindly requested by 6 December 2022 by email to Imren.Karsli@uibk.ac.at
Greetings from the Rector
Univ.-Prof. Dr. Dr. h.c. mult. Tilmann Märk
Welcome and introduction by the Dean
Univ.-Prof. Dr. Alexander Ostermann
Inaugural lectures
Theoretical Computer Science - From Abstraction to Automation
Univ.-Prof. Dr. Georg Moser
32 Milliseconds to the Matterhorn – On in-situ sensing and process understanding of natural hazards and climate change in mountain areas
Univ.-Prof. Jan Beutel, PhD
After the lecture we would like to invite you to a reception in front of Großer Hörsaal.
Univ.-Prof. Dr. Georg Moser
Georg Moser is a Full Professor of Theoretical Computer Science at the University of Innsbruck since February 2020. He studied Computer Science and Logic at the Vienna University of Technology and the University of Leeds, respectively. Prior to his appointment to full professor, he has been an associate professor at the University of Innsbruck, heading a reserach group on computation with bounded resources. His research interests centre around logic and program analysis. For the latter, a recent focus of his work is on probabilistic programming and Quantum computation. He has lead a number of national and international research consortia. He has acted as steering committee chair and member of international conference series and similar research consortia and continues to do so. Moreover, he has been chair of the IFIP Working Group 1.6. His expertise is frequently sought as a program committee member of most prominent conferences such as FSCD, LICS, etc. Further, he has frequently provided editorial services.
Univ.-Prof. Jan Beutel, PhD
Jan Beutel is a Full Professor of Computer Engineering at the University of Innsbruck since September 2020. He studied Electrical Engineering at the Swiss Federal Institute of Technology (ETH), Zurich and at the Berkeley Wireless Research Center. At ETH Zurich he has been heading a research group on networked embedded systems. In his research he has pioneered the use of in-situ wireless sensors for long-lived environmental monitoring and natural hazard mitigation applications, especially in high-mountain and polar areas leading to many highly cited publications. He has been involved in leadership in large research clusters such as NCCR-MICS, CCES, nano-tera.ch and the Swiss permafrost monitoring network PERMOS. On an international level is expertise is frequently sought as a program committee and steering board member of the most prominent conferences such as EWSN, SenSys, IPSN, DCOSS, DATE and EMSOFT. He is associate editor of Copernicus Earth System Science Data and Springer Natural Hazards.
Imren Karsli
Sekretariat
Databases and Information Systems
Universität Innsbruck
Institut für Informatik
Technikerstr.21a / Room 3S11
6020 Innsbruck
imren.karsli@uibk.ac.at
After the lecture we would like to invite you to a reception in front of Großer Hörsaal.
Data protection information
Photographs and/or films may be taken during this event. By participating in the event, you acknowledge that photographs and video footage of you will be used for press coverage and published in various (social) media, publications and on websites of the University of Innsbruck. For further information on data protection, please see our privacy policy at: www.uibk.ac.at/datenschutz/index.html.en
We ask that you travel in an environmentally friendly manner! By public transport, on foot or by bicycle. There are plenty of bicycle parking spaces available. Information on public transport can be found at www.vvt.at