April 25, 2020

The latest video is now also posted on youtube. Comments there are welcome.

April 22, 2020

Slides and a video of my cancelled presentation to the British Computer Society are now on line. A minor error in section 8.5.3 of the book has come to my attention, so you may want to download the updated version.

March 30, 2020

My presentation to the British Computer Society was scheduled for the end of May but was cancelled due to coronavirus.  I'm preparing a video instead that will be posted here and on youtube. My grant application was unsuccessful. The assessors' feedback is here.

January 9, 2020

I've agreed to give a talk for the British Computer Society Formal Aspects of Computing Science group. It will probably be in April or May but no date has been set. Watch this space. 

I've applied for an Innovate UK Smart Grant to develop software for DI circuit design and verification. Normally grant applications make boring reading, but I've posted an excerpt of mine here in case anyone wants a non-technical overview of the subject and my two cents about its potential impacts. (tl;dr The UK semiconductor sector is losing ground to the big boys and could do with some "game changing".)

November 26, 2019

Slides and videos in small, medium and large formats of the seminar at Imperial College from November 18 are now on line.

November 9, 2019

A recent announcement about the book on the asynchronous mailing list has attracted some interest and ongoing email correspondence, and this site is currently the top hit on for "delay insensitive circuits".  A couple of printed copies of the book have now found a home, one with the British Library and another at an American university. I'm scheduled to give a talk at Imperial college on November 18, for which I plan to post the slides and a video afterwards.