James Smith

James Smith

james.smith@openmathematics.org (related to academia)
james.smith@djalbat.com (all other)


I am a mathematician and programmer, mostly JavaScript these days. I have worked very briefly with temporal logics in the past, inventing a new one (this is nothing very clever, new logics are invented all the time) and proving that it is equivalent to some others. I also seem to have devised what appears to be the first correct concurrency control algorithm (at least going by one commonly held definition). These days I am working on a proof assistant called Occam, if that's not obvious.

Latest

I've just published an implementation of the Concur algorithm. You can find it at the foot of the resources section.

Previous

Occam

Occam has its own dedicated page including a section on how you can get it running locally.

Papers

Preprints

Presentations

Resources

Miscellany

Last updated 16th October, 2018.