Workcraft has been developed by several generations of PhD students and researchers at the μSystem Research Group (lead by Prof Alex Yakovlev) and AMBER Research Group:

• Ivan Poliakov (Workcraft core, Directed Graph, Petri Net)
• Arseniy Alekseyev (Workcraft core, Signal Transition Graph)
• Andrey Mokhov (Conditional Partial Order Graph, SCENCO toolsuite)
• Stanislav Golubtsov (Workcraft core, Digital Circuit)
• Danil Sokolov (Workcraft core, Digital Timing Diagram, Finite State Machine, Finite State Transducer, Dataflow Structure, Policy Net, xMAS Circuit, Waveform Transition Graph)
• Bowen Li (Structured Occurrence Net)
• Frank Burns (xMAS Circuit)
• Victor Khomenko (back-end tools for verification and synthesis based on Petri net unfoldings)
• Alessandro De Gennaro (Conditional Partial Order Graph, SCENCO toolsuite)
• Jonathan Beaumont (Conditional Partial Order Graph, Plato toolsuite)
• Daniel Martí (build system, continuous integration, static code analysis)
• Martin Jesper Low Madsen (OSX build)
• Alberto Moreno (Waveform Transition Graph)
• Alex Chan (eXtended Burst Mode)
• Igor Wieczorek (Control Flow Logic translator)
• Pete Austin, University of Liverpool (Parity Game solver)

EPSRC supported this activity by the following projects:

• SElf-timed DATapath synthEsis (SEDATE)
• Globally Asynchronous Elastic Logic Synthesis (GAELS)
• A System for Parallel Model Checking
• Design And Verification of Asynchronous Circuits (DAVAC) (funded by The Royal Academy of Engineering and EPSRC)
• VERification-Driven Asynchronous Design (VERDAD)
• UNderstanding COmplex system eVolution through structurEd behaviouRs (UNCOVER)
• Asynchronous design for Analogue electronics (A4A)
• Dataflow Computation a la Carte

The Dataflow Computation a la Carte project in collaboration with Maxeler Technologies and resulted in a plugin for modelling and analysis of dataflow structures with static and dynamic elements.

The recently started Asynchronous design for Analogue electronics (A4A) project is in collaboration with Dialog Semiconductor and focuses on synthesis on CAD support for specification, synthesis and verification of asynchronous control logic for power management systems.