A. Finn Hackett

Finn is a Ph.D. student exploring practical applications of domain-specific language design and formal verification. Formal verification can help people with reasoning exercises that unassisted humans often get wrong in practice, where each mistake can become a bug or a feature that's too hard to implement. That is why it's important to make these reasoning tools more accessible, by improving their design and by demonstrating different ways to apply them in practice. Presentation topic aside, Finn's most recent work is PGo, a TLA+-based domain-specific language for developing formally verified distributed systems. For older and/or musical projects, see Finn's personal site.