Topics

Our current lines of research are mentioned below.

Algorithms

  • Quantum algorithms and complexity
  • Group theoretic algorithms

Programs

  • High level frameworks for graph transformation
  • Measurement-based quantum calculi
  • Quantum cellular automata
  • typed linear lambda-calculus

Proofs

  • Automated reasoning
  • Term and formula schematisation
  • Extension of proof procedures
  • Deduction modulo permutative theories
  • Non-interference analysis
  • Satisfiability modulo theory (SMT)
  • Automated model building