Daniel Reynaud is a seasoned software engineer and technical expert with extensive experience in smart contracts, symbolic testing tools, and software security. Currently serving as a Member of Technical Staff at OpenAI since November 2025, Daniel previously worked as a Research Engineering Partner at Andreessen Horowitz, co-leading the development of Halmos, a prominent symbolic testing tool for EVM smart contracts. Daniel has a strong background in optimizing smart contract performance, having reduced gas usage by over 90% for an early-stage startup. Prior roles include Senior Software Engineer positions at Netflix and Apple, where Daniel contributed to key projects in video playback and content protection. Daniel completed a Ph.D. in Computer Science at Universite de Lorraine and holds an M.Sc. from Académie militaire de Saint-Cyr Coëtquidan.
This person is not in any teams
This person is not in any offices