About Me

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


See my list of publications on DBLP.



Feel free to contact me via mail (swinter [at] ulb [dot] ac [dot] be) or at my office, Building NO, Room N108. Also, check out my Instagram drone.and.sea.


Made with Jekyll using the Researcher theme.