About Me

Since 2019, I am holding a post doctoral position with 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.

Publications

See my profiles on DBLP / Scholar / Orcid.

Miscellaneous

Conference Papers

Journal Papers

Theses

Selected Talks

Contact

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 May 11, 2021.