PhD @ MPI-SWS Working on Model Checking Distributed and Concurrent Programs / https://joulook.github.io/
The 40th IEEE/ACM International Conference on Automated Software Engineering – https://conf.researchr.org/home/ase-2025
PhD in Software Engineering, I guess
Supporting the Formal Mathematics revolution
Entrepreneur
Costplusdrugs.com
Pidgin algebraist https://slim.computer
PhD candidate at NUS, and incoming tenure-track faculty at CISPA. Software Testing and Security.
https://mengrj.github.io/
wannabe hacker... he/him
🌱 grow your hacking skills https://hextree.io
Security Engineer @ Cloudflare,
ex-Google ISE,
I use bad software and bad machines for the wrong things.
My writing: https://carstein.github.io
We want to make fuzzing better and better
Follow for updates on AFL++ & LibAFL
Security @Google, Personal Account.
【ＤΞＣＯＭＰＩＬΞ ＮΣＶΞＲ】
Android Red Team @google
Fuzzing @aflplusplus.bsky.social
CTF @enoflag
(opinions my own)
Computer Scientist / CS Prof at IST, University of Lisbon / Researcher at INESC-ID
Web: https://joaoff.com
The premier International Conference on Software Engineering. April 12-18, 2026. Official hashtag: #icse2026.
https://conf.researchr.org/home/icse-2026
noun | a reference source containing words alphabetically arranged along with information about their forms, pronunciations, functions, and etymologies
Software Engineering researcher; Associate Professor at UTFPR, Curitiba, Brazil.
https://adolfont.github.io
Posts mostly in English.
#ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang).
Podcaster.
My podcasts: @redeemilias.bsky.social
Tenure Track Assistant Professor of Computer Science at Colorado State University
