(email message 05-04-2005 18:24)

This is a relatively large and very active research group in Theory of Computation, broadly constructed. I would say that their main strength is to explore little explored or new paths in computing. There is a strong need to enlarge the theoretical features, at least, of our old and rubust Computability Theory, well beyond the traditional formal approach. Quantum Computing is of course the first area where one should look for novelty and the group seems to be well inserted in the new, but already large, community. Both the number of publications and the many exchanges, invitations, students... witness a growing research output. But also analytic methods and continuous structures for computations have been successfully explored. In particular continuous time computations seem to be an important aim of the group with several papers and talks in the topic. More traditional areas are also studied, such as Type Theory and constructive logic; yet, these areas are mainly applied to the current difficult problems of distributed and concurrent systems. Some other research areas are also in the "cahier des charges" of the team, and once more they may be collected under the common caracteristic of being at the "borderline" of well established research areas, with chances to introduce novel paradigms in computing. I globally appreciate the explorative attitude as well as the success witnessed by the strong publishing activity and general promotion of knowledge (conferences, seminars, students...).
Faithfully

Giuseppe Longo

Laboratoire et Departement d'Informatique
CNRS et Ecole Normale Superieure
et CREA, Ecole Polytechnique
(Postal addr.: LIENS
45, Rue D'Ulm
75005 Paris (France) )
http://www.di.ens.fr/users/longo
et :
CENtre d'Etude des systemes Complexes et de la Cognition (CENECC)
http://www.cenecc.ens.fr/

e-mail: longo@di.ens.fr
(tel. ++33-1-4432-3328, FAX -2156, secr. -2059)

-------------------------------------------------------