User:Stablenode

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

BrE	British English is used by this user.

This user has created several articles on Wikipedia.