Michael Dixon

Michael Dixon Email and Phone Number

Senior Cyber Security Research Scientist | Lead Cryptographer | Principal Investigator @ Los Alamos National Laboratory
Michael Dixon's Location
Albuquerque-Santa Fe Metropolitan Area, United States, United States
Michael Dixon's Contact Details
About Michael Dixon

I am a research scientist, engineer, and mathematician who applies bleeding-edge cryptographic capabilities to solve the most vital national and global security challenges. I seek solutions that ensure that the United States cannot lose under any circumstance or conflict.My research leverages a combination of formal methods, zero-knowledge proofs (verifiable computation), secure multiparty computation, homomorphic encryption, and crypto-based physical anti-tamper to build provably secure and verifiably assured systems.I also investigate the intersection of artificial intelligence/machine learning, formal verification, and cryptography. My work includes research and development for AI assurance, AI anti-tamper/arms control, deepfake detection, adversarial robustness, secure federated learning, and verifiable & privacy-preserving architectures.

Michael Dixon's Current Company Details
Los Alamos National Laboratory

Los Alamos National Laboratory

View
Senior Cyber Security Research Scientist | Lead Cryptographer | Principal Investigator
Michael Dixon Work Experience Details
  • Los Alamos National Laboratory
    Senior Cyber Security Research Scientist, Cryptography Lead
    Los Alamos National Laboratory May 2022 - Present
    Los Alamos, Nm, Us
    Principal investigator and laboratory lead for advanced crypto technologies and formal methods for security.Acquired $18 million in research funding as PI or co-PI.Advanced Research in Cyber Systems GroupNuclear Weapons Cyber Assurance Laboratory (NWCAL)
    View
  • Los Alamos National Laboratory
    Cyber Security Research Scientist
    Los Alamos National Laboratory Feb 2019 - May 2022
    Los Alamos, Nm, Us
    View
  • Draper
    Cyber Security Research & Development Engineer
    Draper Jun 2017 - Feb 2019
    Cambridge, Ma, Us
    Formal Methods & Cyber Security Research Group
    View
  • Mit
    Undergraduate Researcher
    Mit Jun 2012 - Aug 2012
    Cambridge, Ma, Us
    Performed theoretical computer science research in descriptive complexity for various models of probabilistic and quantum computation under the direction of Professor Scott AaronsonComputer Science and Artificial Intelligence Lab
    View
  • Mitre
    Cyber Security Research Intern
    Mitre Jun 2010 - Aug 2010
    Mclean, Va, Us
    Signals Intelligence Systems Group
    View
  • Mitre
    Cyber Security Research Intern
    Mitre Jul 2009 - Aug 2009
    Mclean, Va, Us
    Signals Intelligence Systems Group
    View

Michael Dixon Skills

Cryptography Team Leadership Cryptocurrency Computer Security Mathematical Logic C/c++ Java Latex Sql Verilog Python C# Computational Complexity Theoretical Computer Science Static Analysis Algorithms Information Security Pure Mathematics

Michael Dixon Education Details

  • Massachusetts Institute Of Technology
    Massachusetts Institute Of Technology
    Computer Science
  • University Of Michigan College Of Engineering
    University Of Michigan College Of Engineering
    Computer Science Engineering
  • Greenhills School
    Greenhills School
    High School Diploma

Frequently Asked Questions about Michael Dixon

What company does Michael Dixon work for?

Michael Dixon works for Los Alamos National Laboratory

What is Michael Dixon's role at the current company?

Michael Dixon's current role is Senior Cyber Security Research Scientist | Lead Cryptographer | Principal Investigator.

What is Michael Dixon's email address?

Michael Dixon's email address is md****@****ich.edu

What schools did Michael Dixon attend?

Michael Dixon attended Massachusetts Institute Of Technology, University Of Michigan College Of Engineering, Greenhills School.

What are some of Michael Dixon's interests?

Michael Dixon has interest in Cryptography, Cyber Security, Theory Of Computation, Theorem Proving, Algorithms, Mathematical Logic, Pure Mathematics, Computational Complexity, Formal Verification, Constitutional Law.

What skills is Michael Dixon known for?

Michael Dixon has skills like Cryptography, Team Leadership, Cryptocurrency, Computer Security, Mathematical Logic, C/c++, Java, Latex, Sql, Verilog, Python, C#.

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.