Virtuaalsed masinad
Uurib virtuaalmasinate tehnoloogiaid kõigis neid kasutavates distsipliinides, määratledes ühtse distsipliini. See töö hõlmab teemasid käskude emuleerimisest, dünaamilisest programmi tõlkimisest ja optimeerimisest, kõrgetasemelistest virtuaalmasinatest (sh Java ja CLI) ning süsteemivirtuaalmasinatest nii ühekasutajasüsteemidele kui ka serveritele.
