Andrew Bedford

computer scientist specialized in language-based security,
static and dynamic analysis

projects

archived

Image

coqatoo

Generate natural language versions of Coq proofs

GitHub
Image

ott-ifc

Generate information-flow control mechanisms from language specifications

GitHub
Image

sai

Statically analyze and instrument Android applications to enforce policies

GitHub
Image

paper scout

Visualize your personal academic paper library as a graph

GitHub | Screenshots

current

re / analytics

Simple privacy-friendly web analytics alternative to Google Analytics.

Screenshots in progress

re / app

Turn your web application into a desktop application

GitHub

re / blog

Publish markdown blog posts using this webassembly template.

GitHub | Example

re / feed

Read, search and organize your RSS news feeds.

future

re / log

Log your thoughts, ideas, questions, tasks and anything you want!

Screenshots
in progress

re / message

Communicate with your friends and colleagues through a shared folder.

future

publications

about

Image

Hi, I'm Andrew. I currently work at Perforce on Klocwork, a static analysis tool for C/C++, C# and Java. Before that, I was researching ways to control information flows to empower users and help protect their privacy. I am also experienced in web development and machine learning.

I love building software, researching and writing. I've been doing it for the past 25 years or so.

I have an amazing wife, a wonderful daughter and a crazy dog (we still love him).

If you'd like to discuss, feel free to reach out. Je parle aussi français.