<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Aptos;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Aptos",sans-serif;
mso-ligatures:standardcontextual;
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
span.E-MailFormatvorlage18
{mso-style-type:personal-compose;
font-family:"Aptos",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:11.0pt;
mso-ligatures:none;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:70.85pt 70.85pt 2.0cm 70.85pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="DE" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal">Dear all,<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><b><span lang="EN-GB" style="font-size:14.0pt;color:#8DAE10">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”<o:p></o:p></span></b></p>
<p class="MsoNormal"><b><span lang="EN-GB" style="font-size:14.0pt;color:#8DAE10"><o:p> </o:p></span></b></p>
<p class="MsoNormal"><b><span lang="EN-GB">When?</span></b><span lang="EN-GB"> July 2, 2-6 p.m.
<o:p></o:p></span></p>
<p class="MsoNormal"><b><span lang="EN-GB">Where? </span></b><span lang="EN-GB">Building MC, Open Space
<o:p></o:p></span></p>
<p class="MsoNormal"><b><span lang="EN-GB">Registration: </span><a href="https://terminplaner6.dfn.de/b/d9927498e5cf41a371d880faa7291df1-1273525"><span lang="EN-GB">https://terminplaner6.dfn.de/b/d9927498e5cf41a371d880faa7291df1-1273525</span></a></b><b>
<span lang="EN-GB"><o:p></o:p></span></b></p>
<p class="MsoNormal"><b><span lang="EN-GB">Program<o:p></o:p></span></b></p>
<p class="MsoNormal"><span lang="EN-GB">2-3 p.m.: Inaugural lecture Flavio Toffalini "On Observing the Unobservable: A Journey Through Bugs, Ideas, and (In)Visible Impact"<br>
3-4 p.m.: Break with coffee and cake<br>
4-5 p.m.: Inaugural lecture Yannic Noller "My Journey to Pro-active Software Resilience"<br>
5-6 p.m.: Get together with pizza<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB">Abstract inaugural lecture Flavio Toffalini:<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB">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.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB">Abstract inaugural lecture Yannic Noller:<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB" style="font-size:12.0pt">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.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB">We are looking forward to welcoming many of you! Please forward the invitation to your group members.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB">Best wishes <o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB">Charlotte <o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;color:#003560;mso-fareast-language:DE">Charlotte Schab, M.Sc.<o:p></o:p></span></p>
<p class="MsoNormal"><b><span style="font-size:10.0pt;color:#003560;mso-fareast-language:DE">RUHR-UNIVERSITÄT BOCHUM<o:p></o:p></span></b></p>
<p class="MsoNormal"><b><span style="font-size:10.0pt;color:#8DAE10;mso-fareast-language:DE">FAKULTÄT FÜR INFORMATIK<o:p></o:p></span></b></p>
<p class="MsoNormal"><span lang="EN-GB" style="font-size:9.0pt;color:#003560;mso-fareast-language:DE">Marketing und PR | Marketing and PR<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB" style="font-size:9.0pt;color:#003560;mso-fareast-language:DE"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="font-size:9.0pt;color:#003560;mso-fareast-language:DE">Phone: +49-(0)234 / 32-19251<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="font-size:9.0pt;color:#003560;mso-fareast-language:DE">Pers. Email:
</span><a href="mailto:charlotte.schab@rub.de"><span lang="EN-US" style="font-size:9.0pt;color:#003560;mso-fareast-language:DE">charlotte.schab@rub.de</span></a><span style="font-size:9.0pt;color:#003560;mso-fareast-language:DE">
</span><span lang="EN-US" style="font-size:9.0pt;color:#003560;mso-fareast-language:DE"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.0pt;color:#003560;mso-fareast-language:DE">Internet:
</span><a href="http://www.informatik.rub.de/"><span style="font-size:9.0pt;color:#0563C1;mso-fareast-language:DE">www.informatik.rub.de</span></a><span style="font-size:9.0pt;color:#003560;mso-fareast-language:DE"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.0pt;color:#003560;mso-fareast-language:DE"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.0pt;color:#003560;mso-fareast-language:DE">Universitätsstraße 150, D-44801 Bochum<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="font-size:9.0pt;color:#003560;mso-fareast-language:DE">MC, 1<sup>st</sup> floor, room 62<o:p></o:p></span></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>