Rachit Nigam @notypes.bsky.social incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/).
building new languages and compilers to make hardware design fast, fun, and correct
Joe Cutler @alphaconvert.bsky.social cutler.pl
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Poorva Garg @poorvagarg.bsky.social Working on Probabilistic Programming Languages
https://web.cs.ucla.edu/~poorvagarg/
Guy Van den Broeck @guyvdb.bsky.social 🎓 CS Prof at UCLA
🧠 Researching reasoning and learning in artificial intelligence: tactable deep generative models, probabilistic circuits, probabilistic programming, neurosymbolic AI
https://web.cs.ucla.edu/~guyvdb/