Pavlo Bondarenko
OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast
Denver, CO
José Antonio Zamudio
joszamama
Doctoral Researcher at CISPA Helmholtz Center for Information Security - Ph.D. Candidate on Systems Security at Universität des Saarlandes
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