Ben Simner

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 Cambridge25.4%
• Imperial College London12%
• Aarhus University11.3%
• ARM (United Kingdom)7%
• University of Edinburgh7%
• ETH Zurich6.3%
• Other31%

Fields

• Computer Science94.5%
• Medicine1.8%
• Neuroscience1.8%
• Health Professions1.8%

Topics

• Formal Methods in Verification15.4%
• Security and Verification in Computing15.4%
• Parallel Computing and Optimization Techniques14.7%
• Logic, programming, and type systems14.7%
• Distributed systems and fault tolerance9.8%
• Software Testing and Debugging Techniques8.4%
• Other21.7%