1. Curriculum Vitae

• LICKTEIG Thomas, né le 15 décembre 1955

   

• Diplômes :
  - Diplom-Mathematiker, Université de Constance, Allemagne, 1980
  - Doctorat, Université de Constance, Allemagne, 1982
  - Habilitation, Université de Tübingen, Allemagne, 1991

   

• Situation actuelle :
  professeur de Mathématiques à l'université de Limoges, 25ème section (depuis octobre 1997)

   

• Activités administratives :
  - Membre et président de la commission de spécialistes de l'université de Limoges, 25ème section
  - Responsable de l'équipe Calcul Formel, LACO, université de Limoges

   

• Coopérations :
  - Avec P. Bürgisser, Clausen, A. Shokrollahi, K. Werther (Université de Bonn)
  - Avec K. Meer (Université d'Aix la Chapelle)
  - Avec M.-F. Roy (Université de Rennes I).

   

• Direction de thèses :
  - BRUNIE Cyril,
  - VERVOUX Cyril.

   

• Conférences invitées dans des congrès internationaux :
  - à Segovia (Real Algebraic and Analytic Geometry),
  - à Dortmund (Real Algebraic Geometry and Spectral Spaces),
  - à Rio de Janeiro (Foundation of Computational Mathematics),
  - à Dagstuhl (Real Computation and Complexity),
  - à Dagstuhl (Information Based Complexity).

   

• Organisation de colloques :
  - 11/95 : Real Computation and Complexity I, IBFI Schloss Dagstuhl (Allemagne), avec Felipe Cucker et Michael Shub
  - 1/97 : Foundations of Computational Mathematics, workshop : Systems of Algebraic Equations and Computational Algebraic Geometry, Rio de Janeiro (Brésil), avec Marie-Françoise Roy (co-éditeur du numéro spécial de Journal of Complexity consacré au congrès)
  - 6/98 : Real Computation and Complexity II, IBFI Schloss Dagstuhl (Allemagne), avec Felipe Cucker, Marie-Françoise Roy et Michael Shub (éditeur du numéro spécial de Journal of Complexity consacré au congrès).

   

• Responsabilités éditoriales :
  - Membre du Council of Foundations of Computational Mathematics
  - Membre de l'Editorial Board du Journal of Complexity.

   

2. Bilan scientifique (1996-1999)

• Recherche de la complexité inhérente aux problèmes de décision et de calculs réels.
• Formalisation et mathématisation de la question et bornes inférieures pour des problèmes concrets.
• Relativisation des complexités (additives/ multiplicatives) des problèmes matriciels à la complexité de la multiplication de matrices.
• Une borne inférieure nlogn pour la détermination de signes des restes de polynômes de degré n.
• Nouveaux resultats de divisibilité de sous-résultants et un nouvel algorithme de sous-résultants rapide.

Publications (1996-1999) (revue à comité de lecture ou congrès avec actes) : voir la liste des publications du LACO.

3. Projets de recherches (2000-2003)

Continuation du développement de la théorie de la complexité inhérente des problème de calcul à l'aide de la geométrie algébrique réelle comencée dans mon habilitation.

---

File translated from T_EX by T_TH, version 2.25.
On 7 Jul 1999, 16:31.