User:Stablenode

I am a computer scientist (but really an 'ex-mathematician') working primarily in what they call formal methods.