Miguel Gomez-Garcia
AeroLeads people directory · profile

Miguel Gomez-Garcia Email & Phone Number

Robotics Software Engineer at Atomic Machines
Location: San Francisco, California, United States 6 work roles 2 schools
1 work email found @multiplylabs.com LinkedIn matched
✓ Verified July 2026 4 data sources Profile completeness 100%

Contact Signals · 1 work email

Work email m****@multiplylabs.com
LinkedIn Profile matched
3 free lookups remaining · No credit card
Current company
Atomic Machines
Role
Robotics Software Engineer
Location
San Francisco, California, United States
Company size
135 employees

Who is Miguel Gomez-Garcia? Overview

A concise factual answer block for searchers comparing this professional profile.

Quick answer

Miguel Gomez-Garcia is listed as Robotics Software Engineer at Atomic Machines, a with 135 employees, based in San Francisco, California, United States. AeroLeads shows a work email signal at multiplylabs.com and a matched LinkedIn profile for Miguel Gomez-Garcia.

Miguel Gomez-Garcia previously worked as Robotics Engineer at Multiply Labs and Robotics Software Engineer at Multiply Labs. Miguel Gomez-Garcia holds Master Of Engineering - Meng, Electrical Engineering And Computer Science from Massachusetts Institute Of Technology.

Company email context

Email format at Atomic Machines

This section adds company-level context without repeating Miguel Gomez-Garcia's masked contact details.

{first}@multiplylabs.com
86% confidence

AeroLeads found 1 current-domain work email signal for Miguel Gomez-Garcia. Compare company email patterns before reaching out.

View email format View company profile Management contacts
Profile bio

About Miguel Gomez-Garcia

EECS Student searching for full-time jobs after Spring 2023. Experience in digital hardware design in SystemVerilog, as well as software development in Python, Java, C++, JS, and more.My current MEng research involves the development of Citadel, a variant of the open-source Riscy-OOO multicore out-of-order processor that supports secure (nonspeculative) shared memory accesses between enclave and user-level processes. This allows for up to a 600% performance improvement under highly interactive workloads compared to using a “secure drawer”-like implementation.

Listed skills include Python, Systemverilog, Java, Formal Verification, and 2 others.

Current workplace

Miguel Gomez-Garcia's current company

Company context helps verify the profile and gives searchers a useful next step.

Atomic Machines
Atomic Machines
Robotics Software Engineer
San Francisco, CA, US
Website
atomicmachines.com
Employees
135
AeroLeads page
Company profile
View company profile Email format
6 roles

Miguel Gomez-Garcia work experience

A career timeline built from the work history available for this profile.

Robotics Engineer

Multiply Labs

San Francisco, California, United States

Robotics Software Engineer

Multiply Labs

San Francisco, California, United States

Created hardware simulation software for improved testing capabilitiesWrote driver- and controller-level code to interface robot software with EIP devices

Jun 2022 - Aug 2022

Verification Engineer

Nvidia
Jun 2021 - Aug 2021

Nsg Intern

Intel Corporation

Hudson, Massachusetts, United States

Worked to test improvements in formal verification for SSD controllers implementing clock gating. Performed power analysis on blocks tested. Tested/developed abstraction models for RTL complexity reduction for formal verification.

Jun 2020 - Aug 2020
Team & coworkers

Colleagues at Atomic Machines

Other employees you can reach at atomicmachines.com. View company contacts for 135 employees →

KD Karl Dawson Karl Dawson Colleague at Atomic MachinesSan Francisco Bay Area, United States View → OB Olivia Brekhus Lavinsky Olivia Brekhus Lavinsky Colleague at Atomic MachinesSan Francisco Bay Area, United States View → JZ Junia Ziblay Junia Ziblay Colleague at Atomic MachinesSan Francisco Bay Area, United States View → TS Terry Sauer Terry Sauer Colleague at Atomic MachinesBerkeley, California, United States View → DR Dan Rawlings Dan Rawlings Colleague at Atomic MachinesUnited States View → GC Grace Clarke Grace Clarke Colleague at Atomic MachinesSan Francisco, California, United States View → RH Ryan Heath Ryan Heath Colleague at Atomic MachinesUnited States View → RR Ronnie Rodriguez Ronnie Rodriguez Colleague at Atomic MachinesOpa-Locka, Florida, United States View → SP Shishiedo P. Shishiedo P. Colleague at Atomic MachinesSan Jose, California, United States View → GG Gregory Ghahramani Gregory Ghahramani Colleague at Atomic MachinesSan Francisco Bay Area, United States View →
2 education records

Miguel Gomez-Garcia education

FAQ

Frequently asked questions about Miguel Gomez-Garcia

Quick answers generated from the profile data available on this page.

What company does Miguel Gomez-Garcia work for?

Miguel Gomez-Garcia works for Atomic Machines.

What is Miguel Gomez-Garcia's role at Atomic Machines?

Miguel Gomez-Garcia is listed as Robotics Software Engineer at Atomic Machines.

What is Miguel Gomez-Garcia's email address?

AeroLeads has found 1 work email signal at @multiplylabs.com for Miguel Gomez-Garcia at Atomic Machines.

Where is Miguel Gomez-Garcia based?

Miguel Gomez-Garcia is based in San Francisco, California, United States while working with Atomic Machines.

What companies has Miguel Gomez-Garcia worked for?

Miguel Gomez-Garcia has worked for Atomic Machines, Multiply Labs, Mit Computer Science And Artificial Intelligence Laboratory (Csail), Nvidia, and Intel Corporation.

Who are Miguel Gomez-Garcia's colleagues at Atomic Machines?

Miguel Gomez-Garcia's colleagues at Atomic Machines include Karl Dawson, Olivia Brekhus Lavinsky, Junia Ziblay, Terry Sauer, and Dan Rawlings.

How can I contact Miguel Gomez-Garcia?

You can use AeroLeads to view verified contact signals for Miguel Gomez-Garcia at Atomic Machines, including work email, phone, and LinkedIn data when available.

What schools did Miguel Gomez-Garcia attend?

Miguel Gomez-Garcia holds Master Of Engineering - Meng, Electrical Engineering And Computer Science from Massachusetts Institute Of Technology.

What skills is Miguel Gomez-Garcia known for?

Miguel Gomez-Garcia is listed with skills including Python, Systemverilog, Java, Formal Verification, Javascript, and Computer Hardware.

Find 750M verified contacts

Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.

People with similar names

Check these profiles if this is not the Miguel Gomez-Garcia you were looking for.

View similar profiles