Followers
@ducthan.bsky.socialHUYEN @leebichnyen0231.bsky.social Kind and generous
Jenna DiVincenzo @jcenzo.bsky.social Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
Caleb Stanford @calebstanford.bsky.social Assistant Professor at UC Davis. Programming languages, formal methods, systems. https://github.com/DavisPL
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Yutaka @yutaka-en.bsky.social Computer Scientist at the Czech Academy of Sciences https://yutakang.github.io https://www.youtube.com/@unitedreasoning https://github.com/data61/PSL
Kristopher Micinski @krismicinski.bsky.social kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.