Edwin Brady

Registered user since Mon 13 Jun 2016

Name: Edwin Brady

Bio: Lecturer in Computer Science at the University of St Andrews

Country: United Kingdom

Affiliation: University of St. Andrews, UK

Personal website: https://eb.host.cs.st-andrews.ac.uk/

Research interests: Functional Programming, Dependent Types, Domain Specific Languages

Contributions

META 2019Committee Member in Program Committee within the META 2019-track
Scala 2019Committee Member in Program Committee within the Scala 2019-track
ML 2019Committee Member in Program Committee within the ML 2019-track
TyDe 2019Committee Member in Program Committee within the TyDe 2019-track
PADL 2019Committee Member in Program Committee within the PADL 2019-track
PLACES 2019Author of Value-Dependent Session Design in a Dependently Typed Language within the PLACES-track
ECOOP 2019Author of Idris 2: Type-driven Development of Idris within the Curry On-track
ML4PL 2018Author of Subtype Polymorphism à la carte via Machine Learning on Dependent Types within the ML4PL-track
DSLDI 2018Committee Member in Program Committee within the DSLDI 2018-track
HIW 2018Committee Member in Program Committee within the HIW 2018-track
ICFP 2018Committee Member in External Review Committee within the Research Papers-track
ML 2017Author of State machines all the way down within the ML 2017-track
HOPE 2017Committee Member in Program Committee within the HOPE 2017-track
TyDe 2017Author of Type-directed reasoning for probabilistic, non-compositional resources within the TyDe 2017-track
Scala 2017Committee Member in Program Committee within the Scala 2017-track
Onward! 2016Committee Member in Program Committee within the Onward! Papers-track
ICFP 2016Author of Elaborator Reflection: Extending Idris in Idris within the Research Papers-track
PADLCommittee Member in Program Committee within the PADL-track
SPLASH 2016Speaker of Type-driven Development in Idris within the SPLASH-I-track