@ccadar.bsky.social @ccadar.bsky.social 
@srgimperial.bsky.social @srgimperial.bsky.social 
Daniel Schemmel @daniel.schemmel.net 
Cornelius Aschermann @is-eqv.bsky.social Fuzzing & stuff https://hexgolems.com
Yannic Noller @yannicnoller.bsky.social CS Professor at @ruhr-uni-bochum.de
https://yannicnoller.github.io
Armin Biere @arminbiere.bsky.social SAT Solver Hacker, Professor, University of Freiburg
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. 
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
Michaël Marcozzi @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.
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Adrian Herrera @adrianherrera.bsky.social Security researcher with an interest in formal methods.
B̶u̶i̶l̶d̶i̶n̶g̶ breaking things @ Interrupt Labs |
Teaching @ Australian National University
https://adrian-herrera.com
Peter Goodman @cxx.dev C++ developer specializing in source and binary program analysis and transformation.
Abhik Roychoudhury @abhikrc.bsky.social Professor of Computer Science at National University of Singapore
https://abhikrc.com
@halvarflake.bsky.social @halvarflake.bsky.social 
Johannes Kinder @jkinder.bsky.social Professor @ LMU Munich
Security, Program Analysis, Machine Learning
@soosmate.bsky.social @soosmate.bsky.social 
Brendan Dolan-Gavitt @moyix.net AI researcher at XBOW. Security, RE, ML. PGP http://keybase.io/moyix/
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 .
@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
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.
@pengwinsurf.bsky.social @pengwinsurf.bsky.social