@smangla.bsky.social @smangla.bsky.social 
Na'aman Hirschfeld @nhirschfeld.bsky.social Co-Founder & CTO @ xberg.io. Document AI and extraction, polyglot Rust cores. Building basemind. Creator of Litestar & Polyfactory. Open source. Opinionated and strongly typed.
Chris J. Karr @cjkarr.bsky.social I wear a lot of hats: software developer, entrepreneur, weird fiction publisher, writer, non-profit founder, election worker, local handyman, open-source creator, and Macross & X-Men fan.
Latest updates can be found at notesfromthevoid.cc.
Kyle Cranmer @kylecranmer.bsky.social Director Data Science Institute @UWMadison, Professor of Physics,
EiC @MLSTjournal. Physics, stats/ML/AI, open science.
forgetful functor @lowpassfilter.bsky.social cs researcher at the intersection of programming languages, automated reasoning, and machine learning.
Jessica Shi @jwshi.bsky.social PhD student at Penn.
Tori @proof-by.bsky.social Logic and categories
https://victoriavollmer.github.io/
@jhjackyt.bsky.social @jhjackyt.bsky.social 
GLOBAL Visibility aéPiot - by aePiot.ro @globalvisibility.bsky.social SEMANTIC WEB - https://aePiot.ro - https://allGraph.ro - https://aePiot.com - https://Headlines-World.com - INDEPENDENT SEMANTIC INFRASTRUCTURE Web 4.0 where knowledge is generated locally, shared freely, and never collected, tracked, or controlled.
Vaishnavi S @vaishs.bsky.social Gulpy, gurgly, plobby, squishy, wofflesome | Occasionally a computer scientist https://vaishs.github.io
Anna Fore Waymack @waymack.bsky.social Feminist, nerd, sailor, gardener, embroiderer, beekeeper. Should be writing. She/her. 
NO CONTEXT HUMANS @noncontexthumans.bsky.social humans being humans
Edivaldo direita!!! @chapa85.bsky.social Fora Lula, ladrão!
Hakeem Jefferson @hakeemjefferson.bsky.social Assistant professor of political science at Stanford. Forthcoming book, Respectability Politics, with University of Chicago Press.
Not Hakeem Jeffries, the Minority Leader.
hakeemjefferson.com
Nora Wang @carolinesohn.bsky.social 10+ years in drug development, specializing in rare diseases and neurological disorders. Expertise in translational medicine and clinical trial design, with a proven record in advancing novel therapeutics.
Adela @kaguuura.bsky.social 
Jake Eakle @jseakle.bsky.social nothing is always an erasure. the layers are a monolith. every default bleeds.
Th. Ma. @thierry.marianne.io 
Marianne Aubin Le Quéré @mariannealq.bsky.social Postdoctoral Fellow @ Princeton CITP. ex-Cornell PhD, future UIUC asst prof (fall 2026).
Looking at AI's impact on information ecosystems and news consumption. social computing, computational social science & journalism
mariannealq.com
Bala Chandrasekaran @balakc.bsky.social Husband. Dad. Researcher. Educator. Photographer.
@hannelita.bsky.social @hannelita.bsky.social 
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
Marco Guarnieri @mguarnieri.bsky.social Associate Professor @ IMDEA Software Institute. Doing research on security at the hardware/software interface. Find me also at @mguarnieri@infosec.exchange
Toby Murray @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- W Chentian Wu @wuct.bsky.social 25' BS @ UW-Madison >>= PhD @ UIUC
PL / Logic
https://wuct.site
Patrick @patlafon.bsky.social 
Dominik Winterer @dominikwinterer.bsky.social Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
Balajee @balajee.bsky.social I make networks faster—because buffering is evil. Assoc Prof @UIC. PhD @Purdue. Ex-NVIDIA chip tinkerer. Your MacBook Air might run my chip.
Sankha Narayan Guria @sankhs.com Assistant Prof @ University of Kansas| 🔧 programming languages / type systems / synthesis | https://sankhs.com
Sabine Oechsner @proofnerd.bsky.social cryptography and pretty proofs | PL-curious | everything is MPC | assistant professor @ VU Amsterdam
soechsner.de
@madsjw.bsky.social @madsjw.bsky.social 
Jahrim Gabriele Cesario @jahrim.bsky.social PhD Student in Programming Languages at the University of St. Gallen (HSG)
Josh Gancher @jgancher.bsky.social Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
Jingbo Wang @jingbow.bsky.social Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
Riley Rothe @rileyrothe.bsky.social Photographer and ultimate frisbee player
Elijah Bouma-Sims @elijahboumasims.bsky.social Ph.D. Student at Carnegie Mellon University in Societal Computing, NCSU C/O 2021. I do research on usable security and privacy with a focus on scams.
https://elijahboumasims.com
Guido Salvaneschi @guidosalva.bsky.social Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
Ernest Ng @ngernest2.bsky.social PL/Systems PhD student at Cornell
ngernest.github.io
ionchy @ionchy.ca it's pronounced "yawn-chee" and the `i` is lowercase
MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn
asian-canadian 🇨🇦🇹🇼🇭🇰🏳️🌈
I inherited https://types.pl
⍼ https://ionathan.ch
Stephanie Weirich @fancytypes.bsky.social Tell me about types
Josiah Bruner @josiahbruner.com Security engineer at jellyfish.co. Co-founder of riskytrees.com.
aka @JosiahBruner@ioc.exchange
Mariabella @xhoneyxbelitaxox.bsky.social 19 and thriving ✨ Discover my world – it’s on me! ➡️ 💕
https://is.gd/isabrielleqt746
Freya @aivlog.bsky.social Digital Diary | Live the moment, love my cats, create a life I love 💗
JMCT @jmct.bsky.social Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire
Sai Divvela @sdivvela.bsky.social Undergraduate at UMD, interested in PL, systems, and security and all things in their intersection :) also avid manga reader, cat lover, and occasional gamer
Francesco Ranzato @ranzato.bsky.social Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.- R Ryan Chapman @rchapman.bsky.social Senior Site Reliability Engineer. I think that crypto/web3 is bs scam. All cryptofolks get an instablock.
Opinions my own.
http://github.com/ryanchapman/
Everything Nature 💕 @everythinganimals.bsky.social posting everything animals and mother nature 🥰
Serge Egelman @v0max.bsky.social Scientist. Dir. of Usable Security & Privacy at the International Computer Science Institute (icsi.berkeley.edu). Founder, AppCensus (appcensus.io). All opinions are those of his employer(s), and not his own.
https://www.guanotronic.com/~serge/
Ferhat Erata @erata.bsky.social PhD student @Yale • Applied Scientist @AWS AI • Automated Reasoning • Neuro-Symbolic AI • Alignment • Security & Privacy • Views my own • https://ferhat.ai
Sam Westrick @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/