BStools

Andreas Zeller

@andreaszeller.bsky.social

1,403 followers, 145 follows, 110 posts

Registered:22 Sep 2023 05:50

Follow date:29 Jul 2025 08:26

Last post:2 days ago

Last like received:1 day ago

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/

mnowack.bsky.social

@mnowack.bsky.social

10 followers, 23 follows, 0 posts

Registered:20 Mar 2025 15:07

Follow date:4 Apr 2025 14:12

srgimperial.bsky.social

@srgimperial.bsky.social

9 followers, 5 follows, 5 posts

Registered:6 Mar 2025 16:55

Follow date:6 Mar 2025 19:49

klovo.io

@klovo.io

1 followers, 1 follows, 0 posts

Registered:28 Jan 2025 05:30

Follow date:6 Mar 2025 18:21

Manuel Rigger

@mrigger.bsky.social

502 followers, 251 follows, 34 posts

Registered:15 Nov 2024 08:04

Follow date:6 Mar 2025 16:34

Last post:3 Feb 2026

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.

afd-icl.bsky.social

@afd-icl.bsky.social

169 followers, 128 follows, 35 posts

Registered:26 Nov 2024 07:28

Follow date:6 Mar 2025 16:33

Last post:20 Dec 2025

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

Marcel Böhme

@mboehme.bsky.social

899 followers, 504 follows, 160 posts

Registered:17 Nov 2024 07:13

Follow date:6 Mar 2025 16:33

Last post:27 Feb 2026

Software Security @ MPI for Security and Privacy Spokesperson for Max Planck Research Group Leads at CPTS PhD @NUS, Dipl.-Inf. @TUDresden Research Group: http://mpi-softsec.github.io

Martin Mirchev