Hi, I'm Josh! :) I'm a soon-to-be PhD student in the computational #logic group at the University of Innsbruck, where I'll be working on automated #theorem proving and formal #proof! Basically, this means I get computers to automate logical reasoning, which helps greatly in providing rigorous guarantees of the safety of real-world systems (computer hardware, internet protocols, self-driving cars, ...).
Looking forward to meeting cool new people here! :)