Alan Wisper AI won’t give you the idea. It helps you build yours.

Resume

Alan Wisper

Software engineer: Rust, Android, security, formal verification. United States.

Download PDF [resume.pdf: export of this page] hi@alanwisper.com GitHub

Now

Current work

  • now
    Real Posting Age building

    Browser extension and daily crawl of public hiring boards: a posting's real first-published date and re-listing history. TypeScript (Manifest V3), Rust, SQLite.

  • now
    Duress-resistant storage design → first code

    Rust library for Android apps: duress password, a second slot that cannot be shown to exist, key destruction on wipe, proofs in Verus.

  • 2026
    alanwisper.com

    This site: Cloudflare Worker and D1, strict CSP, CI with secret scanning, static analysis and mutation testing.

Before

Experience

  • [years]
    [Company, role]

    [one shipped, measurable result, with a link]

  • [years]
    [Company, role]

    [one shipped, measurable result, with a link]

  • [years]
    [Company, role]

    [one shipped, measurable result, with a link]

Tools

Skills

Languages
Rust, TypeScript [others]
Platforms
Android, Cloudflare Workers
Security
Security review, threat models
Verification
Verus, Kani, property-based and mutation testing

Background

Education

[degree, school, year, or remove this section]

In public

Writing and talks

Posts: writing. Talks: [none yet; add the first one here]