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! :)
@jaycech3n Hi welcome :)
Scholar Social is a microblogging platform for researchers, grad students, librarians, archivists, undergrads, academically inclined high schoolers, educators of all levels, journal editors, research assistants, professors, administrators—anyone involved in academia who is willing to engage with others respectfully. Read more ...