John ye
yezhuoyang
I'm now a PHD student in UCLA studying quantum technology and quantum information.
My email address: yezhuoyang@cs.ucla.edu
Los Angeles, California
Alex Krasnok
AlexKrasnok
Dr. Alex Krasnok, Assistant Professor at Florida International University, specializes in electromagnetics, nanophotonics, and Quantum Computing.
Florida International University Miami, Florida
Basis Research Institute
BasisResearch
Basis builds reasoning engines that advance society's ability to solve intractable problems
Santander AI Open Source
SantanderAI
Open source AI projects from Banco Santander AI Lab. Responsible AI, MLOps, graph ML and LLM evaluation for financial services. Apache-2.0. PRs welcome.
Spain
Danny Willems
dannywillems
If we use « it is not rocket science » to describe something easy, what if you are a rocket scientist and find your job easy?
Somewhere on the planet.
Samuel Schlesinger
SamuelSchlesinger
Cryptography engineer at Google Chrome focused on the intersection of privacy and security. Creator of the Computable Secrets YouTube channel.
Google Connecticut
Verified zk(E)VM
Verified-zkEVM
Github organization for the verified zk(E)VM formal verification project
Faezeh Nasrabadi
FaezehNasrabadi
Passionate about formal verification, binary analysis, secure protocol design, side-channel analysis, reverse engineering, and secure compiler development ☺
CISPA Helmholtz Center for Information Security Saarbrücken, Germany
Yoichi Hirai
pirapira
Using this account for activities of Flamingo Ponderado Unipessoal LDA since 2025-07-09.
Flamingo Ponderado Unipessoal LDA Portugal
Jorge António
jorgeantonio21
Engineer · Mathematician · Researcher. Focused on large-scale LLM inference, distributed systems, high performance compute and confidential computing.
World
Symbolica
symbolica-dev
Designing symbolic-numeric computation software for Rust and Python.
Switzerland
PreviousNext