@gbodwin.bsky.social
Assistant professor at UMich. I do theoretical computer science and graph theory.
@sigplan-pldi.bsky.social
The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi25.sigplan.org/. Official hashtag this year: #PLDI2025. Posts by @konstantinoskallas.bsky.social and @lastland.bsky.social.
@neurocy.bsky.social
🌱 ruining programming forever @ hazel.org 🌱 professoring @ Michigan 🌱 poetry 🌱 dendrites 🌱 immersion 🌱 flowers 🌱 resisting idiocracy https://web.eecs.umich.edu/~comar
@eakbas2.bsky.social
Visiting scholar at Explainable ML, Helmholtz Munich | CS/CEng professor at Middle East Technical University https://user.ceng.metu.edu.tr/~emre/
@maggiemakar.bsky.social
Assist Prof of computer science @UMichigan CSE & professional email sender. Previously @MIT Machine learning. Causality. Robustness. Healthcare.
@emresevinc.bsky.social
AI | ML | Data | Architecture | Science | Math | Linux | Philosophy 👉 http://linkedin.com/in/emresevinc | https://ileriseviye.wordpress.com | https://x.com/EmreSevinc
@someshjha.bsky.social
I am a professor in the computer sciences at UW-Madison. My technical interests in trustworthy ML, formal methods, and security. My other interests are Indian classical music, mindfulness, tennis, and pickleball.
@swarat.bsky.social
Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swarat
@satnam6502.bsky.social
Punjabi-Scottish-American husband and father of two, Haskell hacker at Groq, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California http://satnam.raintown.org
@lorisdanto.bsky.social
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
@shriram.bsky.social
Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
@dimitrisp.bsky.social
Researcher @MSFTResearch; Prof @UWMadison (on leave); learning in context; thinking about reasoning; babas of Inez Lily. https://papail.io
@dacemoglumit.bsky.social
Institute Professor, MIT Economics. Co-Director of @mitshapingwork.bsky.social. Author of Why Nations Fail, The Narrow Corridor, and Power & Progress.
@necozay.bsky.social
Professor of EECS and Robotics at University of Michigan. Control theory, hybrid & cyber-physical systems, sys id, algorithms, safe autonomy. More info @ http://web.eecs.umich.edu/~necmiye/
@oymak.bsky.social
EECS Prof @UMich, Research on the Foundations of ML+RL+LLM https://sota.engin.umich.edu/
@borzoo.bsky.social
Associate Professor of Computer Science at Michigan State University
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@mahdi.ch
Theoretical Computer Science professor @ U. of Michigan-Ann Arbor. Opinions are mine and may evolve over time. repost ≠ endorsement. Policy: I don't interact with anonymous profiles. Join AAUP. he/him/his.
@idillig.bsky.social
CS professor at UT Austin, does research in programming languages & formal methods.