Funding


A number of agencies have provided financial support for our research, these include:

Source of Funds: EPSRC
Title of Project: Model Driven Architecture
Duration (Months): 36 months
Start Date: Summer 2009
Total Value: £ 324,340
Grant Holders: Derrick, Struth, Simons

Source of Funds: EU FP7 programme
Title of Project: ProTest - Property-based Testing for Erlang
Duration (Months): 36 months
Start Date: May 2008
Total Value: £ 319,541 (Sheffield portion)
Grant Holders: Derrick

Source of Funds: British Council
Title of Project: Integrated formal methods
Duration (Months): 24 months
Start Date: Summer 2007
Total Value: £ 4,200
Grant Holders: Derrick

Source of Funds: Royal Society
Title of Project: Research interchange programme
Duration (Months): 24 months
Start Date: Summer 2005
Total Value: £ 6.705
Grant Holders: Derrick

Source of Funds: EPSRC
Title of Project: Bridging the Gap Award
Duration (Months): 36 months
Start Date: TBA
Total Value: £ 420,141
Grant Holders: University of Sheffield

Source of Funds: Leverhulme Research Fellowship
Title of Project:  Unifying theories of refinement
Duration (Months): 24 months
Start Date: October 2005
Total Value: 21,994
Grant Holders: Derrick

Source of Funds: EPSRC
Title of Project: FORSE - Formally-based tool support for Erlang development
Duration (Months): 36 months
Start Date: October 2005
Total Value: £ 225,425
Grant Holders: Derrick and joint with University of Kent, T-mobile and Erlang Training and Consulting Ltd

Source of Funds: EPSRC
Title of Project: RefineNet
Duration (Months): 36 months
Start Date: January 2003
Total Value: £ 62,425
Grant Holders: Derrick

Source of Funds: EPSRC
Title of Project: Research and induction training at IFM'04
Duration (Months): 3 months
Start Date: March 2004
Total Value: £ 8,008
Grant Holders: Derrick, Boiten

Source of Funds: Royal Society
Title of Project: Integrated Specification Notations
Duration (Months): 24 months
Start Date: April 2003
Total Value: £ 6,000
Grant Holders: Derrick

Source of Funds: EPSRC
Title of Project: FORTEST
Duration (Months): 36 months
Start Date: March 2001
Total Value: £ 60,000
Grant Holders: Derrick, Heirons, Harman

Source of Funds: University of Queensland
Title of Project: Travel grant
Duration (Months): 12 months
Start Date: April 2000
Total Value: £ 900
Grant Holders: Derrick

Source of Funds: EPSRC
Title of Project: Constructive frameworks for partial systems
Duration (Months): 36 months
Start Date: September 2000
Total Value: £ 63,604
Grant Holders: Boiten, Derrick

Source of Funds: British Telecom
Title of Project: Scheduling policies for active networks
Duration (Months): 36 months
Start Date: January 2000
Total Value: £ 60,000
Grant Holders: Derrick, Waters

Source of Funds: EPSRC
Title of Project: Design support environments for Distributed Systems
Duration (Months): 39 months
Start Date: October 1999
Total Value: �£ 140,534
Grant Holders: Derrick, Waters

Source of Funds: EPSRC
Title of Project: FORCES
Duration (Months): 36 months
Start Date: September 1998
Total Value: �£ 4,831
Grant Holders: Derrick

Source of Funds: EPSRC
Title of Project: ODP Viewpoints in a Development Framework
Duration (Months): 36 months
Start Date: April 1998
Total Value: �£ 127,465
Grant Holders: Bowman, Derrick, Linington

Source of Funds: EPSRC
Title of Project: Support for the FMOODS conference
Duration (Months): N/A
Start Date: July 1997
Total Value: �£ 750
Grant Holders: Bowman, Derrick

Source of Funds: British Telecom
Title of Project: Support for the FMOODS conference
Duration (Months): N/A
Start Date: July 1997
Total Value: �£ 500
Grant Holders: Bowman, Derrick

Source of Funds: EPSRC
Title of Project: A Specification Architecture for the Validation of Real-time and Stochastic Quality of Service
Duration (Months): 36
Start Date: August 1997
Total Value: �£ 105,228
Grant Holders: Bowman, Derrick

Source of Funds: EPSRC
Title of Project: Support for a Mathfit workshop
Duration (Months): N/A
Start Date: July 1996
Total Value: �£ 3,192
Grant Holders: Derrick

Source of Funds: London Mathematical Society
Title of Project: Support for a Mathfit workshop
Duration (Months): N/A
Start Date: July 1996
Total Value: �£ 2,000
Grant Holders: Derrick

Source of Funds: British Telecom
Title of Project: Type Management in Distributed Systems
Duration (Months): 36
Start Date: July 1995
Total Value: �£ 25,500
Grant Holders: Bowman, Derrick

Source of Funds: EPSRC/DTI
Title of Project: FORMOSA
Duration (Months): 24
Start Date: September 1995
Total Value: �£ 5,000
Grant Holders: Bowman, Derrick

Source of Funds: Royal Society
Title of Project: Travel
Duration (Months): 2
Start Date: February 1995
Total Value: �£ 1,300
Grant Holders: Derrick

Source of Funds: SERC
Title of Project: Cross Viewpoint Consistency in ODP
Duration (Months): 24 months
Start Date: March 1994
Total Value: �£ 58,199
Grant Holders: Bowman, Derrick, Linington

Source of Funds: British Telecom
Title of Project: Cross Viewpoint Consistency in ODP
Duration (Months): 24 months
Start Date: 1993
Total Value: �£ 6,000
Grant Holders: Bowman, Derrick