Evangelos Lamprou @vagoz.bsky.social 
meier @meiermarie.bsky.social 
ISSTA 2026 Conference @issta.bsky.social The 35th edition of the ACM SIGSOFT International Symposium on Software Testing and Analysis
Oakland, USA // 3-9 October 2026
https://conf.researchr.org/home/issta-2026
@emilyvsmith64.bsky.social @emilyvsmith64.bsky.social 
Formal Methods for Autonomous Systems @fmasworkshop.bsky.social International Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, & Maike Schwammberger
Skeets by Matt Luckcuck & Akhila Bairy
Website: https://fmasworkshop.github.io
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/
@mriffiaslett.bsky.social @mriffiaslett.bsky.social 
Konstantinos Kitsios @kitsios.bsky.social PhD student @ University of Zürich.
Interested in software engineering and software testing.
https://kitsiosk.github.io
Einar Broch Johnsen @ebjohnsen.bsky.social Prof CS University of Oslo
https://ebjohnsen.org
Bushra Ashfaque @buas0987.bsky.social 
Shuangjie Yao @shuangjieyao.bsky.social CS PhD Student@HKUST | Program Analysis
https://sjyao.net
HumaniSE Lab @humanise-lab.bsky.social Funded by ARC, our lab’s world-leading research makes a difference by delivering more inclusive software solutions for today's diverse population needs.
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
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
Seongmin Lee @nimgnoeseel.bsky.social 🎲 A board game geek, 🏸 a badminton lover, and a postdoc researcher
@UCLA working on dynamic and statistical program analysis.
Bachir Bendrissou @bbendrissou.bsky.social Google PhD Fellow | Doctoral Student at Imperial College London | Software Reliability | Fuzzing Enthusiast | Ex-CISPA
@thuanpv.bsky.social @thuanpv.bsky.social Senior Lecturer in Cyber Secutity at @UniMelb & ARC DECRA Fellow. Prev @MonashInfotech & @NUSComputing . (Fuzz) Testing enthusiast.
@mnowack.bsky.social @mnowack.bsky.social 
Bala Chandrasekaran @balakc.bsky.social Husband. Dad. Researcher. Educator. Photographer.
Guannan Wei @guannanwei.bsky.social Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
@fbusse.bsky.social @fbusse.bsky.social 
@srgimperial.bsky.social @srgimperial.bsky.social 
Daniel Schemmel @daniel.schemmel.net 
John Jacobson @johnj3.bsky.social PhD candidate at University of Utah, studying verification and correctness of concurrent systems.
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
@pengwinsurf.bsky.social @pengwinsurf.bsky.social 
Duncan Ogilvie @mrexodia.bsky.social and 100+ other projects. Love binary analysis and Windows internals. Dreaming about doing open source full time...- D Dejan Jovanović @dddejan.bsky.social Automated reasoning @ AWS.
https://dddejan.github.io/
Konstantinos Kallas @konstantinoskallas.bsky.social Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
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.
Joshua Garcia @joshua-garcia-swe.bsky.social Associate Professor at UC Irvine (UCI) researching software testing, especially for autonomous driving; software security; and software architecture.
Any views or opinions expressed are solely those of my own and not UCI or its academic campus units.
@pseudopamine.bsky.social @pseudopamine.bsky.social 
Ben Liblit @liblit.bsky.social 
Joanna C S Santos @joannacss.bsky.social Assistant Professor at University of Notre Dame. Main Research Areas: Software Engineering, Security, Program Analysis.
Bogdan "Bo" Stoica @cachemisses.bsky.social Postdoc-ing @ UIUC. Working on systems reliability and efficiency. Opinions, my own. Reposts are not endorsements. Personal website: https://bastoica.github.io/
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/
Adriana Sejfia @adrianasejfia.bsky.social Assistant Professor in Software Engineering at the University of Edinburgh. CS PhD from University of Southern California. She/her.
👩🏻💻 asejfia.github.io
Umang Mathur @umathur.bsky.social Presidential Young Professor at the National University of Singapore.
https://www.comp.nus.edu.sg/~umathur/
DoC First Year @docfirstyear.bsky.social Updates, activities and highlights of the First Year students in the Department of Computing at Imperial College London
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
Anirudh Khatry @anirudhkhatry.bsky.social CS PhD @utaustin.bsky.social
Chris Poskitt @chrisposkitt.bsky.social Associate Professor (Education) at SMU, Singapore. Software engineering, testing, and computing education. https://cposkitt.github.io/
Pancham Shukla @spancham.bsky.social Academic
Ruijie Meng @ruijiemeng.bsky.social Tenure-track faculty at CISPA | PhD at NUS | Software Security
https://mengrj.github.io/
tosem @acm-tosem.bsky.social 
Martina Lindorfer @lindorfer.in Associate Professor Security & Privacy @ TU Wien. Key Researcher @ SBA Research (she/her). Avid Snacker. Professional Traveller. Mainly Lurker.
🖤 🦖🦙🐈🐶🦝📸🧩✈️🧟♀️
Facundo Molina @facundomolina.bsky.social Postdoc Researcher at @IMDEA_Software 🇪🇸, PhD @CONICET 🇦🇷.
https://facumolina.github.io/
David Lo @david-lo.bsky.social 
Bashar Nuseibeh @basharnuseibeh.bsky.social FREng MRIA MAE FACM
#SoftwareWithoutBoundaries
#responsibleSoftwareEngineering
Executive Dean, City St George’s, University of London.
Professor: The Open University (Emeritus), TCD (Adjunct), UCL (Honorary), Imperial/NII/UCD (Visiting)
Yuriy Brun @yuriybrun.bsky.social Professor at the University of Massachusetts Amherst
https://people.cs.umass.edu/~brun/
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info- K @kubaneko.bsky.social @kubaneko.bsky.social master student at Chalmers something something proof assistants
Carlo A. Furia @bugcounting.net Associate professor in computer science at the Software Institute of USI Università della Svizzera italiana.
Dan Grossman @dangrossmanseattle.bsky.social 
Andrew Davison @ajdavison.bsky.social From SLAM to Spatial AI; Professor of Robot Vision, Imperial College London; Director of the Dyson Robotics Lab; Co-Founder of Slamcore. FREng, FRS.
Nate Foster @natefoster.bsky.social Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
@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
@0xbbddba.bsky.social @0xbbddba.bsky.social Software Engineer
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
Ben Hermann @benhermann.eu Professor for Secure Software Engineering at Universität Stuttgart
🏳️🌈💻🎓
https://benhermann.eu
https://sse.cs.tu-dortmund.de
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
@paulhjkelly.bsky.social @paulhjkelly.bsky.social 
Andrei Homescu @ahomescu.bsky.social @And__Home
@ahomescu@mastodon.world
@rakamaric.bsky.social @rakamaric.bsky.social 
Diomidis Spinellis @coolsweng.bsky.social Professor of software engineering at AUEB and software analytics at TU Delft, programmer, technology author. https://www.spinellis.gr/
(Tech tweets here. Follow @DSpinellis for Greek/Greece tweets.)
Prem Devanbu (பிரேம் தேவன்பு) @devanbu.bsky.social Husband, Dad, Software Engineering researcher at UC Davis, Humboldtian. Loves good ideas, jokes, pranks and The Great Outdoors.
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.
Michele Alberti @lambdaxdotx.bsky.social 
Andrea Fioraldi @andreafioraldi.bsky.social Cyber Response Italian Supercazzola Technology Officer at
@mhackeroni Inc. Writing your favourite fuzz testing tools with
@aflplusplus. Security research at .
Liliana Pasquale @lsalander.bsky.social Associate Professor @ University College Dublin | Director of the MSc in Cybersecurity @ University College Dublin
Research Interests: Software Engineering, Requirements Engineering & Cybersecurity
Phil McMinn @philmcminn.bsky.social Professor of Software Engineering, The University of Sheffield.
https://philmcminn.com
Brendan Dolan-Gavitt @moyix.net AI researcher at XBOW. Security, RE, ML. PGP http://keybase.io/moyix/
Andy Zaidman @azaidman.bsky.social Full professor in software engineering @tudelft. Department head. Software tester. Researcher. Teacher. World citizen.
@soosmate.bsky.social @soosmate.bsky.social 
aurelsec @aurelsec.bsky.social Hackademic at S3@eurecom
J. Ryan Stinnett @jryans.bsky.social Exploring how to make programs more malleable and computing more humane | My communities: Malleable Systems, Matrix, Mozilla | He/him
Alexander Serebrenik @aserebrenik.bsky.social Professor of Social Software Engineering. Eindhoven University of Technology, The Netherlands. Diversity, inclusion and source code.
🇧🇪🇮🇱🏳️🌈 🐕 He/him
Thomas Vogel @tomvog.bsky.social Software engineering for trustworthy autonomous systems.
Researcher @humboldtuni.bsky.social, previously @unipaderborn.bsky.social, PhD from @hpi.bsky.social. Find me at https://thomas-vogel.github.io/
Johannes Kinder @jkinder.bsky.social Professor @ LMU Munich
Security, Program Analysis, Machine Learning
Kabilan Mahathevan @kabilan-m.bsky.social CS PhD Student @VT
Rahul Gopinath @rahul.gopinath.org Lecturer at the University of Sydney, Australia. ശ്രീദേവി's Dad. I work in the junction between SE and CySec. Interested in Program Analysis, Mutation Analysis, Repair, Grammar Inference, Generation and Parsing
https://rahul.gopinath.org
Manu Sridharan @manu.sridharan.net CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Moritz Schloegel @mu00d8.bsky.social Faculty @CISPA Helmholtz Center doing software security, program analysis, and fuzzing
Previously at SEFCOM lab @ASU and @RUB
Lucas @priime.bsky.social Interested in Racket, Emacs, NixOS
Abhik Roychoudhury @abhikrc.bsky.social Professor of Computer Science at National University of Singapore
https://abhikrc.com
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods.