Pascal Fradet's Home Page

Pascal Fradet
INRIA Researcher

Spades Project , INRIA Grenoble (former member of the PopArt project, INRIA Grenoble and, before 2003, of the Lande Project , IRISA/INRIA Rennes)

Research Interests

I am (or have been) interested in:

Functional programming (compilation, program transformation, static analysis, lambda-calculus, typing, GC, functional HDL, Coq)
Rule-based programming (AC conditional rewriting, chemical programming, Gamma, HOCL)
Aspect programming (semantics, interaction, enforcing & preserving properties)
Certification of real-time analyses (analysers/certifiers, formalisation/verification in Coq)
Dataflow programming (statically analysable extensions of SDF)

Currently, I am focusing on:

Dataflow Programming

I am studying in particular:

dynamically reconfigurable models and various extensions of SDF
their use to implement neural networks
the analysis and optimization of their memory usage

Digital Circuit Transformations for Fault-Tolerance

I am studying in particular:

formalization of circuits, faults and fault-models
fault-tolerance techniques as circuit transformations
formal verification of fault-tolerance properties in Coq

On-line Publications

Adress : Inria Grenoble Rhône-Alpes,                  Email   : 

         655 av. de l'Europe,                         Tel     : (33) 4 76 61 52 46

         38330 Montbonnot, France                     Fax     : (33) 4 76 61 52 52

  
Version Française