Presenter Amanda Ngo, Ought Hi there, I’m Amanda! I’m a Kiwi living in the United States. I work at Ought, a startup building tools to automate complex reasoning. Check out our forecasting product, Elicit! I love co-opting friends into social experiments, understanding how brains work, and figuring out what it means to live a good… Continue reading Amanda Ngo, Ought | Automating Complex Reasoning
Presenter Robin Hanson, George Mason University Robin Dale Hanson is an associate professor of economics at George Mason University and a research associate at the Future of Humanity Institute of Oxford University. He is known as an expert on idea futures and markets, and he was involved in the creation of the Foresight Exchange and… Continue reading Reforming Academic Incentives
Presenter Michael Freedman, Field’s Medalist Michael Freedman is a Distinguished Scientist with MSR-NE and was Founding Director of Microsoft Quantum – Santa Barbara (Station Q), Microsoft’s project on quantum physics and quantum computation located on the UCSB campus. The project is a collaborative effort between Microsoft and academia directed towards exploring the mathematical theory and… Continue reading Michael Freedman, Field’s Medalist | Cryptography in the Cryostat, Topological Phases of Matter
Presenter Matthew McAteer, Formic Labs Hi, I’m Matt, a machine learning engineer and data scientist. People come to me when they want the state of the art academic machine learning practices implemented in a time-and-budget-constrained industry setting. Summary: Machine learning has amazing potential in the medical field. Automated analysis of large volumes of medical data… Continue reading Matthew McAteer, Formic Labs | Private ML for Healthcare
Henry de Valence, Penumbra Labs Hi! I’m a cryptographer, interested in fast, safe zero-knowledge cryptography for privacy-preserving systems. Previously, I did cryptography work at the Zcash Foundation, Interstellar, Chain Inc., Cloudflare, and in grad school. My other interests include number theory, algebra, geometry, privacy, freedom, and the number 24. I have a blog with posts… Continue reading Henry de Valence, Penumbra Labs | Private Decentralized Exchange
Presenter Mark S. Miller, Agoric Mark S. Miller is the main designer of the E and Dr. SES distributed object-capability programming languages, inventor of Miller Columns, a pioneer of agoric (market-based secure distributed) computing, an architect of the Xanadu hypertext publishing system, a representative to the EcmaScript committee, senior fellow of the Foresight Institute, and… Continue reading Norm Hardy Prize for usable security as part of civilization and AI security
Presenter Chhi’mèd Künzang, Protocol Labs Senior Research Engineer at Protocol Labs Summary: Protocol labs created a new breed of zero knowledge proofs – SNARKs (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) – used for computation of functions using cryptographically secured data. Building upon the previous work to create decentralized data storage via the InterPlanetary File System,… Continue reading Chhi’mèd Künzang, Protocol Labs | Turing-Complete Expression Evaluation for Recursive SNARKs
Presenter Anna Yelizarova, Future of Life Institute Interests: AI safety and alignment, AI governance and ethics, global coordination, tech policy, computational social science, Disinformation As a Stanford student, I completed a Bachelor’s in Computer Science with a focus in Human Computer Interaction and a Master’s Degree in Communication with a focus on Media Studies. My… Continue reading Windfall Trust
Remco Bloemen, Worldcoin Head of Blockchain at Worldcoin Summary: Proof of personhood is one of the most pressing problems on the internet. In an age of bots and account farms, how do we enable online voting or distribution of power when anyone can pretend to be thousands of people all at once? Worldcoin hopes to… Continue reading Remco Bloemen, Worldcoin | Privacy-preserving Proof of Personhood
