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