User:Andrew Helwer

Profile photo of Wikipedia 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

Barnstars

	The Defender of the Wiki Barnstar
	Thanks for your input on the notability of MQL4! This kind of case is not easy to handle and I think you made the right choice. Pintoch (talk) 21:33, 20 November 2014 (UTC)

External Links

• GitHub
• LinkedIn

Userboxes

This user is a WikiOgre.

This user lives in Seattle.

This user is a member of WikiProject Computer science.

UofC

This user attends or has attended the University of Calgary.

BCSThis user has a Bachelor of Computer Science degree.

ALGThis user is an expert in algorithms.

FMETThis user is an expert in Formal methods.

DISTThis user is an expert in Distributed computing.