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)
Digital circuits (specification, semantics, transformations, Coq proofs of fault tolerance properties)
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

Certification of Real Time Networks

I am studying in particular:

real time networks used in automobile (e.g., TSN)
the formalization of such networks
the formal verification of their real time properties in Rocq/Coq

This work is part of Certisen, an Inria Startup Studio project.

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