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.

Latest

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.

Talks

Papers

Preprints

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

Resources

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

Miscellany

Last updated 21st March, 2017.