Research

Interests:

  • Decision procedures for Set Theory
  • Logic in Computer Science
  • Algorithmica 
  • Model Checking and Verification
  • Computational Biology
  • Bioinformatics

Publications:

  

Editorial board: