Date: Tuesday 22 March  @ 09:30 – 10:30 (UK time) Presenter: Manuel Rigger manuel.rigger@inf.ethz.ch Affiliation: ETH Zurich Brief Bio: Manuel Rigger will join the National University of Singapore in summer 2022 as an Assistant Professor. Currently, he is a postdoctoral researcher in the Advanced Software Technologies (AST) Lab at ETH Zurich, mentored by Zhendong Su. […]

Abstract The recent development of IoT and smart spaces demand the availability of location context in every device and everywhere. However, improving the user’s experience under the “smart” schema contradicts the tedious calibration commonly operated to enable indoor positioning. Until now, modelling signal propagation, such as Bluetooth and WiFi, set the pillars for indoor positioning […]

Abstract Developing a new programming language, constructing a new domain-specific compiler, writing a new verification tool, optimizing a large application, designing a microprocessor, or verifying some of its components, all of these tasks require today a multi-year project. While most of the underlying problems are inherently hard and cannot be accelerated magically, we are additionally […]

About speaker: Martin Berger is a formal verification expert in the ISA research team. Before joining Huawei, he was a senior lecturer at the University of Sussex. He did his PhD at Imperial College London, and his undergraduate at Technical University Berlin. His academic work has been on formal methods in programming languages, in particular typing […]