Talk

Jobs

From LRDE

Bison

Automata Theory

Traitement d'images, GPU, apprentissage

  • Jobs/LANGEVIN (title Imagerie holographique rétinienne hyperspectrale en temps réel sur GPU)

Dynamic Languages

Image Processing

Model checking

Traitement d'Images

Model checking, Distributed Algorithms and data structures

Automata

Automates et vérification