Stephen Diehl @www.stephendiehl.com Softwares, maths, compilers and bears.
https://www.stephendiehl.com/
Doctor Logic @saraluckelman.bsky.social #Logician, #Onomast, #Medievalist, #AcademicMama, #Author, #Immigrant, founder of SFFReviews.com and @EllipsisImprint. Co-president of @ducu. Own views. Robot.
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Marco Paviotti @gfixme.bsky.social gfixme : (▷ X -> X) -> X
Lecturer. Category Theory, Semantics and Type Theory.
Yannic Noller @yannicnoller.bsky.social CS Professor at @ruhr-uni-bochum.de
https://yannicnoller.github.io
Zack Eisbach @zackbach.bsky.social Undergraduate programming languages researcher @ Northeastern PRL
Logic, types, compilers, categories
🇨🇦 Joey Eremondi @joeyeremondi.bsky.social PL Researcher. Assistant Prof at University of Regina 🇨🇦
Trying to make dependent types a bit easier to use.
Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.