Pascal Fradet
INRIA Researcher
Pop Art Project , INRIA Rhône-Alpes
(former
member of the Lande
Project , IRISA ,
Rennes )
Research Interests
I am (or have been) interested in: functional programming, compilation,
program transformation, garbage collection, program analysis,
lambda-calculus,
typing, Gamma, domain-specific languages, aspect-oriented programming,
software architectures, multi-view descriptions, security.
Currently, I focus on:
- Aspect-Oriented Programming
I study in particular:
- aspects as formal properties to be enforced on programs,
- static analysis and verification of aspect oriented programs,
- applications of AOP to various areas (security, fault
tolerance, etc.) .
- Unconventional Programming Paradigms
I study in particular:
- the chemical model
where programs are reactions (i.e.,
conditional AC multiset rewritings),
- extensions of that model (higher order, infinite multisets,
etc.),
- applications to the specification of autonomic systems and
coordination.
Address: Inria Rhône-Alpes, Email : 
655 av. de l'Europe, Montbonnot, Tel : (33) 4 76 61 52 46
38334 Saint Ismier Cedex, France Fax : (33) 4 76 61 52 52
Version Française