About Me

Since 2019, I am a postdoctoral researcher supervised by 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.


See my profiles on DBLP / Scholar / Orcid.


Conference Papers

Journal Papers


Selected Talks


swinter [at] ulb [dot] ac [dot] be

Building ‘NO’, 8th floor · Campus de la Plaine, CP 212 · Boulevard du Triomphe, ACC.2 · 1050 Bruxelles, Belgium


Made with Jekyll using the Researcher theme. Last updated on October 29, 2022.