José Antonio Zamudio Amaya
joszamama
Ph.D. Candidate @cispa · I try to break software before attackers do.
CISPA Helmholtz Center for Information Security Saarland, Germany
Moritz Wilhelm
moritzwilhelm
Security Engineer @google | MSc Computer Science | BSc Cybersecurity
@Google Munich, Bavaria, Germany
Markus Rudolph
Lotes
Compiler construction nerd.
Coder with passion. Song and art producer ❤️.
Germany, Brandenburg, Uckermark
Arthur Correnson
acorrenson
PhD candidate at CISPA.
Working on formal verification using proof assistants.
CISPA Helmholtz Center for Information Security Saarbrücken
Martin Eberlein
martineberlein
Doctoral Researcher and PhD Candidate at Humboldt-Universität Zu Berlin
Humboldt University Berlin Berlin, Germany
mi.ki
mi-ki
Researcher in formal methods @lmu @kastel-security. (he/him)
Ludwig-Maximilians-Universität (LMU) in Munich Munich, Germany
Andres Mariscal
SerialDev
@SerialDev
Machine learning engineer.
Worked in infosec, Computer Vision, NLP.
Super into Compiler & game engines.. LLMs and, AUDIO foundation models!
Helsinki, Finland