Our current lines of research are mentioned below.

Rule-based programming (contact: R. Echahed)

  • High level frameworks for graph transformation
  • Parallel graph rewriting
  • Verification of graph transformations

Automated Reasoning (contact: N. Peltier)

  • Separation logic
  • Superposition calculus
  • Inductive reasoning
  • Abductive reasoning
  • Formalization of financial mathematics
  • Formalization of logics and automated reasoning procedures
  • Proof generalization

Quantum computing (contact: M. Mhalla)

  • ZX calculus
  • Verification of quantum programs/protocols
  • Contextuality
  • Quantum combinatorial games
  • Quantum polar codes
  • Quantum control of quantum circuits