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.
Contact
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) |