Researcher in formal verification @zeroth-research
-
Zeroth Research
- Birmingham, UK
- https://ayberkt.xyz
- https://orcid.org/0000-0002-0190-3020
- @ayberkt@mathstodon.xyz
Highlights
- Pro
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. 💅🐍
Samuel Annor Bannor
Elphast24
Full-Stack Developer passionate about building scalable web applications and exploring AI-driven solutions with Quantum Computing
Triet Trinh
trinhminhtriet
✅ Platform Engineer | AWS Certified | Scrum Master PSMI | Java | Golang | Rust | Android | Remote
🤖 Vietnam
Atticus Kuhn
AtticusKuhn
Computer Science Student at Trinity College, Cambridge
Cambridge, United Kingdom
Bandela Shiva Kumar
BandelaShivaKumar
Mechanical Engineer | Ansys CFD, FEA, Aerodynamics & Multiphysics Simulation
Alperen Keleş
alpaylan
I'm Alperen. I have many interests. I am a METU CENG graduate, currently a fifth year Ph.D. student at UMD CS advised by Leonidas Lampropoulos.
University of Maryland, College Park Maryland, United States
Johannes Schipp von Branitz
Schippmunk
PhD Student at the University of Nottingham
Nottingham, United Kingdom
Jonathan Weinberger
jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA.
Chapman University Orange, CA
Bruno Paiva
brunorochapaiva
PhD student in Computer Science at the University of Birmingham
University of Birmingham Birmingham, UK
David Wärn
dwarn
PhD student interested in homotopy type theory and related topics
Gothenburg, Sweden
PreviousNext