April 25, 2020
The latest video is now also posted on youtube. Comments there are welcome.
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 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 duckduckgo.com 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.