Main Activities

Research Interests

Global Program Analysis, Verification, Debugging, and Optimization for Functional and Non-functional Properties (Time, Memory, Energy); Abstract Interpretation; Partial Evaluation; Parallelism and (Resource-Aware) Parallelizing Compilers; Constraint/Logic/Functional Programming Theory and Implementation; Abstract Machines; Computational Logic; Automatic Documentation Tools; Execution Visualization; Sequential and Parallel Computer Architecture.

Publications at DBLP and Google Scholar profile

Other info (usually not very up to date):