Jay Lee @curry-howard.bsky.social CS PhD Student @ UC Berkeley • CSE MS & ECE BS @ Seoul National University • Programming programming languages • 🏠 jaylee.pl
Pouya Kary ✨ @pouyakary.org Augmenting thought. Unifying media. Liberating education. Toward a unified mechanics of Mind, Medium, and Message.
https://archive.pouyakary.org
Aaryan Patel @patelaaryan.bsky.social CS PhD @ UW-Madison.
Intetested in Security and Privacy, and Programming Languages
@khibino.bsky.social @khibino.bsky.social 
燎原火魄 @prairiefire2b.com 
Print Play Protect @printplayprotect.bsky.social We make cool tabletop items :D
Max Stupple @maxstu.net PhD student in the Department of Computing @ Imperial; interested in programming languages, (weak) concurrency, TTRPGs, (field) hockey and cycling.
@onurorman.bsky.social @onurorman.bsky.social 
Akshay Srivatsan @srivatsan.net Stanford CS B.S. '21, M.S. '22, Ph.D. '28. I research (Distributed?) Operating Systems and/or Programming Languages and/or Networking depending on whom you ask.
BlueOrbit @blueorbit.app Grow your bluesky audience with analytics. Learn mote at: https://blueorbit.app. Public beta is now open: https://app.blueorbit.app
Made with ♥️ in Finland
Quwit @wit.ac swissgrade〽️multimodal aimonomia☢️ ❇️🐏Woolly nucleic FIntel💶wiz-e🌊irreal🍵@noon. Whale bloc
@randyisrandom.bsky.social @randyisrandom.bsky.social Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix
Investigating the illusion of discreetness
youssef @youssefsaleh.com i like proofs ^_^
@jlim1010.bsky.social @jlim1010.bsky.social 
Deepak @iokarki.bsky.social Software engineer.
Distributed systems | Compilers & Runtime | Databases | HCI | Low level systems
kaixuan-li.bsky.social @kaixuan-li.bsky.social Postdoc research fellow @NTU, Ph.D. @ECNU.
https://kaixuanli-ecnu.github.io/
Giovanni Asproni @asprotunity.com Owner at asprotunity.com. Partner at Clockwork.ing. I help software companies and teams become more successful. And I write code as well. Also on LinkedIn https://www.linkedin.com/in/gasproni/
Michael Vollmer @vollmerm.bsky.social Lecturer in the School of Computing at University of Kent. Compilers and programming languages.
Cristina Cifuentes @cristinacifuentes.bsky.social Latina, migrant, mother and wife, researcher, teacher, mentor, leader. Mother of decompilation
Aaron Eline @aaroneline.bsky.social 
Furkan Onder @furkanonder.bsky.social Python Triage Member | Focusing on CPython #LKD #Python #ArchLinux #Django #eBPF
https://github.com/furkanonder/
K.Hirata @venriched.bsky.social 豊穣圏
@ysfa7md.bsky.social @ysfa7md.bsky.social 
Daniel @fancy11111.eurosky.social Studying Software Engineering & Internet Computing @ TU Wien
CV: https://sifa.id/p/fancy11111.eurosky.social
Lu Maltsis @lmaltsis.bsky.social PhD student in Computer Science at the University of Manchester
https://lmaltsis.github.io/
Formal Methods, Proof Assistants, Software Security
Follow me on Mastodon: https://infosec.exchange/@lmaltsis
they/them
@bechang.bsky.social @bechang.bsky.social 
Javier Garea @javiergarea.bsky.social software engineer @ nomasystems
functional programming ∧ open source
github.com/javiergarea
@physician797.bsky.social @physician797.bsky.social 
@dotaps4me.bsky.social @dotaps4me.bsky.social 
$ ssh stickr.shop @stickr.shop We sell you your nerdy laptop stickers that you desperately desire, the way they are supposed to be sold… In your terminal!
$ ssh stickr.shop- M @mhicks.bsky.social @mhicks.bsky.social
FLAG lab @flaglaboratory.bsky.social Research laboratory on computer science! working on programming language implementations, bioinformatics, ai, and post-quantum cryptography.
Based in Colombia at Uniandes @DISCuniandes- A akuebler.bsky.social @akuebler.bsky.social
@waynee95.bsky.social @waynee95.bsky.social programmer. vim user. student
Anastasia Isychev @isychev.bsky.social Lecturer @USyd, ex-postdoc @TU Wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva)
https://aisychev.github.io
Alina Banerjee @interregnumish.bsky.social baby PL engineer, 🇮🇳/migrant, sitarist. Earner, learner & yearner of many things.
David Richter @drcicer.bsky.social ❤️ programming languages.
postdoc at @stg_darmstadt
DR are my initials and my title (now)
Simmo Saan @sim642.eu Computer scientist. https://sim642.eu/
Xiang Chen @x14ngch3n.bsky.social Ph.D. student at HKUST- J @jay-r1pt1de.bsky.social @jay-r1pt1de.bsky.social
Doehyun Baek @doehyunbaek.bsky.social PhD Student @ CISPA Helmholtz Center for Information Security
https://doehyunbaek.github.io/
@streamlight.bsky.social @streamlight.bsky.social 
@srahmoun.bsky.social @srahmoun.bsky.social 
Ethan Bodzioney @bodzioney.bsky.social PL enjoyer. CS MSc @ UToronto
https://bodzioney.org
Anshu Sharma @anshugsharma.myatproto.social Studying quantum networking. YIMBY, anti-ethnonationalisms, pro open borders. Bathrooms shouldn't be gendered. ‘Anarchist’ isn't a slur. He/him. Adult.
Linkedin: https://www.linkedin.com/in/anshugsharma/
Allele Security Intelligence @alleleintel.com Allele Security Intelligence is an independent company specializing in Information Security research. Research and development are fundamental principles that guide our decision-making, enabling us to offer efficient and excellent services to our clients.
Adela @kaguuura.bsky.social 
john hui @j-hui.bsky.social 
Milan Lustig @green726.bsky.social cs @ harvard building @ opt32
Joshua Lock @joshuagl.bsky.social Lecturer in Cyber Security @ Lincoln / PhD student (programming systems / human computer interaction / computing education) @ King's College London
Daniel Rogozin @hyperdoctrine.bsky.social Mathematical logic and complaining
Lorenz Leutgeb @lorenz.leutgeb.xyz PhD student in Automation of Logic at Max Planck Institute for Informatics
Erika @rrika9.bsky.social GPU compiler dev, reverse engineer, mostly in Glasgow
Jonas Rousseau-Morvan @lejonas.bsky.social 
Mikhail Barash @mikbar.bsky.social Programming Language Specification and Standardization. Professor at University of Bergen, Norway. TC39 Delegate. Co-convener of TC39-TG5. Ecma International Executive Committee member. Opinions are my own.
CogniDroid @cognidroid.bsky.social Failure at life and the passion I'd wanted to pursue.
Rutger Broekhoff @fautchen.eu Computing Science(-)student in Nijmegen 🇪🇺
@orpheee.bsky.social @orpheee.bsky.social unironically latinx
Andrea Gilot @agilot.bsky.social PhD at Uppsala University, verifying floating-point programs: andreagilot.com
@acbra.bsky.social @acbra.bsky.social 
@aadaa-fgtaa.bsky.social @aadaa-fgtaa.bsky.social 
Zixian Cai @zcai.org PhD student. Programming languages, computer architecture, and performance analysis/optimization. zcai.org
@patcvail.bsky.social @patcvail.bsky.social Plant molecular biology PhD student at Colorado State University.
Érik Martin-Dorel @erikmartindorel.bsky.social Associate Professor of Computer Science, Software developer.
Fluent in Rocq/OCaml/Java/Python/Docker/Bash/Git/Ansible.
Opinions are my own and not the views of my employer.
https://linktr.ee/erikmd
Conor Titania Mc Bride @pigworker.bsky.social I'm a trans-femme poly
Computer Scientist.
Apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
I do not trust this place.
@pigworker@types.pl on fedi
Don't call me Sir. Do call me "her" personally, or "them" professionally.
@jdemuijnck.bsky.social @jdemuijnck.bsky.social Lecturer of type-driven approaches to trustworthy-systems (CyberSecurity) at Strathclyde. Professionally interested in PL & FM Methods; socially interested in many things! My work doesn’t define me; it is not my identity.
Hendrik van Antwerpen @hendrik.van-antwerpen.net 
mora @moratorium.bsky.social 人生の落とし穴はどこにあるかわからない
https://x.com/moratorium08
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
Stefan Abi-Karam @stefanabikaram.com Graduate Student (@SharcLab) + Research Faculty at @GeorgiaTech 🐝
Working on digital hardware design + AI
https://stefanabikaram.com/
Davide Ancona @davideancona.bsky.social University of Genova, Italy
ETAPS conferences @etapsconf.bsky.social ETAPS International Joint Conferences On Theory & Practice Of Software. The ETAPS conferences are ESOP, FoSSaCS, iFS, and TACAS.
ETAPS 2027: April 10–15, Copenhagen, Denmark
https://etaps.org
@hannelita.bsky.social @hannelita.bsky.social 
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
Matthieu Lemerre @mattthieulemerre.bsky.social Researcher at CEA LIST, working on abstract interpretation of systems language
Yang Chen @chenyang03.bsky.social Professor of Computer Science at Fudan University, former postdoc at Duke University, Senior Associate Editor of the ACM Transactions on Social Computing, Senior Member of ACM/IEEE, Fellow of British Computer Society || https://chenyang03.wordpress.com/
David P @linuxlizard.bsky.social Technology nerd. Former Idaho 🥔 person. Now California 🏖️ person.
Embedded Linux is my jam. And it's always WiFi's fault.
Writing a GNU Make debugger in Python for fun.
#linux #wifi #python
José A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain 
Adam Paszke @apaszke.bsky.social Author of PyTorch, Research Scientist at Google DeepMind. Currently working on Pallas, Mosaic and dex-lang. MIMUW CS & Math graduate.
Programming for the Planet @propl.dev The 3rd Programming for the Planet (PROPL) workshop will be co-located with PLDI in Boulder, Colorado (in hybrid mode) on 15th June 2026.
Fridtjof Siebert @fridis.bsky.social ࿋🚴🏃🐕🦺🐈🎏🥨🥐🥝🇪🇺
Designing the Fuzion programming language and implementing related tools (http://fuzion-lang.dev).
SW safety&security, static code analysis, compilers, FP&OOP.
Radical cyclist, distance runner, resisting car centric culture.
ACM Education and Learning Center @acmeducation.bsky.social ACM Education and Professional Development initiatives.
https://learning.acm.org/
Seongmin Lee @nimgnoeseel.bsky.social 🎲 A board game geek, 🏸 a badminton lover, and a postdoc researcher
@UCLA working on dynamic and statistical program analysis.
Michael Schröder @schrototo.bsky.social PhD student at TU Wien.
mcschroeder.github.io
thunderseethe @thunderseethe.dev 
Heyang Li @heyang-li.bsky.social 
Simon @simon.kade.sh 
Francesco L. De Faveri @kdf7.bsky.social 2nd year PhD Student @UniPD
Research on Privacy and NLP for Information Retrieval
Mohammad Rezaalipour @mohrez25.bsky.social Postdoc @unipassauresearch.bsky.social
PhD in Informatics from @usi.ch
Homepage: mohrez86.github.io
LinkedIn: https://www.linkedin.com/in/m-rezaalipour
Mastodon: https://mastodon.acm.org/@mohrez
X: https://x.com/mohrez2019
Henry Wallace @attobop.bsky.social Learning and hacking! 🌈⚡️🔥💧🌱
https://attobop.net
https://github.com/arclabs561
Omar @omarjatoi.com 
Kjetil Valstadsve @kjetilv.bsky.social Programmer till present.
Valentin Wüstholz @vwuestholz.bsky.social Principal Researcher and Co-founder at Diligence Security, previously at Consensys, ETH Zürich, UT Austin, Microsoft Research, and Google- W Chentian Wu @wuct.bsky.social 25' BS @ UW-Madison >>= PhD @ UIUC
PL / Logic
https://wuct.site
@sttaft.bsky.social @sttaft.bsky.social 
Paul Thilking @paul-thilking.bsky.social 
@pseudopamine.bsky.social @pseudopamine.bsky.social 
Low Society @metacapitalism.bsky.social Deeply committed to opposing MAGA. my pup, books, TV, old movies, jazz, rock, and classical music, beach walks, writing (fiction and non-fiction), abstract painting, stone sculpting, deep sleep, and non-violent villainy.