User:Androlo

Looking to gradually start contributing with smaller proofs and general housekeeping, to improve my (practical) experience at working with "human performed" proofs.

Bio

Swedish, 43 at the time of writing (born 1980), erstwhile programmer now investor. Currently working on a paper on formal methods in data analysis. Most of my math experience comes from an unfinished math degree from university, and having studied and worked with formal methods on-and-off for the last 10 years, mainly through software validation tools / computerized proof assistants like FramaC and Coq. Also fixes furnaces and does some general work with all kinds of mechanical and electrical stuff, as well as some basic construction work and tractor/farming work, as I live in the rural north where you kind of have to do those things. I do a lot of sports, hiking, fishing, skiing, skating, bicycling, swimming, gymnastics etc. I like exercising.