Forskar i fundamentala algoritmer, automatateori, och maskininlärningens teori. Undervisar inom alla dessa ämnen.
Undervisar varierade kurser i programmering och beräkningsteori, t.ex. kurserna Datavetenskapens Grunder och Beräkningskomplexitet, samt sommarkursen Programmering för Effektiv Problemlösning.