Get my own profile
Public access
View all22 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Xavier RivalDirecteur de Recherche, INRIAVerified email at inria.fr
Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York UniversityVerified email at cims.nyu.edu
Antoine MinéSorbonne Université, LIP6, APRVerified email at lip6.fr
Jérôme FeretChargé de recherche, Inria ParisVerified email at inria.fr
Sylvain BoulméUniversité Grenoble Alpes, VerimagVerified email at imag.fr
Bruno BlanchetSenior researcher, INRIA, ParisVerified email at inria.fr
Laure GonnordGrenoble INP - UGAVerified email at grenoble-inp.fr
claire maizaUniv. Grenoble Alpes, GrenobleINP / VerimagVerified email at univ-grenoble-alpes.fr
Michaël PÉRINAssistant professor, VERIMAG / Univ. Grenoble-AlpesVerified email at univ-grenoble-alpes.fr
Julien HenryMathworksVerified email at mathworks.com
Matthieu MoyUniversité Claude Bernard Lyon 1, LIPVerified email at univ-lyon1.fr
Jan ReinekeProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
George KarpenkovVERIMAGVerified email at metaworld.me
Hang YUVerimagVerified email at inf.ethz.ch
Francesco AlbertiEolo SpAVerified email at eolo.it
Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesVerified email at cnrs.fr
Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexVerified email at diffblue.com
Nikolaj BjornerMicrosoft ResearchVerified email at cs.stanford.edu
Tim KingAmazonVerified email at amazon.com
Diego Caminha B de OliveiraFormer Postdoctoral Researcher, University of Utah and Verimag/CNRSVerified email at cs.utah.edu