Suggestions
Ian Blumenfeld
Chief Scientist for Mathematics - Building High Assurance Solutions
Ian Blumenfeld is the Chief Scientist for Mathematics at Two Six Technologies, a high-growth technology company focused on providing products and expertise to national security customers.34 He is a prominent figure in the field of cryptography and formal verification, with expertise in interactive proof assistants and formal analysis of cryptographic protocols.13
Blumenfeld has made significant contributions to the field of cybersecurity and mathematics:
-
He delivered a keynote speech on Formal Analysis for SKA (Symmetric Key Agreement) protocols at the Crypto 2024 conference, discussing the importance of these protocols in the context of post-quantum cryptography.34
-
As a Principal Research Mathematician at Two Six Labs (now part of Two Six Technologies), he worked on type-theoretic reasoning about document specification formats for the DARPA SafeDocs program.1
-
He has experience in formal verification, having worked on the security of the iPhone SEP chip while at Apple and verifying cyber-physical systems at Johns Hopkins APL.1
-
Blumenfeld's background includes work as an Applied Research Mathematician in NSA's Research Directorate, where his interest in formal methods began.1
In his role at Two Six Technologies, Blumenfeld contributes to solving complex technical challenges in areas crucial to national security missions, including cyber, information operations, electronic systems, analytics, and secure solutions.24
Prior to his current position, Blumenfeld had a diverse career in data science and technology:
- Co-founder and CEO of Liferaft, a company focused on building a functional and reliable safety net.5
- Chief Data Scientist at Clover Health, where he worked in healthcare data science.5
- Co-founder of InSample, a startup venture.5
- Lead Data Scientist at Archimedes, where he worked on healthcare data models.5
- Graduate Student Researcher at SLAC National Accelerator Laboratory, focusing on particle acceleration in plasmas.5
Blumenfeld holds a BASc in Engineering Science with a Physics Concentration from the University of Toronto and pursued graduate studies at Stanford University.5
