Research Interests:

  • Formal methods for program verification and analysis
  • Jolie and Service Oriented Computing
  • Constraint programming
  • Logic programming

  • See also the DISI Jolie Laboratory.


    Click here to return to my Home Page.