cj3
Colin James III
One of first 250 to learn Dartmouth BASIC as 14 year old in prep school in 1964. Mathematical logician and inventor of VL4 universal logic. Meth8/VL4 is the modal logic model checker for $97.
Colorado Springs, CO 80905

Following (1)

badvogato
格格不入-万事皆空

Followers (2)

bitinsane
SatoshiN is NOT Wright
badvogato
格格不入-万事皆空

Browse others (14)

davorg
Dave Cross
allanjude
Allan Jude
caddy
Caddy Web Server
avlidienbrunn
'uhuejh1ua
erikaheidi
Erika Heidi
argp
argp
n8fr8
Nathan Freitas
timohetzel
Timo Hetzel
zubron
Bridget McErlean
mitar
Mitar
rfc1036
Marco d'Itri
sebasmagri
Sebastián Ramírez Magrí
Trohe
Trohe