Edwin Brady

URI: https://gptkb.org/entity/Edwin_Brady

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:University_of_Durham
gptkbp:employer	gptkb:University_of_St_Andrews
gptkbp:field	gptkb:logic gptkb:programming_language functional programming
https://www.w3.org/2000/01/rdf-schema#label	Edwin Brady
gptkbp:knownFor	gptkb:Idris_programming_language
gptkbp:nationality	British
gptkbp:notableWork	gptkb:Idris:_A_General-Purpose_Dependently_Typed_Programming_Language gptkb:Type-Driven_Development_with_Idris
gptkbp:occupation	gptkb:computer_scientist gptkb:software_engineer
gptkbp:position	gptkb:professor
gptkbp:website	https://www.cs.st-andrews.ac.uk/~eb/
gptkbp:bfsParent	gptkb:Idris
gptkbp:bfsLayer	5