VIRTEMA

My research interests include: finite model theory, logic in computer science, logics for dependence and independence, modal logics, logics for verification, logical foundations of neural networks, logical foundations of quantum information theory, computational complexity, and logics with team semantics... Please, find my publications below grouped into topics, and slides for some of my talks behind the above links... If you are interested in doing a PhD related to my research areas, please contact me directly by email. Several funding schemes exist for both home and overseas students around the year.