Sign In
Get Clay Free →

Suggestions

    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