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.
We strive to be a safe space for queer people and other minorities, recognizing that there can only be academic freedom where the existence and validity of interlocutors' identities is taken as axiomatic.
"An academic microblog that you can be proud to put on the last slide of a presentation at a conference"
(Participation is, of course, optional)
Scholar Social features a monthly "official" journal club, in which we try to read and comment on a paper of interest.
Any user of Scholar Social can suggest an article by sending the DOI by direct message to @email@example.com and one will be chosen by random lottery on the last day of the month. We ask that you only submit articles that are from *outside* your own field of study to try to ensure that the papers we read are accessible and interesting to non-experts.