Tony Law

I am currently a PhD student under the supervision of Sandrine Blazy and Delphine Demange in the Epicure team. I am working on a formally verified high-level synthesis compiler in Coq.

My scientific interests include formal verification, low-level programming and hardware design.


Email tony (dot) law (at) inria (dot) fr
Phone +33 2 99 84 75 78
Address IRISA - Equipe Epicure
Campus Universitaire de Beaulieu
Avenue du Général Leclerc
35042 Rennes Cedex
Office F214 (Orange)