Andrew Bedford

Registered user since Mon 13 Nov 2017

Name: Andrew Bedford

Country: Canada

Affiliation: Laval University

Personal website: http://andrew-bedford.ca

Research interests: Security, Programming Languages, Formal Methods

Contributions

CoqPL 2018 Coqatoo: Generating Natural Language Versions of Coq Proofs
POPL 2018 Generating Information-Flow Control Mechanisms from Programming Language Specifications
Show activities from other conferences

POPL 2018-profile
View general profile