LinkedIn

CNOSSOS

[en] Welcome to cnossos.nl, the Centre in Nijmegen for Open Source Software and Open Systems. The centre is available for work on the pillars of Open Source Systems: generally underlying technologies, libraries, network procotols and development tooling, from straightforward programming to formal methods.

[nl] Welkom bij cnossos.nl, het Centrum in Nijmegen voor Open Source Software en Open Systemen. Het centrum is beschikbaar voor werk aan de pilaren van Open Source en Vrije Software: de onderliggende technologieën, bibliotheken, netwerkprotocollen of ontwikkelaarshulp; van rechtuit programmeren tot formele analyse.

Projects

ARPA2 Parts of the ARPA2 project, bits of Quick DER, LillyDAP and Steamworks, are developed by CNOSSOS in collaboration with Rick van Rein and others. This work can be found on github.

Culture

CNOSSOS works on Free Software: we do it for the four freedoms and the tenets of the Open Source definition.

CNOSSOS works in the open: you can find our work on github, and in KDE repositories, and elsewhere.

CNOSSOS works holistically: we can move up and down the software stack, or sideways into formal methods and baking cookies. All work and no play make [ade] a dull boy.

About

A Canadian by birth and a Dutchman by training, I studied mathematics and computer science (PhD. in formal methods from the University of Nijmegen), pretended I could play a lawyer on TV for a while, wrote some medical-related software, and then moved on to working on Open Source projects full-time.

GPG

You can use GPG-signed or encrypted messages to communicate with me. The key is available from keyservers, or here, pubkey.asc.

sec 4096R/0x7FEA3DA6169C77D6 2016-06-11 [expires: 2018-06-11] Key fingerprint = 00AC D15E 25A7 9FEE 028B 0EE5 7FEA 3DA6 169C 77D6