AeroLeads people directory · profile

Andrew Helwer Email & Phone Number

Software Engineer at Disjunctive
Location: Atlanta, Georgia, United States 7 work roles 1 school
1 work email found @microsoft.com LinkedIn matched
✓ Verified May 2026 4 data sources Profile completeness 100%

Contact Signals · 1 work email

Work email a****@microsoft.com
LinkedIn Profile matched
3 free lookups remaining · No credit card
Current company
Role
Software Engineer
Location
Atlanta, Georgia, United States

Who is Andrew Helwer? Overview

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

Quick answer

Andrew Helwer is listed as Software Engineer at Disjunctive, based in Atlanta, Georgia, United States. AeroLeads shows a work email signal at microsoft.com and a matched LinkedIn profile for Andrew Helwer.

Andrew Helwer previously worked as Software Engineering Consultant at Disjunctive Consulting Llc and Software Engineer II at Microsoft. Andrew Helwer holds Bachelor'S Degree, Computer Science from University Of Calgary.

Company email context

Email format at Disjunctive

This section adds company-level context without repeating Andrew Helwer's masked contact details.

{first_initial}{last}@microsoft.com
86% confidence

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

Profile bio

About Andrew Helwer

Software engineer with a decade of professional experience. Particularly effective when working with distributed systems and formal methods - especially TLA+ or Z3. Currently operating as an independent contractor, open to remote contracts. Have intensive side-interests in quantum computing and formalization of mathematics. Enjoys climbing, submission grappling, and mushroom foraging outside of work.

Listed skills include C#, Software Development, Programming, Python, and 29 others.

Current workplace

Andrew Helwer's current company

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

Disjunctive
Disjunctive
Software Engineer
Seattle, WA, US
AeroLeads page
7 roles

Andrew Helwer work experience

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

Software Engineering Consultant

Current

Independent software engineering consulting with a focus on applying & improving formal methods - formal specification & verification, static analysis, SMT solvers, and theorem proving. A particular focus on TLA+ and Z3, applied to analysis of distributed systems and access control systems.

Jul 2020 - Present

Software Engineer Ii

Redmond, Washington, US

Software engineer on the Microsoft Quantum Systems team. Developed tools & services in support of researchers in the lab as they attempted to reliably manufacture nanowires. Engaged with public to teach quantum computing concepts.

Apr 2019 - Jul 2020

Software Engineer Ii

Redmond, Washington, US

Software engineer on the Microsoft Azure Wide Area Network (WAN) team. Designed & implemented distributed checkpoint coordination protocol with formal specification in TLA+. Decreased memory footprint of Azure DNS database backend. Worked with team to develop configuration & management service for Azure network devices.

Apr 2017 - Apr 2019

Software Engineer

Redmond, Washington, US

Software engineer on the Microsoft Azure Compute Manager team. Developed scalable services in C++ and C#. Modernized team engineering infrastructure. Significantly decreased time required for creation of new Azure clusters, datacenters, and regions. Identified $8 million in annual data storage cost savings; personally implemented over $1 million of those.

Mar 2014 - Apr 2017

Software Engineer Intern

Redmond, Washington, US

Microsoft Software Engineer Intern on the Microsoft Azure Datacenter Manager team, summer 2013. Wrote a log viewing service in C# using the ASP.NET Web API.

May 2013 - Jul 2013

Software Developer - Internship Student

Calgary, Alberta, CA

Developed high-performance scientific computing software targeting GPUs. Projects included simulation of electromagnetic waves with the finite-difference time-domain (FDTD) method, CT scan reconstruction, and antenna design for radio-frequency heating. Used C++, CUDA, MPI, and OpenMP.

May 2011 - Aug 2012
1 education record

Andrew Helwer education

  • University Of Calgary
    University Of Calgary
    Computer Science
FAQ

Frequently asked questions about Andrew Helwer

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

What company does Andrew Helwer work for?

Andrew Helwer works for Disjunctive.

What is Andrew Helwer's role at Disjunctive?

Andrew Helwer is listed as Software Engineer at Disjunctive.

What is Andrew Helwer's email address?

AeroLeads has found 1 work email signal at @microsoft.com for Andrew Helwer at Disjunctive.

Where is Andrew Helwer based?

Andrew Helwer is based in Atlanta, Georgia, United States while working with Disjunctive.

What companies has Andrew Helwer worked for?

Andrew Helwer has worked for Disjunctive, Disjunctive Consulting Llc, Microsoft, and Acceleware.

How can I contact Andrew Helwer?

You can use AeroLeads to view verified contact signals for Andrew Helwer at Disjunctive, including work email, phone, and LinkedIn data when available.

What schools did Andrew Helwer attend?

Andrew Helwer holds Bachelor'S Degree, Computer Science from University Of Calgary.

What skills is Andrew Helwer known for?

Andrew Helwer is listed with skills including C#, Software Development, Programming, Python, C++, Java, Git, and Linux.

Find 750M verified contacts

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