
I work as a research software engineer for Prof. Ichiro Hasuo at the National Institute of Informatics in Tokyo, Japan, where I use Haskell to create domain-specific programming languages for formal verification of cyberphysical systems.
My ambition is to design software which makes formal verification more accessible to developers. I'm particularly interested in improving the user experience of dependently-typed programming.
In my free time, I enjoy cycling, goats, dodgeball, long walks, and bread. Maybe one day I'll make more games. If you'd like to chat, feel free to write me at benrbray@gmail.com.
Selected Writing
Selected Projects




As an undergraduate research assistant, I ran statistical topic models on a corpus of 19th-century German-language periodicals.





Open Source
I maintain the following open-source packages:
I have also made a few small contributions to open-source libraries: