|
||
| Projet/Project | ||
| Publications | ||
|
Direction
Thèses/ PhD Students |
||
|
Anciens
Projets/ Former Projects |
||
|
AnciensCollègues
/ FormerColleagues |
||
| Publications Équipe (>97) |
Welcome to My Personal Page!
|
Positions
- Professor of Computer Science-University of Marseilles (1995-...)
- DR CNRS (associated from 2000-2002) TIMA Laboratory - Grenoble
- DR IMAG-LGI Laboratory (1983-1994)
- Head of Research Group "Systèmes Massivement Parallèles" at IMAG Grenoble University (1983-1994)
- Visiting Research Fellow (on leave from INRIA) at Oxford University -Programming Research Group (1978-1979)
- Visiting Research Fellow at Philips Research Laboratory Brussels (1977)
Also (1999-2002) Scientific Co-ordinator for the EU-IST/RDT 1999/19453 MATISSE Project Methodologies and Technology for Industrial Strength Systems Engineering
-
Former manager within the
ESPRIT
CEC Program for the following RD projects at the University
of Grenoble:
SUPERNODE 1 and
2
, NERVES,
PAPAGENA
.
-
Also leader of several collaborative projects within the TEMPUS/SOCRATES
academic programs.
Scientific Interests
Research
Topics
Recent Work
- Communication and Concurrency, Parallelism, Interactions
- Models for Systems Construction, Networking, Mobility
- Mathematics of Programming and Communication
Developing new abstractions and formal models for correct construction of parallel and distributed computing systems; reasoning about their behaviour, architectural specifications and properties, correctness of their interactions within heterogeneous environments.
Such systems generally have strong requirements such as parallelism, and synchronization constraints, co-ordinationgh performances and availability, adaptive scalability and time-critical behaviour. Our research is both theoretical and practical. The goal of the theory is to provide a clear semantics for new programming models and systems construction techniques. The target of our research projects is to develop correct prototype systems, often in collaboration with R&D centres or industrial partners.
Results of our research lead to new ways for building and controlling high performance, heterogeneous and critical communicating systems. Specifically, our contributions in the field have been for the design, in a collaborative project (Supernode 1985-88), of the first European massive parallel architecture based on a programmable and reconfigurable network of a thousand transputers (Partners: INMOS(GB), RSRE(GB), University of Southampton(GB), Parsys(GB), Telmat(F), IMAG-INPG University of Grenoble(F)). We have been also developing concurrent programming languages and system kernels (PAROS architecture and the ParX communication and routing microkernel) which support applications with high degree of parallelism and time-critical requirements.
Some recent accomplishments of our group include: building generic correct routing kernels and run-time systems to support adaptive routing techniques for mobile objects, construction of parallel virtual machines, fine-grained process migration, load balancing, optimal scheduling of time critical computations. We are developing a theory of diffusing computation (bPi process calculus) which provides clear semantics and powerful proof techniques for mobile broadcasting distributed systems; an embedded verifier for mobile smart card applets in collaboration with Gemplus Research; a distributed refinement method for correct construction of distributed systems using the B Method; a methodology for coordinating broadcasting mobile agents.
¤