Andrew Helwer work email
- Valid
Andrew Helwer personal email
- Valid
- Valid
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.
-
Software EngineerDisjunctiveSeattle, Wa, Us -
Software Engineering ConsultantDisjunctive Consulting Llc Jul 2020 - PresentIndependent 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.
-
Software Engineer IiMicrosoft Apr 2019 - Jul 2020Redmond, Washington, UsSoftware 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. -
Software Engineer IiMicrosoft Apr 2017 - Apr 2019Redmond, Washington, UsSoftware 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.
-
Software EngineerMicrosoft Mar 2014 - Apr 2017Redmond, Washington, UsSoftware 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 savings.
-
Software Engineer InternMicrosoft May 2013 - Jul 2013Redmond, Washington, UsMicrosoft 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.
-
Software Developer - Internship StudentAcceleware May 2011 - Aug 2012Calgary, Alberta, CaDeveloped 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.
Andrew Helwer Skills
Andrew Helwer Education Details
-
University Of CalgaryComputer Science
Frequently Asked Questions about Andrew Helwer
What company does Andrew Helwer work for?
Andrew Helwer works for Disjunctive
What is Andrew Helwer's role at the current company?
Andrew Helwer's current role is Software Engineer.
What is Andrew Helwer's email address?
Andrew Helwer's email address is ah****@****oft.com
What schools did Andrew Helwer attend?
Andrew Helwer attended University Of Calgary.
What are some of Andrew Helwer's interests?
Andrew Helwer has interest in Weightlifting, Alpine Skiing, Education, Cycling, Flight Simulators, Tennis.
What skills is Andrew Helwer known for?
Andrew Helwer has skills like C#, Software Development, Programming, Python, C++, Java, Git, Linux, High Performance Computing, Cuda, C, Haskell.
Free Chrome Extension
Find emails, phones & company data instantly
Aero Online
Your AI prospecting assistant
Select data to include:
0 records × $0.02 per record
Download 750 million emails and 100 million phone numbers
Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.
Start your free trial