We introduce 'formal methods' of mechanized reasoning from computer science to address two problems in auction design and practice: is a given auction design soundly specified, possessing its intended properties; and, is the design faithfully implemented when actually run? Failure on either...

Formal methods use computers to verify proofs or even discover new theorems. Interest in applying formal methods to problems in economics has increased in the past decade, but - to date - none of this work has been published in economics journals. This paper applies formal methods to a familiar...

We introduce 'formal methods' of mechanized reasoning from computer science to address two problems in auction design and practice: is a given auction design soundly specified, possessing its intended properties; and, is the design faithfully implemented when actually run? Failure on either...

Formal methods use computers to verify proofs or even discover new theorems. Interest in applying formal methods to problems in economics has increased in the past decade, but - to date - none of this work has been published in economics journals. This paper applies formal methods to a familiar...

This paper uses a market equilibrium model to calculate how the mix of generating capacity would change if large amounts of intermittent renewables are built in Great Britain, and what this means for operating patterns and the distribution of prices over time. If generators bid their marginal...

This paper presents an overview of the main issues associated with the economics of offshore wind. Investment in offshore wind systems has been growing rapidly throughout Europe, and the technology will be essential in meeting EU targets for renewable energy in 2020. Offshore wind suffers from...

On windy days, Denmark tends to export electricity to its neighbours, and to import power on calm days. Storing electricity in this way thus allows the country to deal with the intermittency of wind generation. We show that this kind of behaviour is theoretically optimal when a region with wind...