James Smith

James Smith

@Imperial College London

jecs@imperial.ac.uk (related to academia)
james.smith@djalbat.com (all other)

I am a mathematician and programmer, almost exclusively 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. Presently there's quite a lot about that below.

For what it's worth I am a supporter of the Cost of Knowledge effort.


Work on Occam continues apace. Integration of the parser to afford better syntax highlighting is underway and also for indexing files. This will make both labels and the file paths in include directives clickable, so you will be able to navigate around, so to speak. Verification at least at a meta level (by which I mean rules, not theorems) is some way off, but not that far off (weeks).

Occam Proof Assistant

There is now a dedicated home page and here is a gorgeous screen shot.




These are not fully peer-reviewed papers and should not be judged as such.


For Occam's resources, see Occam's home page.


Last updated 23rd February, 2017.