Formal verification and programming languages researcher.
Highlights
- Pro
Nasir Hussain
nasirhm
Interested in Systems Engineering | CTFs with PBR | Computer Science & Engineering, Math at UCLA
UCLA Security and Privacy Lab USA
İbrahim Hakkı Ergin
06ergin06
Software Engineering and 42 Istanbul Common Core student
Istanbul/Türkiye
Jonathan Chan
ionathanch
Grad student in PL & former splabmate · MSc @ UBC ⇝ PhD @ UPenn
PLClub @ UPenn Vancouver, Canada
Kağan Ege
kaganege
Full-Stack Software Developer. I am proficient in JavaScript, Rust, and C++ programming languages.
Student Türkiye
İzzet Emre Demir
izzetemredemir
Working on ZK, Blockchain, and AI agents | Building at @First-Point
FirstPoint Türkiye
Cenk Yenikoylu
mcyenikoylu
With more than 15+ years of experience in Software development. Spailor LLC is a bespoke software development company.
@spailor United States
Özhan Gebeşoğlu
ozhangebesoglu
I study at Mersin University in the Department of Information Systems and Technologies.
Istanbul
Eren
Berikai
Can you prove anything exists outside your own mind?
Izmir University of Economics İzmir
Emily 💞
emilycodestar
I commit on the first date. 🚩 My code is cleaner than your browser history. Check my repos if you think you can handle a merge conflict with me. 💅🐍
Yuto Takano
yutotakano
CS Masters student at ETH Zurich. Contributor to @compsoc-edinburgh, @VIS-ETH, and @discord-haskell.
ETH Zürich Zürich, CH
Ram Karthikeya Musti
randomalphanumerics
BITS Hyderabad Computer Science + Iowa State University Computer Engineering
PreviousNext