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.
Collins Munyendo @collinsmunyendo.bsky.social Postdoc at UC Berkeley and Incoming Asst Prof of CS at NUS
Human factors in computer security and privacy
https://collinsmunyendo.github.io/
TESSERA @geotessera.org I'm an open-source pixelwise geospatial foundation model that maps the planet's terrestrial surface at a 10m2 resolution with 128 dimensions. Easy to use in any map tiling workflow. Developed by @eeg.cl.cam.ac.uk and more at https://geotessera.org
Schmidt Marine @schmidtmarine.bsky.social We support the development of innovative marine technologies that restore and protect the health of our oceans.
#marinetech #fisheries #oceanresearch
FathomNet @fathomnet.bsky.social Converting pixels to impactful ocean information using artificial intelligence.
Anji Liu @anjiliu.bsky.social Assistant Professor (Presidential Young Professor, PYP) at the National University of Singapore (NUS).
https://liuanji.github.io/
Marcus Chua @marcuschua.bsky.social Studies and curates mammals of SE Asia. Biodiversity, conservation, and natural history museums. Also swims, hifi, and ramen.
Same handle on the x-bird app.
🇸🇬
https://sites.google.com/view/marcuschua
Peter Steinberger @steipete.me vibe coding is the way. I bootstrapped a remote company before it was cool. Founder @PSPDFKit (exit to Insight). 🏳️🌈
Ghjulia Sialelli @ghjuliasialelli.bsky.social PhD student @eth-ai-center.bsky.social / PRS / Ecovision • working on AI & Sustainability 🛰️🌳 • she/her • made in Corsica • organizer of the @ai-env-summit.bsky.social • 🍉
🔗 https://ghjuliasialelli.github.io/
Sara Beery @sarameghanbeery.bsky.social Research on AI and biodiversity 🌍
Asst Prof at MIT CSAIL,
AI for Conservation slack and CV4Ecology founder
#QueerInAI 🏳️🌈
Kannan Raja @jkannanr.bsky.social President & the Bluesky thumbs of @herpsocsg.bsky.social
PhD Researcher. Part-time herper. Dino Aficionado. Avid Bibliophile. Amateur Wildlife Photographer. Armed with an iPhone 12 and/or Canon. Bearded, largely.
Christian Wolf @chriswolfvision.bsky.social Principal Scientist at Naver Labs Europe, Lead of Spatial AI team. AI for Robotics, Computer Vision, Machine Learning. Hobby Cyclist. Austrian in France. https://chriswolfvision.github.io/www/
Google Open Source @opensource.google Announcing new open source releases, exploring projects, sharing how we approach FOSS, and supporting communities around the world.
Sankar Ananthanarayanan @sankarology.bsky.social Herpetology, Theoretical Ecology, Struggling PhD Candidate at National University of Singapore
James W T Hogg @jwthogg.bsky.social I go birding (a lot) and take a few photos. Stay at home dad and conservation volunteer. Trailing spouse. Yorkshire, currently based in Singapore 🇸🇬
eBird reviewer for 🇷🇼🇱🇧🇲🇿
Insta: jwthogg
Lalith Suresh @lalithsuresh.bsky.social CEO @ feldera.com, the incremental compute engine for AI, ML and data teams.
Formerly a systems researcher in distributed systems, databases, cloud, OS, PL, and networking. Sci-fi and gaming nerd.
lalith.in/research
Herpetological Society of Singapore @herpsocsg.bsky.social We are a group of herpetology enthusiasts based in Singapore, enthusiastic about studying and conserving reptiles and amphibians.
Find out more about us here: linktr.ee/herpsocsg
jane l. e [she/her] @littlejanee.bsky.social stanford hai postdoc, [incoming] nus assistant professor
previously: postdoc at ucsd's design lab, phd at stanford hci, bse at princeton
ejane.me
Ao Li @aoli.al PhD Student@CMU
If you want deterministic concurrency testing, try Fray (https://github.com/cmu-pasta/fray). 
Yuchen @derschwingfliegen.bsky.social Senior Curator (Entomology) @ LKCNHM, Singapore. Research interests in Dark-, Largescale-, Cyber- and AI-taxonomy. Passionate on Sepsidae. Creator of Sepsidnet. Occasionally posting on the fly!
iNaturalist @inaturalist.bsky.social The place where your nature photos impact science & conservation around the world. Free, nonprofit, & community-powered. 🪲🐌🌿
OBIS @obis.org We provide open access to global ocean biodiversity data.
#OBISCommunity
GBIF @gbif.org Global Biodiversity Information Facility
Want to be the first to learn about new datasets and use of data in GBIF? Check out @gbifmorpho.bsky.social 🦋
European Open Source Academy (EOSA) @eosa.bsky.social Amplifying the work of Open Source software and hardware community. Supporting the future generations of innovators.
https://europeanopensource.academy/- M @mhicks.bsky.social @mhicks.bsky.social
Dipesh @dipeshhh.bsky.social Interested in Programming Languages and Systems. 
Gokul Rajiv @gok99.bsky.social (recently graduated) undergrad @ NUS and walkable city enthusiast doing Programming Languages research
Junwen An @junwenan.bsky.social CS PhD Student@National University of Singapore. Member of Trustworthy Engineering of Software Technologies lab.
wanteatfruit.github.io
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
Ningke Li @ningkeli.bsky.social PhD student@NUS, Singapore
Michael Schwarz @93mschwarz.bsky.social PhD Student in Computer Science at TUM working on Static Program Analysis. Traveller. Fan of (almost) everything Science Fiction. https://michael-schwarz.github.io/
Abhinav Gyawali @abhizer.com Engineer @ Feldera
Incoming CS PhD Student at UT Austin
https://abhizer.com
IMDEA Software @software.imdea.org At the forefront of research with world-wide top class researchers, to ensure that software is safe, reliable and efficient.
Sergio Segura @profsegura.bsky.social Professor in Software Engineering @ Universidad de Sevilla (Spain). Website: https://personales.us.es/sergiosegura/
International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social The 40th IEEE/ACM International Conference on Automated Software Engineering – https://conf.researchr.org/home/ase-2025
Julien Vanegue @jvanegue.bsky.social CTO Office / Head of Infrastructure & Security Research at Bloomberg. Interested in software, systems, and network verification at world scale.
CISPA Helmholtz Center for Information Security @cispa.de Shape the future world.🚀
🔒Cybersecurity I 🫱🏻🫲🏼Privacy I 🤖Trustworthy AI
Privacy Policy and Legal Notice: https://cispa.de/en/linkinbio
Alexander Lex @alex-lex.bsky.social Data visualization researcher. Associate Prof of CS at the University of Utah. Lab website: https://vdl.sci.utah.edu. Co-founder of
datavisyn: https://datavisyn.io
Davide Ancona @davideancona.bsky.social University of Genova, Italy
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
@jinshengba.bsky.social @jinshengba.bsky.social 
Elisa Gonzalez Boix @elisagboix.bsky.social Researcher, professor of Computer Science at Vrije Universiteit Brussel, Belgium
Michael Schröder @schrototo.bsky.social PhD student at TU Wien.
mcschroeder.github.io
@thuanpv.bsky.social @thuanpv.bsky.social Senior Lecturer in Cyber Secutity at @UniMelb & ARC DECRA Fellow. Prev @MonashInfotech & @NUSComputing . (Fuzz) Testing enthusiast.
Gabriel Sherman @gabriel-sherman.bsky.social Ph.D. Student at the University of Utah | Computer Security
https://gabe-sherman.github.io/
SIGPLAN AV @sigplan-av.bsky.social We are a volunteer-led team within SIGPLAN that provides audio, livestreaming, recording, remote participation and archiving for SIGPLAN conferences.
https://sigplan.org/AV
Every event we cover is available on YouTube:
https://youtube.com/@acmsigplan
Guannan Wei @guannanwei.bsky.social Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
Stefan Neumann @neumannstefan.com Assistant professor @ TU Wien, associate faculty @ Complexity Science Hub.
Previously: KTH, Brown, Uni Wien.
I study algorithms for data science and social-network analysis. Connecting theory 🤝 practice.
More info: https://neumannstefan.com.
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
David Spielmann @spdavid.bsky.social PhD student in the Programming Group at the University of St. Gallen
making Infrastructure as Code more reliable
https://david-spielmann.ch/
@fbusse.bsky.social @fbusse.bsky.social 
Michael Choi @michaelchchoi.bsky.social Applied probabilist. Probability, MCMC, optimization, information theory, TCS.
https://mchchoi.github.io/
Gernot Heiser @microkerneldude.bsky.social Physicist by training, computer engineer by passion
Scientia (distinguished) Professor and John Lions Chair of Operating Systems at UNSW Sydney and Founding Chairman of the seL4 Foundation
FACM FIEEE FTSE FRSN ML
Matthias Grimmer @grimmerm.bsky.social Teacher for Software and Electronics @ HTL Braunau
Stefan Nagy @snagycs.bsky.social Faculty @utah.edu.
My lab hunts bugs: https://futures.cs.utah.edu/bugs.
Mastodon: snagy@infosec.exchange
Twitter: @snagycs
Arie van Deursen @avandeursen.bsky.social Professor in software engineering at Delft University of Technology, The Netherlands. I'm mostly active on Mastodon, as https://mastodon.acm.org/@avandeursen 
Chengyu Zhang @chengyuzhang.bsky.social Lecturer (Assistant Professor) at Loughborough University.
Working on Software Engineering, Programming Languages, and Formal Methods.
🙌 Looking for PhD and visiting students.
Marc Brooker @marcbrooker.bsky.social Serverless, databases, and serverless databases at AWS. Views my own.
Check out my blog: https://brooker.co.za/blog/
Madelon Hulsebos @madelonhulsebos.bsky.social AI researcher at CWI & ELLIS Amsterdam https://trl-lab.github.io. Research on tabular AI to democratize insights from structured data. Prev at UC Berkeley and the University of Amsterdam.
https://www.madelonhulsebos.com
ewuuu @eugenewu.net eugenewu.net
ACM SIGSOFT @sigsoft.bsky.social The ACM Special Interest Group on Software Engineering provides a forum for computing professionals from industry, government and academia to examine principles, practices, and new research results in software engineering.
Daniel Sokolowski @dsoko.bsky.social ProTeam Management Trainee at #LufthansaGroup, ex Applied Scientist Intern at #AWS, Software Engineer, and Research Scientist
Gabor Szarnyas @szarnyasg.org Head of DevRel at DuckDB Labs
Danica Porobic @dporobic.bsky.social CMTS@Oracle Database, PhD Databases EPFL, opinions are my own
Pınar Tözün @pinartozun.bsky.social Head of Data, Systems, and Robotics Section & Associate Professor at IT University of Copenhagen
https://www.pinartozun.com/
https://itu-dasyalab.github.io/RAD/
http://distortedpollyanna.blogspot.com/
Joanna C S Santos @joannacss.bsky.social Assistant Professor at University of Notre Dame. Main Research Areas: Software Engineering, Security, Program Analysis.
@vijaychidambaram.bsky.social @vijaychidambaram.bsky.social 
Systems Group @ TU Darmstadt @tuda-systems.bsky.social Systems Group at the Technical University of Darmstadt, led by Carsten Binnig and Zsolt István.
Website: https://www.informatik.tu-darmstadt.de/systems/
Also: @cs-tudarmstadt.bsky.social @tuda.bsky.social
@daphnemiedema.bsky.social @daphnemiedema.bsky.social 
Gregory Gay @greggay.bsky.social Associate Professor (Chalmers and University of Gothenburg), mostly working on software testing.
American living in Sweden.
Sometimes gaming journalist.
70% composed of memes.
More on my work at http://greggay.com
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy Software researcher at https://cispa.de., working on https://fandango-fuzzer.github.io, https://www.cispa.de/s3, @TheFuzzingBook, @TheDebuggingBook, and more […]
🌉 bridged from ⁂ https://mastodon.social/@AndreasZeller, follow @ap.brid.gy to interact
International Conference on Software Engineering @icseconf.bsky.social The premier International Conference on Software Engineering. April 12-18, 2026. Official hashtag: #icse2026.
https://conf.researchr.org/home/icse-2026
Wan Shen Lim @wslim.bsky.social databases @ CMU-DB | capybara enthusiast | Pittsburgh | Brunei
Shin Yoo @drsyoo.bsky.social academic/music lover/reader/gamer/espresso drinker+maker
Ruijie Meng @ruijiemeng.bsky.social Tenure-track faculty at CISPA | PhD at NUS | Software Security
https://mengrj.github.io/
Guido Salvaneschi @guidosalva.bsky.social Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
Jürgen Cito @citostyle.bsky.social CS Prof @ TU Wien (Vienna), prev DevAI @ Google, Probability @ Meta, Researcher @ MIT and Uni Zurich
David Lo @david-lo.bsky.social 
Zsolt István @zistvan.bsky.social Prof. at the Systems Group at TU Darmstadt
Lukas Eder @lukaseder.bsky.social Java Champion, creator of jOOQ, the best way to write SQL in Java.
Will mostly post about Java, SQL, jOOQ, programming humour, and write at https://blog.jooq.org
Pierre Alquier @pierrealquier.bsky.social Professor of Statistics @ ESSEC Business School, APAC campus Singapore 🇸🇬
https://pierrealquier.github.io/
Previously:
RIKEN AIP 🇯🇵
ENSAE Paris 🇫🇷 🇪🇺
UCD Dublin 🇮🇪 🇪🇺
Université Paris Cité 🇫🇷 🇪🇺
Random posts about stats/maths/ML/AI, poor jokes & birds photo 🌈
Talia Ringer @taliaringer.bsky.social 
Alex Miller @alexmillerdb.bsky.social Database Papers as a Service
@ me with your DB paper questions or “what do I read for ___” topic requests
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me- N @niki-vazou.bsky.social @niki-vazou.bsky.social
Joe Harris @joeharris76.com • Cache rules everything around me
• You become what you are most measured by
• Performance @ Databricks
@ranjitjhala.bsky.social @ranjitjhala.bsky.social 
Albert ZHANG Tongjun @albertzhangtj.bsky.social NUS CS Undergrad '25, Member of the NUS Trustworthy Engineering of Software Technologies Lab (https://nus-test.github.io/), Fuzzing, Software-Defined Networks
Joining SRG @ Imperial
Personal website: albertzhangtj.at
Oscar Chaparro @ojcchar.bsky.social Assistant Professor at Willliam & Mary, teaching and conducting research in Software Engineering.- O Owen Arden @owenarden.bsky.social CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems
he/him
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/
Kabilan Mahathevan @kabilan-m.bsky.social CS PhD Student @VT
Abhik Roychoudhury @abhikrc.bsky.social Professor of Computer Science at National University of Singapore
https://abhikrc.com
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
@cpitclaudel.bsky.social @cpitclaudel.bsky.social 
Dominik Winterer @dominikwinterer.bsky.social Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
Margo Seltzer @margoseltzer.bsky.social 
Andreas Wortmann @andwor.bsky.social Prof. Software Engineering | University of Stuttgart, ISW | Editor at SoSyM & JoT | EAPLS | www.wortmann.ac
José Cambronero @josepablocam.bsky.social DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com