[word=interests | lemma=research] [□=□] □
[word=interests | lemma=research] [lemma=□] □
[word=interests | lemma=research] [word=□] □
His research interests include program analysis , dynamic compilation , and virtual machines . Her interests include programs that engage students and faculty in community issues that cut across food systems and the environment , and those that build relationships between farm and non-farm people . Her interests include program analysis and program understanding tools for explicitly parallel and concurrent object-oriented programs . Professor Leavens 's research interests include programming and specification language design and semantics , program verification , and formal methods , with an emphasis on the object-oriented and aspect-oriented paradigms . Those interests include programming ( and since we are on the web , most notably in Java ) , the topic of evolution , and science fiction . His research interests include program optimization , embedded systems , computer architecture , and computer security .