Academic

Model coupling

Structure-preserving schemes & discrete geometry

Domain decomposition & Newton–Krylov (multigrid) solvers

Reliability by a posteriori control

Safe and correct programming

  • LIPN, Paris-Nord University (M. Mayero): formal proofs of correctness
  • CEA LIST (F. Védrine, V. Prévosto) and LIX, École Polytechnique (É. Goubault, S. Putot): static analysis of programs

Comments are closed