Daniel Ricketts is a Senior Software Engineer at NVIDIA, where they focus on applying formal verification to practical problems in the industry. Previously, they worked at Oracle as a Software Engineer and Principal Member of Technical Staff, specializing in formal methods for distributed systems. They gained early experience through internships at Telefónica and Facebook, and conducted research on formal verification as a Graduate Researcher at UC San Diego. Daniel holds a Ph.D. in Computer Science from UC San Diego and is currently pursuing a Bachelor's degree at Brown University, where they previously earned a Bachelor of Science in Mathematics and Computer Science.
This person is not in the org chart
This person is not in any teams
This person is not in any offices