Ian Blumenfeld

Ian Blumenfeld Email and Phone Number

Chief Scientist for Mathematics - Building High Assurance Solutions @ Two Six Technologies
Ian Blumenfeld's Location
Baltimore, Maryland, United States, United States
Ian Blumenfeld's Contact Details

Ian Blumenfeld personal email

n/a
About Ian Blumenfeld

Experienced formal methods researcher and mathematician, with a specialization in verification of cryptographic software and hardware. Strong interest in functional programming, applications of constraint solving, and automated proof assistants.

Ian Blumenfeld's Current Company Details
Two Six Technologies

Two Six Technologies

View
Chief Scientist for Mathematics - Building High Assurance Solutions
Ian Blumenfeld Work Experience Details
  • Two Six Technologies
    Chief Scientist - Mathematics
    Two Six Technologies Jan 2024 - Present
    Arlington, Virginia, Us
    View
  • Two Six Technologies
    Research Director - High Assurance Solutions
    Two Six Technologies Sep 2022 - Jan 2024
    Arlington, Virginia, Us
    View
  • Amazon Web Services (Aws)
    Applied Scientist
    Amazon Web Services (Aws) Jun 2022 - Sep 2022
    Seattle, Wa, Us
    View
  • Two Six Technologies
    Research Director For Mathematics
    Two Six Technologies Feb 2022 - Jun 2022
    Arlington, Virginia, Us
    View
  • Two Six Technologies
    Associate Research Director For Applied Mathematics
    Two Six Technologies Mar 2021 - Feb 2022
    Arlington, Virginia, Us
    View
  • Two Six Technologies
    Principal Research Engineer
    Two Six Technologies Jun 2019 - Feb 2021
    Arlington, Virginia, Us
    View
  • Apple
    Formal Verification Engineer
    Apple Jan 2018 - Jun 2019
    Cupertino, California, Us
    View
  • The Johns Hopkins University Applied Physics Laboratory
    Senior Research Scientist
    The Johns Hopkins University Applied Physics Laboratory Apr 2016 - Jan 2018
    Laurel, Maryland, Us
    Software Assurance and Formal Methods Research
    View
  • Cyberpoint International
    Research Scientist
    Cyberpoint International Apr 2015 - Apr 2016
    Columbia, Maryland, Us
    Cyber security research, specializing in applied mathematics
    View
  • Galois, Inc.
    Researcher
    Galois, Inc. Apr 2014 - Apr 2015
    Portland, Or, Us
    Various topics in cyber security, high-assurance cryptography, and high-confidence software and systems research.
    View
  • Cyberpoint International
    Researcher
    Cyberpoint International Oct 2012 - Apr 2014
    Columbia, Maryland, Us
    Research in malware analysis, cryptography, anonymous authentication, and formal methods.
    View
  • United States Department Of Defense
    Mathematician
    United States Department Of Defense Aug 2008 - Oct 2012
    Washington, Dc, Us
    View
  • Shoshana S Cardin School
    Chair Of Math And Science
    Shoshana S Cardin School Sep 2005 - Jun 2008
    Taught upper level math and physics courses. Managed a department of ~5 teachers at a pluralistic Jewish high school.

Ian Blumenfeld Skills

Mathematics Cryptography Computer Security Computer Science C Python Machine Learning Algorithms Linux Software Engineering Research Mathematical Logic Category Theory Haskell Java C++ Programming Program Analysis Calculus Software Development Formal Verification

Ian Blumenfeld Education Details

  • University Of Pennsylvania
    University Of Pennsylvania
    Mathematics
  • University At Buffalo
    University At Buffalo
    Mathematics

Frequently Asked Questions about Ian Blumenfeld

What company does Ian Blumenfeld work for?

Ian Blumenfeld works for Two Six Technologies

What is Ian Blumenfeld's role at the current company?

Ian Blumenfeld's current role is Chief Scientist for Mathematics - Building High Assurance Solutions.

What is Ian Blumenfeld's email address?

Ian Blumenfeld's email address is ib****@****zon.com

What schools did Ian Blumenfeld attend?

Ian Blumenfeld attended University Of Pennsylvania, University At Buffalo.

What skills is Ian Blumenfeld known for?

Ian Blumenfeld has skills like Mathematics, Cryptography, Computer Security, Computer Science, C, Python, Machine Learning, Algorithms, Linux, Software Engineering, Research, Mathematical Logic.

Free Chrome Extension

Find emails, phones & company data instantly

Find verified emails from LinkedIn profiles
Get direct phone numbers & mobile contacts
Access company data & employee information
Works directly on LinkedIn - no copy/paste needed
Get Chrome Extension - Free

Aero Online

Your AI prospecting assistant

Download 750 million emails and 100 million phone numbers

Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.