Ph.D. student at the University of Melbourne. I mainly work on program verification.
Brendan Zabarauskas
brendanzab
I'm interested in how computers can extend human creativity, and how how type systems can be used as tools for thought. π¨βπ¨π¨βπ»π¨βπ¬
@yeslogic Melbourne, Australia