@wicko3.bsky.social

Senior Lecturer at Imperial College EEE researching programming languages and hardware design.

@pengwinsurf.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

@moyix.net

AI researcher at XBOW, Associate Professor @ NYU Tandon (on leave). Security, RE, ML. PGP http://keybase.io/moyix/ Founder of the MESS Lab: http://messlab.moyix.net

@soosmate.bsky.social

@jkinder.bsky.social

Professor @ LMU Munich Security, Program Analysis, Machine Learning

@abhikrc.bsky.social

Professor of Computer Science at National University of Singapore https://abhikrc.com

@arminbiere.bsky.social

SAT Solver Hacker, Professor, University of Freiburg

@is-eqv.bsky.social

Fuzzing & stuff https://hexgolems.com

@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/

@aseconf.bsky.social

The 40th IEEE/ACM International Conference on Automated Software Engineering – https://conf.researchr.org/home/ase-2025

@cxx.dev

C++ developer specializing in source and binary program analysis and transformation.

@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.

@ccadar.bsky.social

@marcozzi.net

🇪🇺🇧🇪 Permanent researcher in cybersecurity (fuzzing). Works at CEA List Institute from Université Paris-Saclay (France). http://www.marcozzi.net I make software safer by viciously torturing it to reveal its flaws. I can be kind too.

@mboehme.bsky.social

Software Security @MPI, PhD @NUS, Dipl.-Inf. @TUDresden. Research Group: http://mpi-softsec.github.io

@yannicnoller.bsky.social

CS Professor at @ruhr-uni-bochum.de https://yannicnoller.github.io

@chengyuzhang.bsky.social

Lecturer (Assistant Professor) at Loughborough University. Working on Software Engineering, Programming Languages, and Formal Methods. 🙌 Looking for PhD and visiting students.

@adrianherrera.bsky.social

Security researcher with a penchant for programming language theory. Building fuzzers @interruptlabs.bsky.social. https://adrianherrera.github.io/

@daniel.schemmel.net

@srgimperial.bsky.social

@fbusse.bsky.social

@bsky.app

official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app