Free

Delay Insensitive Circuits: an exercise in formal methods - FACS

Event Information

Share this event

Date and Time

Location

Location

BCS, The Chartered Institute for IT

Ground Floor

25 Copthall Avenue

London

EC2R 7BP

United Kingdom

View Map

Event description

Description

Delay insensitive circuits provide an ideal opportunity for reasoning about concurrent systems in many ways: non- deterministic processes, multiple levels of abstraction, hard combinatorial problems, assorted bisimilar representations, and the need for a semantics of behavioral equivalence and refinement among others, all within a decidable theory.

This presentation will review some recent work on DI circuit design (https://www.delayinsensitive.com) as a case study with the benefit of hindsight, leading to a general discussion of the fitness of formal methods for serving practitioners and the balance to be struck between innovation and familiarity.

-------------------------------------------------------------------------------

Speakers: Dennis Furey https://www.linkedin.com/in/dennis-furey-5aa5724

-------------------------------------------------------------------------------

Dr Furey earned a PhD in computing from Imperial College in 1994 followed by postdoctoral appointments at Queensland University of Technology and London South Bank University, and a visiting faculty appointment at California Institute of Technology.

Since 2013, he has been an independent author and publisher.

-------------------------------------------------------------------------------

Refreshments will be available from 5.15pm. The talk will start at 6pm.

Share with friends

Date and Time

Location

BCS, The Chartered Institute for IT

Ground Floor

25 Copthall Avenue

London

EC2R 7BP

United Kingdom

View Map

Save This Event

Event Saved