- Open Day
- Peter Bro Miltersen (Aarhus University) - Real algebraic geometry in computational game theory
- Peter Bro Miltersen - Aarhus University
Peter Bro MiltersenAarhus University Real algebraic geometry was established as an important tool in game theory in the 1970s. In this talk, we report on more recent work applying this tool in the computational setting, covering joint works with Kousha Etessami, Soren Kristoffer Stiil Frederiksen, Kristoffer Arnsfelt Hansen, Michal Koucky, Niels Lauridsen, Troels Bjerre Sorensen and Elias Tsigaridas. The applications include design and analysis of algorithms solving games as well as complexity theoretic results.
- PIS - Vojtěch Pavlík - Live operating system kernel patching
- LECTURE ANNOTATION
Humanity's reliance on computers controlling critical processes is growing, starting with high speed trading in financial and commodity markets, over flight control to nuclear powerplants. For many of these systems, downtime is very expensive even when planned in advance.
This lecture will present live operating system kernel patching, from a historical, practical and theoretical point of view.
Vojtěch Pavlík is the director of SUSE Labs, a department of SUSE, a part of Micro Focus, a billion dollar software powerhouse. SUSE Labs develop,in cooperation with the open source community, core components of the Linux operating system - kernel, compiler and other tools. In his developer past Vojtěch Pavlík worked on support of USB or human input devices in Linux, work which is used today on every Linux and Android device. He enjoys solving interesting problems facing Linux, most recently he created the MOK concept to solve the inherent conflict between UEFI Secure Boot and Linux's open ideology.
ABOUT THE PRAGUE COMPUTER SCIENCE SEMINAR
The seminar will take place on the 4th Thursday of each month at 4:00pm (except June, July, August and December) alternately in the buildings of Faculty of Electrical Engineering, Czech Technical University, Karlovo nám. 13, Praha 2 and Faculty of Mathematics and Physics, Charles University, Malostranské nám. 25, Praha 1.
Its program will consist of a one-hour lecture followed by a discussion. The lecture should be based on an (internationally) exceptional or remarkable achievement of the lecturer, presented in a way which is comprehensible and interesting to a broad computer science community. The lectures will be in English.