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