model-checking
Users following model-checking
Felipe R. Monteiro
feliperodri
Neurosymbolic AI & Formal Reasoning
Amazon Web Services @aws New York
Peramanathan Sathyamoorthy
p10ns11y
AI-native product / agent engineer · agents, integrations, product systems · Available for hire
Stockholm, Sweden
Kentaro Aoki
sUI-sEEEEEE
Old-school CLI nerd doing Full-stack development with Rust.
and | High-Performance WEB (Dioxus + GSAP) | Secure systems | Linux distro |
JP/Tokyo
Noah Gift
noahgift
🚀 Founder of Pragmatic AI Labs | Building AI/ML Education for 1M+ Students | Duke EIR | AWS ML Hero
Learn production ML: https://paiml.com
Pragmatic AI Labs Spain
Jorge Luiz Gouveia Sousa
iataganCursos
Brasil. Javascript, Java, C / C ++, Clipper, Rust, Python, PHP, MySQL. SVG, WebGL. Linux (Inteligência Artificial, Eletrônica, Robótica).
@iataganCursos Brazil
LeoniePhiline
Rustacean from Berlin, Germany, with a focus on security and performance. Quadrocopter enthusiast.
Marcos Sandoval
marcos1394
soy un ingeniero quimico apasionado por la tecnología y contribuir en proyectos que aporten valor para las organizaciones y la sociedad
Los Mochis, Sinaloa
KL3FT3Z
toxy4ny
✔ Complex Red Team / Adversarial Simulation operations.
✔ Penetration testing (web, infra, social engineering).
✔ Imitation of APT. Lead of @Hackteam-Red
Hackteam.Red
PreviousNext