Software Language Engineering, Royal Holloway, University of London
We are investigating the formal notations Charles Babbage developed to design and specify his 19th centuary computing engines.
More information on research in this area can be found here
Click below to see our Steam Driven Difference Engine in operation.