Picture not found.

Rémy Garcia

[linkedin] [github] [mail]

I am a PhD student in artificial intelligence at I3S/CNRS under the supervision of Claude Michel.

My research interests are in the area of constraint programming, floating-point arithmetic, and software verification. I focus on robustness analysis by abstract interpretation and constraint programming. I work on a constraint system for round-off error analysis of floating-point computation implemented in Objective-CP.

[Publications] [Teaching]