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.


I've been working on JSX support for my Easy elements, something I've called Juxtapose. I've created a separate page to go with this:

I'm back to working on Occam now, if I can remember where I left off.

Occam Proof Assistant

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 21st March, 2017.