Hi, I'm Josh! :)
I'm a soon-to-be PhD student in the computational group at the University of Innsbruck, where I'll be working on automated proving and formal ! 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! :)

Sign in to participate in the conversation
Scholar Social

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!