[AI-announce] Reminder: Inaugural lectures Flavio Toffalini and Yannic Noller

[Schab, Charlotte]

Dear all,

this is a reminder to register for Flavio Toffalini's ("On Observing the Unobservable: A Journey Through Bugs, Ideas, and (In)Visible Impact") and Yannic Noller's ("My Journey to Pro-active Software Resilience") inaugural lectures on July 02!

Register here: https://terminplaner6.dfn.de/b/d9927498e5cf41a371d880faa7291df1-1273525

Best wishes and have a good start into the week
Charlotte

Von: Schab, Charlotte
Gesendet: Montag, 16. Juni 2025 15:30
An: 'informatik-fakultaet at rub.de' <informatik-fakultaet at rub.de>
Betreff: Invitation: Inaugural lectures Flavio Toffalini and Yannic Noller

Dear all,

the Faculty of Computer Science cordially invites you to a double debut with the inaugural lectures of Prof. Flavio Toffalini "On Observing the Unobservable: A Journey Through Bugs, Ideas, and (In)Visible Impact" and Prof. Yannic Noller "My Journey to Pro-active Software Resilience"

When? July 2, 2-6 p.m.
Where? Building MC, Open Space
Registration: https://terminplaner6.dfn.de/b/d9927498e5cf41a371d880faa7291df1-1273525
Program
2-3 p.m.: Inaugural lecture Flavio Toffalini "On Observing the Unobservable: A Journey Through Bugs, Ideas, and (In)Visible Impact"
3-4 p.m.: Break with coffee and cake
4-5 p.m.: Inaugural lecture Yannic Noller "My Journey to Pro-active Software Resilience"
5-6 p.m.: Get together with pizza

Abstract inaugural lecture Flavio Toffalini:

This inaugural lecture offers me the opportunity to reflect on my journey as a researcher: beginning with my entry into academia, continuing through my PhD, and culminating in my early steps as an independent principal investigator. I will discuss the main topics I have had the opportunity to work on, ranging from the use of Trusted Execution Environments to protect critical software components, to exploring new approaches for bug detection, and to investigating yet-unknown security issues. I will take this occasion to reflect on both successes and failures, and how they have shaped my perspective as a researcher over the years.

Abstract inaugural lecture Yannic Noller:

In this lecture, I will reflect on my journey toward making software "better" (i.e., more resilient) through automated software engineering. We will explore key approaches and techniques for automatically detecting bugs and vulnerabilities, and generating corresponding patches. I will begin by discussing the roles of fuzzing and symbolic execution in automated testing and repair, including their integration for differential analysis. This will lead into a case study on the detection, quantification, and repair of software side-channel vulnerabilities. Next, I will delve into automated program repair using semantic analysis and hybrid techniques, addressing both traditional software and machine learning models. I will also highlight our recent initiatives to enhance computer science education through automation. Finally, I will present my latest work at the intersection of repair, formal methods, and large language models, and share a vision for the future of software engineering.

We are looking forward to welcoming many of you! Please forward the invitation to your group members.

Best wishes
Charlotte

Charlotte Schab, M.Sc.
RUHR-UNIVERSITÄT BOCHUM
FAKULTÄT FÜR INFORMATIK
Marketing und PR | Marketing and PR

Phone:                 +49-(0)234 / 32-19251
Pers. Email:        charlotte.schab at rub.de<mailto:charlotte.schab at rub.de>
Internet:             www.informatik.rub.de<http://www.informatik.rub.de/>

Universitätsstraße 150, D-44801 Bochum
MC, 1st floor, room 62

-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <http://lists.ruhr-uni-bochum.de/pipermail/ai-announce/attachments/20250623/76b90b02/attachment.htm>