mi.ki
mi-ki
Researcher in formal methods @kastel-security. (he/him)
Karlsruhe Institute of Technology (KIT) Karlsruhe, Germany
Minh-Triet Pham Tran
trietptm
APT Hunter, Threat Hunter, Incident Responder, Forensics Analyst, Information Security Consultant, Red Teamer (Network+System views)
TRIETPTM INFOSEC Vietnam
Markus Iser
Udopia
Automated Reasoning and Optimization, Empirical Algorithmics, Explainable Artificial Intelligence, Algorithm Visualization and Sonification
Karlsruhe Institute of Technology Karlsruhe
Robin Freyler
Robbepop
🦀Rustacean with C & C++ origins - Enthusiastic about WebAssembly, compiler technology, virtual machines & SAT solving.
Berlin