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. I'm also working on a proof assistant called Occam, if that's not obvious.

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


The latest version of Occam is up, in fact it's just the last patch of version 1.3 (hopefully). If you import the Propositional Logic project from the welcome page, you'll see that the file paths in the include directives are now clickable. I'm going to correct them all next...


There is 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 30th April, 2017.