@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
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
@mnowack.bsky.social @mnowack.bsky.social 
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
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
@srgimperial.bsky.social @srgimperial.bsky.social 
Daniel Schemmel @daniel.schemmel.net 
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
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.
Yannic Noller @yannicnoller.bsky.social CS Professor at @ruhr-uni-bochum.de
https://yannicnoller.github.io
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.
@ccadar.bsky.social @ccadar.bsky.social 
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. 
Peter Goodman @cxx.dev C++ developer specializing in source and binary program analysis and transformation.