- Programmide loomise ja verifitseerimise formaalsed meetodid
- Tüübiteooria
- Ohutuskriitiliste ja reaalajasüsteemide modelleerimine ja verifitseerimine
- Programmeerimiskeelte semantika
- Funktsionaalne programmeerimine
- Linux sardsüsteemides
- Tarkvara mudelipõhine testimine
