Suggestions
Ian Blumenfeld
Chief Scientist for Mathematics - Building High Assurance Solutions
Ian Blumenfeld is an accomplished formal methods researcher and mathematician with a focus on cryptographic software and hardware verification.
He holds a Master's Degree in Mathematics from the University of Pennsylvania and a Bachelor's Degree in Mathematics from the University at Buffalo.
With a diverse career, Ian has held various roles at prominent organizations like Two Six Technologies, Amazon Web Services, Apple, and Johns Hopkins University Applied Physics Laboratory.
His expertise spans from being a Chief Scientist to a Formal Verification Engineer, showcasing a deep understanding of mathematics and its practical applications.
Ian's professional interests include functional programming, constraint solving, and automated proof assistants, reflecting his commitment to cutting-edge technologies and methodologies.
Having served in leadership positions and conducting research in mathematics, cryptography, and formal verification, Ian Blumenfeld brings a wealth of knowledge and experience to the field.
