ABSTRACT. Logical analysis in formal methods (FM) require mathematically rigorous modeling of the target system. This may be easy for conventional software (where programs can serve as models), but not so for emerging ICT systems such as cyber-physical and statistical ML systems. When faced with a novel application domain such as automated driving (AD)—it is a jungle with all the hard-to-model nuisances such as physical components, ML-based E2E controllers, human drivers and pedestrians, and regulations—cutting out an ‘FM angle’ from it is therefore challenging yet important. I will share my experience of doing so in this talk. I will also make a (perhaps biased) case on the roles of category theory, a subfield of FM that seems quite the opposite of practical application, in this “reality-math matching” problem.

ABSTRACT. As researchers presenting our work at conferences and workshops, we routinely face the challenge of condensing complex ideas into a short presentation. Unfortunately, this often leads to dense slides and too many new notions introduced in rapid succession. Consequently, listeners can become quickly overwhelmed, losing focus within the first few minutes. I will discuss how to properly prepare a talk so that it is accessible to a large part of the audience while still effectively getting your message across.

ABSTRACT. This talk explores how proof systems are formed, and how intermediate inference steps that are not sound in isolation can still contribute to correct reasoning when embedded in an appropriate structure. We also briefly reflect on how similar patterns appear in the development of ideas in research, where intermediate reasoning is often only validated within a broader structural context.

ABSTRACT. In this talk I will argue that, contrary to popular belief, PhD supervisors are human too. I will then proceed to provide some pointers on how to manipulate them to enable you to complete your PhD thesis in time.

ABSTRACT. Topics in our research field are inherently complex, and staying up to date with progress is a constant challenge. Crucially, research environments are also shaped by a wealth of tacit knowledge and implicit standards. In my talk, I will argue that it is important to reflect on and communicate about learning journeys—what we have learnt, how we have learnt it, and what we should perhaps unlearn. I will explore how we can have these conversations in a way that builds a sense of belonging to the community. Along the way, I will share my thoughts on the role of relativity and subjectivity in the process. The talk builds on my Women in Logic 2024 presentation 'Constructive Interactions' and integrates the results from a subsequent survey I conducted.

ABSTRACT. I always achieve more in my work when I give myself freedom to play and explore. When the process is fun, it is its own reward, regardless of the outcome. In research, play is how projects get started, and (fun-induced) persistence is how they are brought to fruition.