Neocypherpunk Summit

Mate Soos is a security researcher, software engineer, and open-source developer working at the intersection of cryptography, formal methods, and decentralized systems. Currently a researcher at Argot Collective, he previously worked at the Ethereum Foundation and the National University of Singapore, and has held security and research roles at Zalando, Cisco, Gotham Digital Science, and Security Research Labs.

Mate is best known for his contributions to the SAT and SMT solving ecosystem, maintaining the widely used CryptoMiniSat solver and helping maintain STP. He is also a principal author of research tools including ApproxMC, UniGen, Arjun, Pepin, and Bosphorus, with a long-standing focus on building robust, production-quality open-source software for the research community.

He holds a PhD from INRIA Rhône-Alpes, where his research focused on RFID security, privacy, and lightweight cryptography, and has spent his career advancing both the theory and practice of security, verification, and computational reasoning. Today, his work explores how rigorous cryptographic and formal methods research can support more trustworthy and resilient digital infrastructure.