|
Contact info
|
My Tweets |
||
ResearchMy interests include computational complexity, algorithms, combinatorics, and applications of mathematical logic to the theory of computation. See my publications and other research-related activities, including the slides of some of my talks. |
TeachingAlgorithms and data structures, automata theory, computability theory, computational complexity, and introduction to programming for students in Computer Engineering at FIB and Mathematics at FME. See my current teaching activities. |
||
My research groupI am a member of the ALBCOM Research Group. I am also the principal investigator of the ERC-CoG project AUTAR: A Unified Theory of Algorithmic Relaxations, funded for the period 2015-2019 by the research funding agency of the European Commission (ERC). |
Other thingsHave a look. |