Valentin Robert

Countries

This corpus build does not record which country the citing authors are in, so the country breakdown is not computed. The other breakdowns below are unaffected.

Institutions

• University of Washington18.6%
• Institut de Recherche en Informatique et Systèmes Aléatoires14.4%
• GE Global Research (United States)8.5%
• Galois (United States)7.6%
• Institut national de recherche en sciences et technologies du numérique6.8%
• Centre National de la Recherche Scientifique5.9%
• Other38.1%

Fields

• Computer Science89.8%
• Engineering8.2%
• Agricultural and Biological Sciences2%

Topics

• Logic, programming, and type systems21.3%
• Security and Verification in Computing18%
• Formal Methods in Verification13.1%
• Parallel Computing and Optimization Techniques10.7%
• Software Testing and Debugging Techniques9%
• Software Engineering Research5.7%
• Other22.1%