Main Research topics
Abstract Interpretation, Static Program Analysis, Language-based
Security, Information Flow, Type Systems, Functional Languages,
Program Slicing, Cost Analysis, Resource-Usage Analysis, Termination
Analysis, Java Bytecode, Concurrent Languages, Heap Analysis,
Acyclicity Analysis.
My CV (last
updated: May 17th, 2013)
|