Socket @socket.dev Socket is the #1 software supply chain security platform. Next-gen SCA + SBOM + 0-day prevention. LOVED BY DEVELOPERS.
https://socket.dev
Lin Tan @lin-tan.bsky.social Elmore New Frontiers Professor @PurdueCS | Ex @Meta @UWaterloo @IllinoisCDS @MSFTResearch @IBMResearch | #SE #TextAnalytics #LLM4Code #AI #Security
https://www.cs.purdue.edu/homes/lintan/
Department of Computer Science, Aarhus University @csaudk.bsky.social We are taking a break from Bluesky. Maybe we will come back...
For now check out our profiles on LinkedIn, Instagram and Facebook.
David Lo @david-lo.bsky.social 
Abhik Roychoudhury @abhikrc.bsky.social Professor of Computer Science at National University of Singapore
https://abhikrc.com
stefan brunthaler @sbrunthaler.bsky.social Language-based security is the continuation of compiler construction by other means.
PLs, pretty much all things compilers.
(Just a blackboard from systems programming 101. Is it tacky? 100pct yes; but then again, did you *really* come for nice pictures?)
@ccadar.bsky.social @ccadar.bsky.social 
Matthias Hauswirth @hauswirth.bsky.social Associate Professor at USI in Lugano, Switzerland. Working at the intersection of Programming Languages and Computing Education.
@rpiskac.bsky.social @rpiskac.bsky.social 
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
@titzerbl.bsky.social @titzerbl.bsky.social 
Clemens Nylandsted Klokmose @clemens.klokmose.net Associate professor @ Computer Science, Aarhus University. Arcade game enthusiast. Bass player.
Web page (work): https://cs.au.dk/~clemens/
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
Thomas Vosegaard @tvose.bsky.social Professor of NMR spectroscopy at Aarhus University. All posts represent my own views though.
Caroline Lemieux @cestlemieux.bsky.social now: Assistant Professing™ in Software Practices Lab at UBC. was: postdoc MSR NYC, phd UC Berkeley. also at https://mastodon.acm.org/@cestlemieux. she/her.
Anja Bechmann @anjabechmann.bsky.social Researching collective behavior in AI-powered communication, Professor & Director of DATALAB - Center for Digital Social Research, Aarhus University, Denmark. PI: SoMe Influence project https://dff.dk/, member https://royalacademy.dk/. 
Thomas Riisgaard @thomasriisgaard.bsky.social Director of Digital Research Centre Denmark (DIREC). Writes broadly about digital research and innovation, and life in Denmark.
@professorbodker.bsky.social @professorbodker.bsky.social 
Olav W. Bertelsen @olavbertelsen.bsky.social Faculty at Aarhus University, Computer Science. Union representative and board member at DM Fagforening, Music amateur, Social housing volunteer/activist, father, 
Yannic Noller @yannicnoller.bsky.social CS Professor at @ruhr-uni-bochum.de
https://yannicnoller.github.io
@yanniss.bsky.social @yanniss.bsky.social 
Caterina Urban @caterinaurban.bsky.social 
@andrewcmyers.bsky.social @andrewcmyers.bsky.social 
Thomas Wuerthinger @thomaswue.dev Passionate about compilers & programming languages. GraalVM founder & project lead. VP at Oracle. Expressed opinions are my own. For DM: contact@thomaswue.dev
Paolo Tonella @paolotonella.bsky.social Professor at USI, former PI of ERC research project https://pre-crime.eu, honorary professor at UCL
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Diego F. Aranha @dfaranha.bsky.social Associate Professor of Cryptographic Engineering at Aarhus University. https://dfaranha.github.io/
Ioannis Caragiannis @iannis.bsky.social Professor of Computer Science at Aarhus University. Researcher in algorithm design, foundations of AI/ML, algorithmic game theory, computational social choice.
Rasmus Pagh @rasmuspagh.net Professor of computer science at University of Copenhagen. Interested in random things & their application (especially to algorithms and privacy). rasmuspagh.net
Kasper Green Larsen @kasperglarsen.bsky.social Professor and Head of Algorithms, Data Structures and Foundations of Machine Learning at Computer Science, Aarhus University
Aslan Askarov @aslanix.bsky.social 
Eva Darulova @malyzajko.bsky.social Assoc. prof. at Uppsala University, working in programming languages and verification
Dr. Claire Le Goues @clegoues.bsky.social Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
Marcel Böhme @mboehme.bsky.social Software Security @ MPI for Security and Privacy
PhD @NUS, Dipl.-Inf. @TUDresden
Research Group: http://mpi-softsec.github.io
Johannes Kinder @jkinder.bsky.social Professor @ LMU Munich
Security, Program Analysis, Machine Learning
Prem Devanbu (பிரேம் தேவன்பு) @devanbu.bsky.social Husband, Dad, Software Engineering researcher at UC Davis, Humboldtian. Loves good ideas, jokes, pranks and The Great Outdoors.
Manuel Rigger @mrigger.bsky.social Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (https://nus-test.github.io/). We focus on improving data-centric systems, particularly their reliability. 
Matthew Parkinson @matt-parkinson.bsky.social Programming language researcher at Microsoft. 
Crista 🔶 @tagide.com Professor at UC Irvine, among other things. This is my personal account, not the University’s.
I like light and clarity.
Francesco Ranzato @ranzato.bsky.social Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
Ben Hermann @benhermann.eu Professor for Secure Software Engineering at Universität Stuttgart
🏳️🌈💻🎓
https://benhermann.eu
https://sse.cs.tu-dortmund.de
Dan Grossman @dangrossmanseattle.bsky.social 
Nate Foster @natefoster.bsky.social Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
Rohan Padhye @rohan.padhye.org Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
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
Arjun Guha @arjunguha.bsky.social hacker / CS professor https://www.khoury.northeastern.edu/~arjunguha/
Antony Hosking @antonyhosking.bsky.social Garbage collector.
Professor.
Veselin Raychev @veselinr.bsky.social INSAIT, Co-founder LogicStar AI, ex: Snyk Code, founder DeepCode, PhD @ ETH Zurich - ML for code, Google Maps directions
Ben Liblit @liblit.bsky.social 
@jeremysiek.bsky.social @jeremysiek.bsky.social 
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Andreas Zeller @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/
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
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.
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. 
Santosh Nagarakatte @santosh-nagarak.bsky.social Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
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.
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods. 
Manu Sridharan @manu.sridharan.net CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app