Abhinav Gyawali
Compiler Engineer @ Feldera
Interested in PL, Compilers, Databases and a whole lotta things that I don’t know about yet!
https://abhizer.com
@yzfang.bsky.social
Program verification/analysis, software engineering, and programming languages. PhD Student at University of Southern California. Opinions are my own.
@taylorjsmith.bsky.social
🇨🇦 Theoretical computer scientist. Assistant professor at @stfx-university.bsky.social. Website: taylorjsmith.xyz.
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@rajeshveera.bsky.social
Prof. Georgetown University, Tech and Welfare, ICTD, Critical AI, author: Patching Development. ex - Microsoft developer, UC Berkeley(Ph.D) interested in Real Utopias Tech and social change #sociotechnical, #labortech, #welfare, #AI www.rajeshveera.org
@barik.net
I'm a Research Scientist exploring the intersection of human-computer interaction, machine learning, and programming languages. barik.net.
@reshabh.bsky.social
Everything is a compiler! PhD student @uwcse Opinions are my own!
@vanlightly.bsky.social
Researcher, advisor, writer, formal verification eng @ Confluent. Everything data (dist sys, databases, messaging, data eng/analytics). https://jack-vanlightly.com, https://www.hotds.dev Credit: ESO/B. Tafresh
@samwillis.uk
Local First, Sync Engines, @pglite.dev and Sync Engines at @electric-sql.com. More at https://samwillis.uk
@dlipomi.bsky.social
chair of chemical engineering at U Rochester, dad, professor, youtuber, materials scientist, wannabe neuroscientist, trombone enthusiast, fair weather vegetarian, fan of 90s music, video games, and Stars of both the Wars and Trek variety
@elfprince13.mumak.app
Director of Geospatial AI @nbcuniversal.com, Brown CS PhD & SMCVT Math/Physics/CS alum, admin @cemetech.net, AFOL, SFF nerd & open-theist Bluesky open-source contributor Decentralizing systems (human & digital) Opinions are my own 📍Vermont
@conorpower23.bsky.social
Berkeley CS PhD student working on hydro.run. Former senior SWE on MSFT Cosmos. Databases 🐘 and distributed systems 🕰️ with some theory 🧮 thrown in.
@hillelwayne.com
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q4 2025) Newsletter: https://buttondown.email/hillelwayne/
@evacchi.dev
Programming Language Nerd, PhD in C.S. Staff Research Engineer @ Dylibso — Compilers, WebAssembly, Java, Rust, Go (chicory.dev and wazero.io) — prev: wazero @ Tetrate, RedHat, UniCredit — organizer Papers We Love Milano evacchi.dev
@tonofcrates.bsky.social
@bernsteinbear.com
Baking bread and compilers are kinda similar if you think about it @tekknolagi elsewhere
@ericeide.bsky.social
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
@randomlywalking.bsky.social
Research Scientist, Google DeepMind / Ex-academic / Deep learning to help people write code / ❤️s:🐱🐶☕️🍕
@idillig.bsky.social
CS professor at UT Austin, does research in programming languages & formal methods.
@emeryberger.bsky.social
Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow.
@jonathanaldrich.bsky.social
Professor at Carnegie Mellon University, working on programming languages and software engineering. ACM Publications Board member. Husband, dad. Black & Trans Lives Matter. Views are my own. He/him.
@heathermiller.bsky.social
Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
@alphaconvert.bsky.social
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
@ltratt.bsky.social
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
@avh.bsky.social
Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her. https://cs.wellesley.edu/~avh/
@lorisdanto.bsky.social
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
@taliaringer.bsky.social
@samth.bsky.social
Associate Professor, IU Computer Science · Core Developer, @racketlang.bsky.social · Member, TC39 · Handler, Gravymaker · Bike Advocate, Bloomington IN
@tobycmurray.bsky.social
Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
@davidjustodavid.bsky.social
PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.
@owenarden.bsky.social
CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems he/him
@rg9119.bsky.social
Transmogrifying coffee into LaTex, but now more grumpy and slow about it. University of British Columbia Computer Science
@andreaszeller.bsky.social
Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/
@stefan-marr.de
Researcher, Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.
@wicko3.bsky.social
Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
@shwestrick.bsky.social
assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl) https://cs.nyu.edu/~shw8119/
@mwillsey.com
https://mwillsey.com asst prof @ uc berkeley eecs mastodon: @[email protected]
@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/
@tagide.com
Professor at UC Irvine, among other things. This is my personal account, not the University’s. I like light and clarity.
@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
@santosh-nagarak.bsky.social
Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
@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