Victor Taelin
VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.
Higher Order Company Rio de Janeiro, Brazil
Armin Memar Zahedani
ArminZahedani
Cyber Security graduate from TU Delft
Interested in Cryptography, Privacy & Quantum Computing | Currently learning Cairo
Munich
Thanh Le-Cong
thanhlecongg
I am a first-year PhD Student at the University of Melbourne. You can learn more about me at thanhlecongg.github.io
The University of Melbourne Melbourne, Australia
Nan Jiang
jiang719
PhD, PurdueCS | Senior Applied Scientist, Microsoft Office AI | Generative AI for Software Engineering
Microsoft Office AI Redmond
Tar
TarVK
Formal methods PhD candidate and software developer, mostly front-end oriented and mostly in TypeScript and Rust as of lately.
The Netherlands
Ridwan Shariffdeen
rshariffdeen
Software engineering researcher, Docker evangelist
Automated program repair enthusiast &
Cyber security advocate
National University of Singapore Singapore
Vladimir Gladshtein
volodeyka
I do formal verification with interactive theorem provers
National University of Singapore Singapore
PreviousNext