Research Interests:

  • Formal methods for program verification and analysis
  • Theory of (concurrent) constraint programming
  • Program transformations
  • Languages for real-time applications
  • Logic programming

    • Here are some selected papers.

    List of publications.

    Click here to return to my Home Page.