About Me

Since 2023, I am a tenured associate professor (Maîtresse de Conférences) at Université Paris Cité and a member of the automata and applicatons team of IRIF.

From 2019 to 2023, I was a postdoctoral researcher in the team of Emmanuel Filiot in the Formal Methods and Verification group at Université libre de Bruxelles.

Between 2014 and 2018, I did my PhD in Computer Science under the supervision of Christof Löding in the Logic and Theory of Discrete Systems group at RWTH Aachen University. Before that, I studied Computer Science, also at RWTH Aachen University.

In my free time I enjoy taking 360° and drone photos. Have a look at my Instagram feeds sarah.tinyplanets and drone.and.sea. Or visit my pixelfed account sarah_360 instead.


See my profiles on DBLP / Scholar / Orcid.

Journal Papers

Conference Papers

Workshop Papers


Selected Talks


sarah [dot] winter [at] irif [dot] fr

See on my IRIF website.


Made with Jekyll using the Researcher theme. Last updated on September 6, 2023.