This is an old revision of the document!

I'm Fabrizio, a Research Scientist at the SnT Centre for Security Reliability and Trust of the University of Luxembourg.

My Research interests regard Software Engineering, in particular Software Testing, Program Analysis and Automatic Debugging.

I've been an assistant professor at the University of Milano - Bicocca.

In the past I designed several anomaly detection techniques that use program instrumentation or log file analysis to support software developers in the debugging of software faults. I implemented most of these techniques in tools that are freely available, look at the tools page for a list of all the available tools. I recently worked on the integration between model checking and dynamic program analysis to automatically spot regression faults.