He is active in the Optimization, Formal Methods, Cloud Computing, and DevOps fields. His research interests also include Service-Oriented Computing, Concurrent Languages, AI Planning, and Machine Learning. He is the main developer of optimizations tools and utilities, used both in academia and industry.