User:Andrew Helwer

Andrew Helwer (born September 20, 1990 in Winnipeg, Manitoba, Canada) is a software engineer. He holds a BSc in computer science from the University of Calgary. Helwer contributes to Wikipedia articles on algorithms, formal methods, and distributed computing. He currently resides in Atlanta, Georgia, USA.

Early life and education
Andrew Helwer grew up in Brandon, Manitoba, Canada, attending Waverly Park School and later Vincent Massey High School. As a long track speed skater he elected to attend the University of Calgary in order to train at the Calgary Olympic Oval. Although initially studying physics, he graduated in 2014 with a BSc in computer science.

After graduation he moved to Seattle, WA, USA, where he resided for six years without a car - instead choosing to traverse the city via bicycle and public transit. In 2020 he moved to Atlanta, Georgia, USA.

Career
Helwer was a software engineer intern at Acceleware from May 2011 to August 2012. He worked on computational electrodynamics simulations with the finite difference time domain method, on NVIDIA's CUDA platform. He also worked on CT scan reconstruction and modelling radio frequency heating. He was a summer intern in Microsoft Azure in 2013, returning as a full-time software engineer in May 2014. In 2019 he joined Microsoft's quantum computing development program, before becoming an independent software engineering consultant in late 2020.

Helwer works in the intersection of distributed computing and formal methods, employing the Z3 and TLA+. He also is passionate about quantum computing developer education.

Personal Life
In addition to editing Wikipedia, Helwer enjoys sport climbing and mountaineering.

Editing
Helwer has made major contributions to several articles in the areas of algorithms, distributed computing, and formal methods.

B-class articles

 * TLA+

C-class articles

 * Conflict-free replicated data type
 * Boyer-Moore string search algorithm

Future plans

 * Arbiter (electronics)
 * PlusCal
 * F* (programming language)
 * Device-independent quantum cryptography
 * Hamiltonian simulation
 * Nonlocal game