Personal profile
Profile Keywords
Types; programming languages; DSLs; verification; compilers; theorem proving; functional programming; program generation; dependent types
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
-
SDG 13 Climate Action
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
Custom representations of inductive families
Theocharis, C. & Brady, E., 1 Oct 2025, Trends in functional programming: 26th international symposium, TFP 2025, Oxford, UK, January 14–16, 2025 revised selected papers. Gibbons, J. (ed.). Cham: Springer Nature, p. 302-328 27 p. (Lectures notes in computer science; vol. 15652).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
Frex: dependently typed algebraic simplification
Allais, G., Brady, E., Corbyn, N., Kammar, O. & Yallop, J., Aug 2025, In: Proceedings of the ACM on Programming Languages. 9, Issue ICFP, p. 30-65 36 p., 237.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Type-level property based testing
Hansen, T. E. & Brady, E. C., 28 Aug 2024, TyDe 2024: Proceedings of the 9th ACM SIGPLAN international workshop on type-driven development. Alves, S. & Cockx, J. (eds.). New York: ACM, p. 37 - 49Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Towards a refactoring tool for dependently-typed programs (Extended abstract)
Brown, C. M., Barwell, A., Thompson, S., Sarkar, S. & Brady, E. C., 31 Jul 2022. 8 p.Research output: Contribution to conference › Paper › peer-review
File -
Idris 2: Quantitative Type Theory in practice
Brady, E. C., 6 Jul 2021, 35th European Conference on Object-Oriented Programming (ECOOP 2021). Møller, A. & Sridharan, M. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 26 p. 11. (Leibniz International Proceedings in Informatics).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile
Datasets
-
RingIdris - Ring solver for Idris
Slama, F. (Creator) & Brady, E. C. (Supervisor), GitHub, 10 Oct 2018
https://github.com/FranckS/RingIdris and one more link, http://hdl.handle.net/10023/16451 (show fewer)
Dataset: Thesis dataset
-
Type-level property based testing (dataset & code)
Hansen, T. E. (Creator) & Brady, E. C. (Creator), GitHub, 2024
https://github.com/CodingCellist/tyde-24-code
Dataset
-
Type-Theory as a Language Workbench
Muijnck-Hughes, J. D. (Creator), Allais, G. (Creator) & Brady, E. (Creator), Zenodo, 2023
Dataset
Projects
- 2 Finished
-
Type-Driven Verification of Communic: Type-driven verification of communicating systems
Brady, E. (PI)
1/05/16 → 30/04/17
Project: Standard
-
FP7 ADVANCE: EU FP7 'Asynchronous and Dynamic Virtualisation through performance Analysis to support Concurrency Engineering 'ADVANCE'
Hammond, K. (PI) & Brady, E. (CoI)
European Commission Joint Research Centre
1/02/10 → 30/09/13
Project: Standard
Activities
-
Doors Open @ Computer Science 2025
Hoffmann, R. (Chair of organising committee), Ross, K. (Member of organising committee), Ardati, A. A. (Participant), Dearle, A. (Participant), Connor, R. (Participant), Claydon, B. (Participant), Miller, A. (Participant), Sturdee, M. (Participant), Miguel, A. R. (Participant), Manataki, A. (Participant), Cassidy, C. A. (Participant), Pisani, S. (Participant), Brown, C. M. (Participant), Barwell, A. D. (Participant), Myles, C. G. G. (Participant), Harris-Birtill, D. C. C. (Participant), Morrison, D. (Participant), Balasubramaniam, D. (Participant), Dang, N. T. T. (Participant), Brady, E. C. (Participant), Terzic, K. (Participant), Kadi, H. A. (Participant), Oliver, I. A. (Participant), Kennedy, S. E. (Participant), Espasa Arxer, J. (Participant), Ye, J. (Participant), Clarke, L. (Participant), Jacques, J. T. (Participant), Young, M. (Participant), Chang, M. S. (Participant), Akgun, O. (Participant), Gent, I. P. (Participant), Jefferson, C. A. (Participant), Konovalov, O. (Participant), Loughney, J. P. (Participant), Letham, R. (Participant), Metcalfe, T. (Participant), Henderson, T. (Participant), Zhang, J. (Participant), Nguyen, R. (Participant), Halite, A. (Participant), Leal Teixeira Gondim Simao, A. (Participant), Ozkaya, A. (Participant), Powell, V. (Participant), Watson, H. (Participant), Nickson, M. (Participant), Sullivan, J. (Participant) & Michalovits, S. (Participant)
1 May 2025Activity: Participating in or organising an event types › Participation in or organising a public festival/exhibition/event
-
Doors Open @ Computer Science 2024
Hoffmann, R. (Chair of organising committee), Ross, K. (Member of organising committee), Halite, A. (Participant), Mann, A. (Participant), Dearle, A. (Participant), Banks, A. (Participant), Lin, A. (Participant), Boyce, A. (Participant), Manataki, A. (Participant), Singh, A. (Participant), Huang, A. (Participant), Eccles, B. J. (Participant), Claydon, B. (Participant), Varghese, B. (Participant), Clues, C. (Participant), Naughton, C. (Participant), Brown, C. M. (Participant), Myles, C. G. G. (Participant), Kennedy, D. (Participant), Morrison, D. (Participant), Saikumar, D. (Participant), Balasubramaniam, D. (Participant), Brady, E. C. (Participant), Jenkins, E. (Participant), Spillane, E. (Participant), Leitner, F. (Participant), Haywood, G. T. (Participant), Rasheed, H. (Participant), Waller, J. (Participant), Herbert, J. (Participant), Espasa Arxer, J. (Participant), Williamson, J. (Participant), Loughney, J. (Participant), Zhang, J. (Participant), Wang, R. (Participant), Garriock, K. (Participant), Davies, K. (Participant), Clarke, L. (Participant), Laverty, L. (Participant), Andrei, M. (Participant), Young, M. (Participant), Chang, M. S. (Participant), Martin, N. (Participant), Dewally, N. (Participant), Akgun, O. (Participant), Ng, P. (Participant), Connor, R. (Participant), Letham, R. (Participant), Kirkpatrick, R. (Participant), McQuistin, S. (Participant), Yuan, V. (Participant), Tronciu, V. (Participant), Law, Y. N. (Participant) & Zhang, Y. (Participant)
11 Apr 2024Activity: Participating in or organising an event types › Participation in or organising a public festival/exhibition/event
-
Doors Open @ Computer Science 2023
Hoffmann, R. (Chair of organising committee), Ross, K. (Member of organising committee), Boyd, K. M. (Member of organising committee), Miller, A. H. D. (Participant), Miguel, A. R. (Participant), Varghese, B. (Participant), Brown, C. M. (Participant), Jefferson, C. A. (Participant), Harris-Birtill, D. C. C. (Participant), Balasubramaniam, D. (Participant), Brady, E. C. (Participant), Kirby, G. N. C. (Participant), Gent, I. P. (Participant), Jacques, J. T. (Participant), Espasa Arxer, J. (Participant), Ye, J. (Participant), Terzic, K. (Participant), Fang, L. (Participant), Nederhof, M. J. (Participant), Young, M. (Participant), Dang, N. T. T. (Participant), Konovalov, O. (Participant), Akgun, O. (Participant), Connor, R. (Participant), Dearle, A. (Participant), Filgueira, R. (Participant), Zhu, X. (Participant), Bhatti, S. (Participant), Dobson, S. A. (Participant), Mann, P. S. (Participant), Sarkar, S. (Participant), Kelsey, T. (Participant) & Spink, T. (Participant)
11 Apr 2023Activity: Participating in or organising an event types › Participation in or organising a public festival/exhibition/event
-
-
Idris Workshop
Brady, E. C. (Speaker)
21 May 2016Activity: Talk or presentation types › Public lecture/debate/seminar