Categoria:
Seminário
Onde:
Híbrido
Local:
Sala de Seminários do DI e ZOOM
Descrição:
Marco Giunti is a Research Associate at the University of Oxford. Previously, he worked in top-level research centers including NOVA LINCS, University of Lisbon, and Ecole Polytechnique. He participated in more than twenty national and international research projects, and co-led one. He co-chaired the Programming Languages track of the last two editions of the Symposium On Applied Computing. His research topics lay in the area of programming languages and formal verification. In recent years, his main attention is the development, implementation, and mechanisation of type-based static analysis techniques for concurrent and object-oriented languages.
