Prof. Dr. Alexandra Silva (12-Fev-2019, 14:15 – 15:15)

Title: CLAM: Coalgebraic Learning for Automated Modelling

Abstract: Automata are one of the simplest and pervasive structures in Computer Science.  Despite their simplicity, automata play an important role in many tasks notably in modelling and verification of hardware and software systems. Coalgebra has emerged in the last two decades as a mathematical framework to uniformly describe semantics and algorithms of different types of automata and, more generally, state-based systems. In this talk, I will describe how coalgebraic techniques can be used to understand and generalize automata learning algorithms. This opens the door to automated modelling of a large class of systems which can be used in verification. 

Short Bio: Alexandra Silva is a theoretical computer scientist whose main research focuses on semantics of programming languages and modular development of algorithms for computational models. A lot of her work uses the unifying perspective offered by coalgebra, a mathematical framework established in the last decades.  Alexandra is currently a Royal Society Wolfson fellow and Professor of Algebra, Semantics, and Computation at University College London. Previously, she was an assistant professor in Nijmegen and a post-doc at Cornell University, with Prof. Dexter Kozen, and a PhD student at the Dutch national research center for Mathematics and Computer Science (CWI), under the supervision of Prof. Jan Rutten and Dr. Marcello Bonsangue. She was the recipient of the Needham Award 2018, the Presburger Award 2017, the Leverhulme prize 2016, and an ERC starting Grant in 2015. 

Eng. Tiago Maurício (12-Fev-2019, 16:00 – 17:00)

Title:Researching DevOps

Abstract: DevOps philosophy has proven to reduce the time to market in businesses by allowing a faster-developing cycle. With continuous integration and continuous delivery, a product can be delivered faster and fixed on the fly. Does that make sense in a research world? Can the same philosophy be applied to research processes? A non-researcher view on the matter.

Short Bio: Tiago is a 30year old geek with a big passion for computers and infrastructures. Currently working as an Infrastructure Architect at the European Commission, he’s been a user of opensource software for almost 15 years, building his career on it in about half of that time. Also likes photography, electronics, and the occasional beer.