Alban Quadrat

• Short CV

---

• Research activities: Symbolic computation, constructive algebraic analysis, mathematical systems theory and control theory:

1. Study of linear functional systems by means of constructive algebraic analysis methods and development of symbolic packages.
2. Algebraic and geometric approaches to mathematical systems theory and control theory.

---

• Publications:

1. Linear functional systems, constructive algebraic analysis and mathematical systems theory
2. Stabilization of infinite-dimensional linear systems
3. Others

---

• Symbolic packages

  1. OreModules: A symbolic package for the study of linear (functional/control) systems over Ore algebras (with F. Chyzak and D. Robertz).
  2. Stafford: An OreModules package dedicated Stafford's theorems on the Weyl algebras and their applications in algebraic systems theory (with D. Robertz).
  3. QuillenSuslin: An Involutive package dedicated the Quillen-Suslin theorem and its applications in algebraic systems theory (with A. Fabiańska).
  4. OreMorphisms: A homological algebra package for factoring, reducing and decomposing linear functional systems based on the OreModules package (with T. Cluzeau).
  5. PurityFiltration: An OreModules package dedicated to the computation of purity (codimension/bidualizing) filtration of modules and equidimensional block-triangular forms of linear (functional/control) systems.
  6. AbelianSystems: A homalg package (GAP4) dedicated to abelian categories of systems (with M. Barakat).
  7. SystemTheory: A homalg package (GAP4) dedicated to mathematical system theory (with M. Barakat, T. Cluzeau and M. Lange-Hegermann).
  8. Serre: An OreModules package dedicated Serre's reduction of linear (functional/control) systems (with T. Cluzeau).

---

• Editorial activities: Multidimensional Systems and Signal Processing (Springer).

---

• SADDLES Project

---

• Project: Bourbaki in Coq

---

• Supervision

---

• Lectures

---

• Conferences:

1. Modern Constructive Algebra (dedicated to Henri Lombardi), Besançon (France) (15-16/11/2011)
2. 7th International Workshop on Multidimensional (nD) Systems, Poitiers (France) (05-07/09/11)
3. Functional Equations in LIMoges (FELIM 2011), Limoges (France) (14-16/03/11)
4. Second Workshop on Differential Equations by Algebraic Methods (DEAM 2), RISC-Linz (Austria) (09-11/02/11)
5. Constructive homological algebra methods, implementations and applications, CIRM, Luminy (France) (24-28/01/11)
6. Sage Days 24 at RISC-Linz (Austria) (17-22/07/10)
7. Nineteenth International symposium on Mathematical Theory of Networks and Systems (MTNS2010), Budapest (Hungary) (05-07/07/10)
8. Journées Nationales de Calcul Formel, Luminy, CIRM (France) (03-07/05/10)
9. Formal methods in commutative algebra: A view toward constructive homological algebra, Oberwolfach (Germany) (08-14/11/09)
10. IFAC Workshop on Control of Distributed Parameter Systems, Toulouse (France) (20-24/07/09)
11. AACA: Algebraic Analysis and Computer Algebra - New Perspective for Applications, lectures, RISC-Linz (Austria) (13-17/07/09)
12. Advances in the Theory of Control, Signals, and Systems, with Physical Modeling, Bernouilli Center, Swiss Federal Institute of Technology (EDPL), Lausanne (Switzerland) (15-17/04/09)
13. The Netherlands Congress of Mathematicians, Groningen (The Netherlands) (14-15/04/09)
14. Colloque international "Calcul algébrique et équations différentielles", Limoges (France) (24-25/03/09)
15. Summer School and Conference, Mathematics, Algorithms and Proofs (MAP), The Abdus Salam International Centre for Theoretical Physics (25-29/08/08), Trieste (Italy)
16. Eighteenth International symposium on Mathematical Theory of Networks and Systems (MTNS2008), Virginia Tech (USA) (28/07-01/08/08)
17. Conférence internationale en mémoire de Manuel Bronstein, INRIA Sophia Antipolis (France) (13/07/06)

---