Sign In

Ian Blumenfeld

Chief Scientist for Mathematics - Building High Assurance Solutions

Ian Blumenfeld is a seasoned formal methods researcher and mathematician known for his expertise in verifying cryptographic software and hardware. 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. Ian's career has seen him in key roles such as Chief Scientist - Mathematics and Research Director at Two Six Technologies, as well as positions at Amazon Web Services (AWS), Apple, and several research institutions.

With a passion for functional programming, constraint solving applications, and automated proof assistants, Ian's contributions have spanned various organizations, including The Johns Hopkins University Applied Physics Laboratory, CyberPoint International, Galois, Inc., and the United States Department of Defense. His experience also extends to academia, having served as the Chair of Math and Science at the Shoshana S Cardin School.

Ian Blumenfeld's diverse background and rich experience make him a sought-after professional in the domains of formal methods, mathematics, cryptography verification, and software engineering. His career trajectory showcases a deep commitment to pushing the boundaries of knowledge and innovation in the technological landscape.

Highlights

Jan 15 · pymnts.com
Supplemental Health Insurance Fills Payment Gaps For A Younger, Mobile Consumer - pymnts.com
Dec 23 · FinSMEs
LifeRaft Raises $3.5M in Seed Funding - FinSMEs
Ian Blumenfeld
Add to my network

Location

Baltimore, Maryland, United States