Gabriel Sherman
Ph.D. Student at the University of Utah | Computer Security
https://gabe-sherman.github.io/
@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/
@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
@mhlakhani.bsky.social
I try to learn everything. Views hopefully my own. Nerd (PL, Rust, security, AI, systems, …). Leftist. Covid conscious. AuDHD (probably). YIMBY. Free Palestine.
@mboehme.bsky.social
Software Security @MPI, PhD @NUS, Dipl.-Inf. @TUDresden. Research Group: http://mpi-softsec.github.io
@cachemisses.bsky.social
PhD candidate in Systems @ UChicago. Working on software reliability & efficiency. Opinions, my own. Reposts are not endorsements. Personal website: https://bastoica.github.io/
@ericeide.bsky.social
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
@dmnk.bsky.social
【ＤΞＣＯＭＰＩＬΞ ＮΣＶΞＲ】 Android Red Team @google Fuzzing @aflplusplus.bsky.social CTF @enoflag (opinions my own)
@rieck.mlsec.org
Machine Learning and Security, Professor of Computer Science at TU Berlin,
@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.
@yannicnoller.bsky.social
CS Professor at @ruhr-uni-bochum.de https://yannicnoller.github.io
@adrianherrera.bsky.social
Security researcher with a penchant for programming language theory. Building fuzzers @interruptlabs.bsky.social. https://adrianherrera.github.io/
@snagycs.bsky.social
Faculty @utah.edu. My lab hunts bugs: https://futures.cs.utah.edu/bugs. Mastodon: snagy@infosec.exchange Twitter: @snagycs