JONNI VIRTEMA

I am a logician working as a postdoctoral researcher in the Databases and Theoretical Computer Science Research Group at Hasselt University. My research interests include: decidability and computational complexity of logics, dependence logic, dependencies in database theory, modal logics, finite model theory, and distributed computing. Please, find my publications and slides for some of my talks behind the links above.

From the beginning of 2016 until mid 2017 I worked as a postdoctoral researcher in the Logic group of the University of Helsinki. For the calendar year 2015 I was a postdoctoral researcher at the Institute for Theoretical Computer Science of the Leibniz University Hanover

Contact information:
Campus Diepenbeek
Hasselt University
Agoralaan Gebouw D
BE 3590 Diepenbeek, Belgium

Email: firstname.lastname('at’)uhasselt.be
Picture