Guru Vamsi Policharla
guruvamsi-policharla
PhD Student, UC Berkeley
University of California, Berkeley Berkeley, California
Tinfoil
tinfoilsh
Replacing trust with provable security. Deploy AI workloads to the cloud, but with the security and privacy of on-prem.
United States of America
Quang Dao
quangvdao
Formal verification for cryptography.
PhD Student at Carnegie Mellon University
Pittsburgh, PA
Dock Labs
docknetwork
Dock Labs are the makers of the Truvera platform for issuing, holding, and verifying digital credentials.
Xavier Leroy
xavierleroy
Professor of software sciences at Collège de France, Paris. Member of Inria research team Cambium. Interested in all scientific aspects of computer programming
Collège de France and Inria Paris, France
OCamlPro
OCamlPro
OCamlPro is a French company with a strong expertise in programming languages & formal methods, with 10+ years' experience in state-of-the-art developments.
Paris & Saclay
Héléna A. Gaspar
hagax8
Cheminformatician + musician. PhD in Cheminformatics from the Université de Strasbourg.
London
PreviousNext