Alex Rebert
AeroLeads people directory · profile

Alex Rebert Email & Phone Number

Principal Software Engineer at Google
Location: Greater Pittsburgh Region, United States 6 work roles 2 schools
1 work email found @forallsecure.com LinkedIn matched
✓ Verified July 2026 4 data sources Profile completeness 100%

Contact Signals · 1 work email

Work email a****@forallsecure.com
LinkedIn Profile matched
3 free lookups remaining · No credit card
Current company
Role
Principal Software Engineer
Location
Greater Pittsburgh Region, United States
Company size

Who is Alex Rebert? Overview

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

Quick answer

Alex Rebert is listed as Principal Software Engineer at Google, a with 1 employees, based in Greater Pittsburgh Region, United States. AeroLeads shows a work email signal at forallsecure.com and a matched LinkedIn profile for Alex Rebert.

Alex Rebert previously worked as Senior Staff Software Engineer at Google and Advisor at Forallsecure, Inc. Alex Rebert holds Master’S Degree, Electrical And Computer Engineering from Carnegie Mellon University.

Company email context

Email format at Google

This section adds company-level context without repeating Alex Rebert's masked contact details.

*@forallsecure.com
68% confidence

AeroLeads found 1 current-domain work email signal for Alex Rebert. Compare company email patterns before reaching out.

Profile bio

About Alex Rebert

Alex Rebert is a Principal Software Engineer at Google. He possess expertise in python, c++, algorithmes, linux, recherche.

Listed skills include Python, C++, Algorithmes, Linux, and 1 others.

Current workplace

Alex Rebert's current company

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

Google
Google
Principal Software Engineer
Mountain View, CA
Website
Employees
1
AeroLeads page
6 roles

Alex Rebert work experience

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

Principal Software Engineer

Pittsburgh, Pa, Us

Senior Staff Software Engineer

Mountain View, Ca, Us

Founder And Engineer

Pittsburgh, Pa, Us

Founded ForAllSecure with David Brumley and Thanassis Avgerinos, participating in almost every role along the way. During this time, ForAllSecure grew from one employee to over 30, zero dollars in revenue to seven figures in annually recurring revenue.Led the team building Mayhem, one of the first generation of autonomous computer security bots that finds, exploits and fixes vulnerabilities without human intervention. Mayhem won the $2M first prize at the DARPA Cyber Grand Challenge in 2016. Mayhem was displayed at the Smithsonian National Museum of American History.Led a cross-functional team in creating our second product: Mayhem for API, a point-and-shoot fuzzer for web APIs using OpenAPI specifications for input generation. Fuzzer and backend was written in Rust and hosted on GCP (Cloud SQL, Cloud Run, PubSub). Deployed using terraform. Built a SaaS subscription model with a free trial on top of Stripe. Collaborated with GitHub to add Mayhem for API as one of the few GitHub Code Scanning applications that GitHub customers can use to secure their APIs in CI.Built a large-scale distributed fuzzing infrastructure to productize fuzzing. The infra ran on GKE, deployed with helm. The system ingests software to test as docker containers and runs them with runc for dynamic analysis (QEMU, ASAN, valgrind) to find bugs.Bootstrapped an SRE culture & built observability in our systems using fluentd for shipping logs to ElasicSearch, using Prometheus & Alertmanager to collect metrics and alerting, and using Sentry for error monitoring.Built an online CTF platform. Built and ran picoCTF's infrastructure and frontend for 18,000 high school students. API was in Flask, hosted on AWS Elastic Beanstalk. Repeatedly ran online & live CTFs for the US military academies & DoD.

Feb 2012 - Sep 2021

Research Assistant - Phd

Pittsburgh, Pa, Us

Created Veritesting, which combines static and dynamic symbolic execution to tackle the path explosion problem. Veritesting finds twice as many bugs, explores orders of magnitude more paths, and achieves higher code coverage than dynamic symbolic execution.Found 13,875 bugs in Debian packages at a compute cost of $0.28 per bug. Reported 1,200 bugs back to Debian, 400+ of which were fixed.

Aug 2012 - Feb 2014
Team & coworkers

Colleagues at Google

Other employees you can reach at google.com. View company contacts for 1 employees →

2 education records

Alex Rebert education

Master’S Degree, Electrical And Computer Engineering

Carnegie Mellon University

Bs, Computer Science

Epfl
FAQ

Frequently asked questions about Alex Rebert

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

What company does Alex Rebert work for?

Alex Rebert works for Google.

What is Alex Rebert's role at Google?

Alex Rebert is listed as Principal Software Engineer at Google.

What is Alex Rebert's email address?

AeroLeads has found 1 work email signal at @forallsecure.com for Alex Rebert at Google.

Where is Alex Rebert based?

Alex Rebert is based in Greater Pittsburgh Region, United States while working with Google.

What companies has Alex Rebert worked for?

Alex Rebert has worked for Google, Forallsecure, Inc, and Carnegie Mellon University.

Who are Alex Rebert's colleagues at Google?

Alex Rebert's colleagues at Google include Hasan Zirak, User165624 Test, Omar Pérez, Archimedes Academy, and Lin Jing.

How can I contact Alex Rebert?

You can use AeroLeads to view verified contact signals for Alex Rebert at Google, including work email, phone, and LinkedIn data when available.

What schools did Alex Rebert attend?

Alex Rebert holds Master’S Degree, Electrical And Computer Engineering from Carnegie Mellon University.

What skills is Alex Rebert known for?

Alex Rebert is listed with skills including Python, C++, Algorithmes, Linux, and Recherche.

Find 750M verified contacts

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