|
|
Direction Thèses
|
|
Projets
Anciens
|
|
| Anciens
Collègues Former Colleagues |
Traian MUNTEAN
|
Positions
- Professor Computer Science-University of Marseille (>1994)
- DR CNRS Grenoble (on leave 2000-2002) TIMA Laboratory - Grenoble
- DR IMAG-LGI Laboratory (1983-1994) -
Grenoble
- Head of Research Group "Systèmes Massivement Parallèles" at IMAG, Grenoble University (INPG, 1983-1994)
- Visiting Research Fellow (on leave from INRIA) at Oxford University -Programming Research Group (1978-1979)
- Visiting Research Fellow at MBLE-Philips Research
Laboratory Brussels (1977)
• Manager within the
ESPRIT and FP6
& FP7
European Programs for the following IST-R&D
projects :
SUPERNODE (1985-1988) CEC award for inovation "First european parallel reconfigurable HPC of more than 1000 processors (transputers)"
SUPERNODE II (1988-1993)
BRA - NERVES (1989-1991)
PAPAGENA P6857 (1992 - 1994)
IST MATISSE (1999-2002): Scientific Co-ordinator Methodologies and Tools for Industrial Strength Systems Engineering
• Also leader of several collaborative projects within the TEMPUS/SOCRATES EU academic programs.Scientific Interests
Research
Topics
- Communication and Concurrency, Parallelism, Interactions
- Models for Critical Systems
Construction, Networking, Mobility, Security
- Mathematics of Programming and Communication
Developing new abstractions
and formal models for correct
construction of parallel and distributed critical systems;
reasoning
about
their behaviour, architectural specifications and
properties, correctness of their interactions within
heterogeneous environments.
Such systems, generally asynchronous, have strong requirements such as parallelism and synchronization constraints, co-ordination, performances and availability, adaptive scalability, time-critical behaviour, security requirements...
Our research is both theoretical and guided by practical applications. The goal of the theory is to provide new programming models and systems construction formal 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 contribution in the field has been for the design, in an European collaborative project (e.g. SUPERNODE (1985-1988), of the first European massive parallel architecture based on a dynamically reconfigurable network of a thousand transputers. We have been also developing concurrent programming languages and a parallel virtual machines system kernel (PAROS architecture and the ParX microkernel) which supports 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 have developed a theory of diffusing computation (Diff 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 (Gemalto now) has also been developped within the MATISSE IST Project.
The MATISSE Handbook Methodologies and Technology for Industrial Strength Systems Engineering was one of the major result of this project.
Secure routing algorithms including anonymous routing techniques and tools for generic crypto-protocols are under construction in the framework of the ARCANA project in our group.
Such systems, generally asynchronous, have strong requirements such as parallelism and synchronization constraints, co-ordination, performances and availability, adaptive scalability, time-critical behaviour, security requirements...
Our research is both theoretical and guided by practical applications. The goal of the theory is to provide new programming models and systems construction formal 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 contribution in the field has been for the design, in an European collaborative project (e.g. SUPERNODE (1985-1988), of the first European massive parallel architecture based on a dynamically reconfigurable network of a thousand transputers. We have been also developing concurrent programming languages and a parallel virtual machines system kernel (PAROS architecture and the ParX microkernel) which supports 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 have developed a theory of diffusing computation (Diff 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 (Gemalto now) has also been developped within the MATISSE IST Project.
The MATISSE Handbook Methodologies and Technology for Industrial Strength Systems Engineering was one of the major result of this project.
Secure routing algorithms including anonymous routing techniques and tools for generic crypto-protocols are under construction in the framework of the ARCANA project in our group.
Former Research
Teams (under my direction)
Members
Systèmes Massivement Parallèles - IMAG "Laboratoire de Génie Informatique de Grenoble" (1984-1994)
LGI - URA CNRS
Systèmes Parallèles et Communicants - Laboratoire d'Informatique de Marseille (1995-200)
LIM- URA CNRS
Systèmes Massivement Parallèles - IMAG "Laboratoire de Génie Informatique de Grenoble" (1984-1994)
LGI - URA CNRS
Systèmes Parallèles et Communicants - Laboratoire d'Informatique de Marseille (1995-200)
LIM- URA CNRS
