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 (1)

badvogato
格格不入-万事皆空

Browse others (15)

pento
Gary Pendergast
hxm
Hector X. Monsegur
bkelly
Brian Kelly
lintile
Aaron Lint
film_girl
Christina Warren
beltranrubo
Beltran
cstriecks
Christoph Striecks
Just_Jump
Donald Jump
tgroshon
Tommy Groshong
taylorreed
Taylor
arvenil
Kamil Dziedzic
annapawlicka
Anna Pawlicka
behdad
Behdad Esfahbod