USI - Email

Archive / INF Seminars / INF_2022_10_05_Mira_Mezini

USI - Email

	A Tour of Programming Support for Decentralized Data-Driven Software, Static Code Analyses, and AI - A Glimpse of Research at Software Technology Lab, TU Darmstadt

Host: Prof. Patrick Eugster

Wednesday

05.10

USI Campus EST, room D0.03, Sector D

14:30-15:30


	Mira Mezini Technische Universität Darmstadt, Germany

Abstract:
Prof. Mezini will give a high-level overview of the research profile of her lab at TU Darmstadt and selectively elaborate on specific topics. The main focus will be on programming support for decentralized data-driven software with formally-proven consistency and security guarantees as offered by REScala (rescala-lang.com) - a library-based extension of Scala. Subject of time availability, she will touch upon two more topics concerning modular programming of static analyses and support for it in the OPAL static analysis framework, as well as preliminary work at the intersection between programming and artificial intelligence.

Biography:
Mira Mezini is Professor of Computer Science at Technische Universität Darmstadt. She has taught and conducted research as a visiting professor at Northeastern University in Boston in the USA (1997 - 1999) and at Lancaster University in the UK (2013 - 2016). Mira was Dean (2013-2014) of Computer Science and Vice President of TU Darmstadt (2014-2019), is representing TUDa in the Board of the National Research Center for Applied Cybersecurity ATHENE and co-leading hessian.AI, the Hessian Center for Artificial Intelligence (extended bio)