Please complete the CAPTCHA to continue
@lanl.gov
✓
LinkedIn matched
A concise factual answer block for searchers comparing this professional profile.
Michael Dixon is listed as Senior Cyber Security Research Scientist | Lead Cryptographer | Principal Investigator at Los Alamos National Laboratory, based in Albuquerque-Santa Fe Metropolitan Area, United States, United States. AeroLeads shows a work email signal at lanl.gov and a matched LinkedIn profile for Michael Dixon.
Michael Dixon previously worked as Senior Cyber Security Research Scientist, Cryptography Lead at Los Alamos National Laboratory and Cyber Security Research Scientist at Los Alamos National Laboratory. Michael Dixon holds Advanced Study Program, Computer Science from Massachusetts Institute Of Technology.
This section adds company-level context without repeating Michael Dixon's masked contact details.
AeroLeads found 2 current-domain work email signals for Michael Dixon. Compare company email patterns before reaching out.
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.
Listed skills include Cryptography, Team Leadership, Cryptocurrency, Computer Security, and 14 others.
Company context helps verify the profile and gives searchers a useful next step.
A career timeline built from the work history available for this profile.
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)
Cambridge, MA, US
Formal Methods & Cyber Security Research Group
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
Quick answers generated from the profile data available on this page.
Michael Dixon works for Los Alamos National Laboratory.
Michael Dixon is listed as Senior Cyber Security Research Scientist | Lead Cryptographer | Principal Investigator at Los Alamos National Laboratory.
AeroLeads has found 2 work email signals at @lanl.gov for Michael Dixon at Los Alamos National Laboratory.
Michael Dixon is based in Albuquerque-Santa Fe Metropolitan Area, United States, United States while working with Los Alamos National Laboratory.
Michael Dixon has worked for Los Alamos National Laboratory, Draper, Mit, and Mitre.
You can use AeroLeads to view verified contact signals for Michael Dixon at Los Alamos National Laboratory, including work email, phone, and LinkedIn data when available.
Michael Dixon holds Advanced Study Program, Computer Science from Massachusetts Institute Of Technology.
Michael Dixon is listed with skills including Cryptography, Team Leadership, Cryptocurrency, Computer Security, Mathematical Logic, C/C++, Java, and Latex.
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trial Search contacts