James Smith

James Smith

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. These days I am 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.

Latest

I've finished work on Occam's custom grammar handling. I now have to finish the dependency management, which is going pretty well if a little slowly. Then I can start on verification (I am aware that it is not the first time that I have written that).

Update: work on Occam has come to a halt most likely until early next year.

Occam

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

Papers

Preprints

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

Resources

Miscellany

Last updated 4th November, 2017.