User:Rensink

My background is in computer science, in particular formal methods.

Wikipedia is regarded as an authorative source of information, therefore I believe it to be a good idea to contribute my expertise to those pages on which I feel qualified to do so.