SEL4PROJ
Users following SEL4PROJ
Alex Potanin
potanin
Associate Professor at The Australian National University
Australian National University Canberra, Australia
TheProductiveDeveloper
jan-revay
C++ developer and mathematician, also into Rust, Python, and Isabelle.
Charles Southerland
proidiot
Computers don't have to suck, but we have to choose to fix them. Formal Methods, F(L)OSS, math memes, general nerdiness. aka @csoutherland
@stuphlabs Austin, TX
Nicholas Hickam
DutytoDevelop
I love programming and mathematics. I see automation and machine learning as essential tools to help society in many impactful ways. Hello World!
Austin, Texas
Hirad Rasoolinejad
Hiiirad
DevSecOps Engineer | eBPF and XDP | Cyber Security Researcher | Telco Cloud | Rust | Open Source Contributor
