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

publications

blog

web development

using pandoc as a static site generator

Learn how to use pandoc as a basic static site generator

program verification

a quick introduction to coq

Learn the basics of Coq, an interactive theorem prover that is based on the calculus of inductive constructions.

static analysis

using roslyn for static analysis

Learn how to use Roslyn (i.e., the .NET Compiler Platform) to statically analyze C# projects.