Daniel Schemmel

@mnowack.bsky.social

@srgimperial.bsky.social

@klovo.io

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

@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

@mboehme.bsky.social

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

@mirchevmartin.bsky.social

PhD Student in Trustworthy and Secure Software Research group in National University of Singapore

@abhikrc.bsky.social

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

@sphlpp.bsky.social

PhD researcher in software sec & eng @ TUM

@sigplan.bsky.social

The ACM Special Interest Group on Programming Languages.

@acm-tosem.bsky.social

@pengwinsurf.bsky.social

@fbusse.bsky.social

@ccadar.bsky.social

@bsky.app

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