Andrew Bedford

computer scientist specialized in language-based security

projects

coqatoo

Generates natural language versions of Coq proofs

GitHub

ott-ifc

Generates information-flow control mechanisms from language specifications

GitHub

sai

Statically analyzes and instruments Android applications to enforce policies

GitHub

udfi

Startup company that develops open source software for researchers

GitHub

udfi / references

Web-based reference management software

GitHub

publications