Edwin Brady

925 total citations
25 papers, 352 citations indexed

About

Edwin Brady is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Hardware and Architecture. According to data from OpenAlex, Edwin Brady has authored 25 papers receiving a total of 352 indexed citations (citations by other indexed papers that have themselves been cited), including 22 papers in Artificial Intelligence, 12 papers in Computational Theory and Mathematics and 10 papers in Hardware and Architecture. Recurrent topics in Edwin Brady's work include Logic, programming, and type systems (20 papers), Formal Methods in Verification (12 papers) and Parallel Computing and Optimization Techniques (9 papers). Edwin Brady is often cited by papers focused on Logic, programming, and type systems (20 papers), Formal Methods in Verification (12 papers) and Parallel Computing and Optimization Techniques (9 papers). Edwin Brady collaborates with scholars based in United Kingdom, United States and Netherlands. Edwin Brady's co-authors include Kevin Hammond, James McKinna, Saleem Bhatti, Patrik Jansson, Nicola Botta, Ohad Kammar, Cezar Ionescu, Jeremy Yallop and Christoph Herrmann and has published in prestigious journals such as ACM SIGPLAN Notices, Journal of Functional Programming and Fundamenta Informaticae.

In The Last Decade

Edwin Brady

19 papers receiving 341 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Edwin Brady United Kingdom 9 299 166 98 89 59 25 352
Kevin Bierhoff United States 10 401 1.3× 118 0.7× 149 1.5× 84 0.9× 119 2.0× 19 478
Amin Shali Iran 7 137 0.5× 98 0.6× 64 0.7× 111 1.2× 125 2.1× 10 265
Willem-Paul de Roever Germany 6 210 0.7× 177 1.1× 56 0.6× 47 0.5× 81 1.4× 13 293
Yoshihiko Futamura Japan 7 228 0.8× 115 0.7× 81 0.8× 130 1.5× 50 0.8× 18 320
Gennaro Parlato Italy 12 213 0.7× 260 1.6× 58 0.6× 82 0.9× 90 1.5× 39 397
James McKinna United Kingdom 11 439 1.5× 256 1.5× 95 1.0× 50 0.6× 87 1.5× 42 481
Paul Steckler United States 5 202 0.7× 105 0.6× 77 0.8× 93 1.0× 38 0.6× 9 306
Yitzhak Mandelbaum United States 9 170 0.6× 62 0.4× 83 0.8× 65 0.7× 103 1.7× 18 247
Markus Müller-Olm Germany 9 219 0.7× 245 1.5× 55 0.6× 69 0.8× 36 0.6× 25 347
Erik Meijer United States 6 148 0.5× 50 0.3× 84 0.9× 48 0.5× 103 1.7× 8 242

Countries citing papers authored by Edwin Brady

Since Specialization
Citations

This map shows the geographic impact of Edwin Brady's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Edwin Brady with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Edwin Brady more than expected).

Fields of papers citing papers by Edwin Brady

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Edwin Brady. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Edwin Brady. The network helps show where Edwin Brady may publish in the future.

Co-authorship network of co-authors of Edwin Brady

This figure shows the co-authorship network connecting the top 25 collaborators of Edwin Brady. A scholar is included among the top collaborators of Edwin Brady based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Edwin Brady. Edwin Brady is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Brady, Edwin, et al.. (2025). Frex: Dependently Typed Algebraic Simplification. Proceedings of the ACM on Programming Languages. 9(ICFP). 30–65.
2.
Brady, Edwin. (2021). Idris 2: Quantitative Type Theory in Practice (Artifact). DROPS (Schloss Dagstuhl – Leibniz Center for Informatics).
3.
Botta, Nicola, et al.. (2017). Sequential decision problems, dependent types and generic solutions. Logical Methods in Computer Science. Volume 13, Issue 1. 1 indexed citations
4.
Brady, Edwin. (2017). TYPE-DRIVEN DEVELOPMENT OF CONCURRENT COMMUNICATING SYSTEMS. Computer Science. 18(3). 219–219. 8 indexed citations
5.
Brady, Edwin, et al.. (2016). Elaborator reflection: extending Idris in Idris. ACM SIGPLAN Notices. 51(9). 284–297. 5 indexed citations
6.
Brady, Edwin, et al.. (2016). Elaborator reflection: extending Idris in Idris. St Andrews Research Repository (St Andrews Research Repository). 284–297. 14 indexed citations
7.
Brady, Edwin. (2013). Programming and reasoning with algebraic effects and dependent types. ACM SIGPLAN Notices. 48(9). 133–144. 5 indexed citations
8.
Brady, Edwin. (2013). The Idris Programming Language - Implementing Embedded Domain Specific Languages with Dependent Types.. 115–186.
9.
Brady, Edwin. (2013). Programming and reasoning with algebraic effects and dependent types. 133–144. 59 indexed citations
10.
Brady, Edwin, et al.. (2013). Dependent Types for Safe and Secure Web Programming. ENLIGHTEN (Jurnal Bimbingan dan Konseling Islam). 49–60. 3 indexed citations
11.
Brady, Edwin. (2011). IDRIS ---. 43–54. 35 indexed citations
12.
Brady, Edwin & Kevin Hammond. (2010). Scrapping your inefficient engine. 297–308. 16 indexed citations
13.
Brady, Edwin & Kevin Hammond. (2010). Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols. Fundamenta Informaticae. 102(2). 145–176. 2 indexed citations
14.
Brady, Edwin & Kevin Hammond. (2010). Scrapping your inefficient engine. ACM SIGPLAN Notices. 45(9). 297–308. 2 indexed citations
15.
Bhatti, Saleem, Edwin Brady, Kevin Hammond, & James McKinna. (2009). Domain Specific Languages (DSLs) for Network Protocols (Position Paper). Radboud Repository (Radboud University). 208–213. 10 indexed citations
16.
Brady, Edwin, Christoph Herrmann, & Kevin Hammond. (2008). Lightweight Invariants with Full Dependent Types.. 161–177. 1 indexed citations
17.
Brady, Edwin & Kevin Hammond. (2008). Correct-by-Construction Concurrency. 1 indexed citations
18.
Brady, Edwin, James McKinna, & Kevin Hammond. (2007). Constructing Correct Circuits: Verification of Functional Aspects of Hardware Specifications with Dependent Types.. 159–176. 5 indexed citations
19.
Brady, Edwin & Kevin Hammond. (2006). A Verified Staged Interpreter is a Verified Compiler Multi-stage Programming with Dependent Types.
20.
Brady, Edwin & Kevin Hammond. (2006). A verified staged interpreter is a verified compiler. 111–120. 24 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Kevin Bierhoff Breakdown of academic impact, for papers by Amin Shali Breakdown of academic impact, for papers by Willem-Paul de Roever Breakdown of academic impact, for papers by Yoshihiko Futamura Breakdown of academic impact, for papers by Gennaro Parlato Breakdown of academic impact, for papers by James McKinna Breakdown of academic impact, for papers by Paul Steckler Breakdown of academic impact, for papers by Yitzhak Mandelbaum Breakdown of academic impact, for papers by Markus Müller-Olm Breakdown of academic impact, for papers by Erik Meijer
Rankless by CCL
2026