Skip to content

Edwin Brady

  • Research Fellow
  • University of St Andrews
  • 8h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 249CitationsNumber of citations received by Edwin's publications. Updated daily.

Other IDs

Research interests

CompilersPartial EvaluationGenerative ProgrammingDependent Types

Co-authors (9)

Publications (5)

  • Sequential decision problems, dependent types and generic solutions

    • Botta N
    • Jansson P
    • Ionescu C
    • et al.
    N/AReaders
    1Citations
    Get full text
  • Dependent types for safe and secure web programming

    • Fowler S
    • Brady E
    N/AReaders
    1Citations
  • Sequential decision problems, dependently typed solutions

    • Botta N
    • Ionescu C
    • Brady E
    N/AReaders
    0Citations
  • Resource-safe systems programming with embedded domain specific languages

    • Brady E
    • Hammond K
    N/AReaders
    5Citations
    Get full text
  • Correct-by-construction concurrency: Using dependent types to verify implementations of effectful resource usage protocols

    • Brady E
    • Hammond K
    N/AReaders
    7Citations
    Get full text

Professional experience

Research Fellow

University of St Andrews

June 2005 - Present