Time To Stand Up For Israel @ttsufi.bsky.social Time to Stand Up for Israel educates about the true situation in Israel and supports the state of Israel unconditional. We are a non-religious and apolitical organization, firmly believing in Israel's right to exist and its duty to defend herself.
Patrick @patlafon.bsky.social 
Print Play Protect @printplayprotect.bsky.social We make cool tabletop items :D
@teafy.bsky.social @teafy.bsky.social A dog mom 🐾
Support the basic principles of a free society.
Do not align with extreme narratives or divisive rhetoric.
Life is simple, but my stance is clear.
Akhil 🚀 @akhiltulluri.bsky.social tulluri.me | Software Engineer | Compilers, PL, Functional Programming, OCaml 🐫
Duc-Than Nguyen @ducthan.bsky.social Interested in Programming Languages & Formal Verification (he/him)
https://ducthan.net/
@gckeller.bsky.social @gckeller.bsky.social Professor, Software Technology, Utrecht University
@rshbhprsd.bsky.social @rshbhprsd.bsky.social 
Eric Eide @ericeide.bsky.social Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
Aaron Eline @aaroneline.bsky.social 
Ram @ram-ds.bsky.social IIT Madras BS Data Science
Learning AI, ML & Data Science fundamentals
Research-focused | Drones & hardware systems
@jhjackyt.bsky.social @jhjackyt.bsky.social - J @josteinaa.bsky.social @josteinaa.bsky.social
Steve Goguen @sgoguen.bsky.social PLT LARPer and formalism fanboy
@waynee95.bsky.social @waynee95.bsky.social programmer. vim user. student
Harish Chandramouleeswaran @harish1108.bsky.social Ph. D. student in computer science at the Chennai Mathematical Institute.
Academic webpage: https://sites.google.com/view/harish-chandramouleeswaran
@tiasmt.bsky.social @tiasmt.bsky.social 
@ea640x480.bsky.social @ea640x480.bsky.social The glorious lamp of heaven, the sun, The higher he's a-getting
yashyaoo @yashhhh.bsky.social "love is he answer"
john hui @j-hui.bsky.social 
Gokul Rajiv @gok99.bsky.social (recently graduated) undergrad @ NUS and walkable city enthusiast doing Programming Languages research
Aditya Tejpaul @hoarfrost32.bsky.social CS @ IIIT-H
https://adityatejpaul.com
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.
@afd-icl.bsky.social @afd-icl.bsky.social Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk
Taras Glek @taras.glek.net LLMs, system programming
https://taras.glek.net 
Orpheus Lummis @orpheuslummis.info Advancing AI safety through convenings, coordination, software, analysis
Founder of HΩ (https://horizonomega.org), based in Montréal
Yuri Not Igor @ydewit.bsky.social Cryptic posts in general
Adrian Herrera @adrianherrera.bsky.social Security researcher with an interest in formal methods.
B̶u̶i̶l̶d̶i̶n̶g̶ breaking things @ Interrupt Labs |
Teaching @ Australian National University
https://adrian-herrera.com
Josh Gancher @jgancher.bsky.social Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
Nick Rioux @nickrioux.bsky.social Programming will get better.
@proustian.bsky.social @proustian.bsky.social 🐫
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
Sarah Fakhoury @sfakhoury.bsky.social Working on Trustworthy AI4Code, SE/HCI at Microsoft Research.
Guannan Wei @guannanwei.bsky.social Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
Caterina Urban @caterinaurban.bsky.social 
@hannelita.bsky.social @hannelita.bsky.social 
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
@or-gho.bsky.social @or-gho.bsky.social 
Mandolin Brassaw • Grapheme @grapheme-seattle.bsky.social 
Bachir Bendrissou @bbendrissou.bsky.social Google PhD Fellow | Doctoral Student at Imperial College London | Software Reliability | Fuzzing Enthusiast | Ex-CISPA
@bijkerhans.bsky.social @bijkerhans.bsky.social 
Aaron A. Glenn @networkservice.bsky.social programmable packet forwarding and packet forwarding accessories
human rights over property rights
owner/operator of world renowned AS7007
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
transition metal noble gas @aurxenon.io @aurxenon on Twitter
Occasionally good posts - he/him
CS PhD student at Johns Hopkins :)
Opinions are always my own
Blog is https://aurxenon.io
Michele Alberti @lambdaxdotx.bsky.social 
Arindam Khan @arindamkhan.bsky.social Algorithmist | CS Prof. @ IISc Bangalore | Past: Georgia Tech, IIT Kharagpur
Algo-rindam Youtube: https://www.youtube.com/@ArindamKhan
LinkedIn: https://www.linkedin.com/in/arindam-khan-445ab615/
Charles G PhD @charlesgphd.bsky.social #BlackandSTEM #BlackPhD #Morehouse #Commanders #skins, #graphtheory #math #mathsky #cs #compsci #compsky #programming
1 Corinthians 1:27a:
God chose what is foolish in the world to shame the wise;
I like to ask questions about things and call it research
Bala Chandrasekaran @balakc.bsky.social Husband. Dad. Researcher. Educator. Photographer.
AndreasPK @andreaspk.bsky.social Compiler enthusiast, GHC Maintainer, working with Well-Typed.
@shorsher.bsky.social @shorsher.bsky.social 
Sam Lindley @reifyreflect.bsky.social 
Jay Bosamiya @jaybosamiya.bsky.social 🦊 Software security researcher. Making secure software the natural choice. PhD from CMU. CTFer (PPP). https://jaybosamiya.com/
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Sabine Oechsner @proofnerd.bsky.social cryptography and pretty proofs | PL-curious | everything is MPC | assistant professor @ VU Amsterdam
soechsner.de
Eva Darulova @malyzajko.bsky.social Assoc. prof. at Uppsala University, working in programming languages and verification
David Allsopp @dra27.uk Cambridge-based, London-working software engineer; sometime classical singer. @dra27 in many places, including GitHub; OCaml maintainer; opam maintainer; Windows {apolog,evangel}ist
Sheera @sheera82.bsky.social 
Andy Gill @andygillku.bsky.social Principal Software Engineer at Flex. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
Ernest Ng @ngernest2.bsky.social PL/Systems PhD student at Cornell
ngernest.github.io
José Cambronero @josepablocam.bsky.social DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com
Heidi Howard @heidihoward.bsky.social 
Gowtham Kaki @gowthamkaki.bsky.social Assistant Professor at CU Boulder. Programming Languages. Formal Methods. Distributed Systems. Security.
https://gowthamk.github.io
Matthew Parkinson @matt-parkinson.bsky.social Programming language researcher at Microsoft. 
Mike Sperber @sperbsen.bsky.social Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen
Santosh Nagarakatte @santosh-nagarak.bsky.social Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
Somesh Jha @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.
Edwin Brady @edwin.type-driven.org.uk Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com)
https://www.type-driven.org.uk/edwinb/
https://www.lambda-miners.org.uk/
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Sankha Narayan Guria @sankhs.com Assistant Prof @ University of Kansas| 🔧 programming languages / type systems / synthesis | https://sankhs.com
Manu Sridharan @manu.sridharan.net CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods. 
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/
Konstantinos Kallas @konstantinoskallas.bsky.social Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
David Justo @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.
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Emery Berger @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. 
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
Jonathan Aldrich @jonathanaldrich.bsky.social Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Shriram Krishnamurthi @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.
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Max S. New @maxsnew.com Professional computer scientist, unprofessional mathematician
Adrian Sampson @samps.phd actually just on Mastodon: https://discuss.systems/@adrian
Arjun Guha @arjunguha.bsky.social hacker / CS professor https://www.khoury.northeastern.edu/~arjunguha/
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
Manuel Chakravarty @tacticalgrace.justtesting.org 🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy shaper: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Anil Madhavapeddy @anil.recoil.org Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
Crista 🔶 @tagide.com Professor at UC Irvine, among other things. This is my personal account, not the University’s.
I like light and clarity.
Ilya Sergey @ilyasergey.bsky.social Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social 🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~comar