The organisation

The University of Aberdeen was founded in 1495, is Scotland's third oldest University and is the fifth oldest in the UK. Aberdeen is an international university built on serving one of the most dynamic regions of Europe and is at the forefront of teaching and research in the humanities, medicine and sciences. Some University of Aberdeen successes include: 4 Nobel Prizes; the generation of several spinout biotech companies; high quality research with 89% of Aberdeen’s research activity rates as of international quality in the UK’s 2008 Research Assessment Exercise

Relevant skills/experience/technologies

The University of Aberdeen has been involved in European projects since Framework 3 and has, to date, been successful in participating in more than 600 grants funded by the European Commission. Aberdeen has also been successful in securing a number of grants under schemes such as ESF, Socrates, Interreg, COST, Leonardo and holds one ERC Starting Grant. The University has also begun plans, which include £240 million investment on infrastructure and facilities over ten years.

Role in the project

Until M23 Scientific Coordinator, leader WP6. From M24 Co-leader WP6 and contributor to WP2, WP7 and WP8.

Interest in project results

The University of Aberdeen team will be furthering their interest in the synthesis of models of systems architecture and socio economic models of decision making. An area where the team members have established strong intellectual leadership. The project will allow the team to expand and leverage their experience working on UK funded project in the European context and permit a greater interaction with European policy conversation. This interaction would be substantially more difficult and less productive without the project funding.

Related Projects

Trust Economics (UK Government Funded) Cloud Stewardship Economics (UK Government Funded)

Key Personnel

David Pym is the 6th Century Chair in Logic (and SICSA Professor of Computing Science) at King’s College, University of Aberdeen, where he is also Head of the School of Natural and Computing Sciences. Until recently, he was senior member of the research staff at HP Labs, Bristol, where he led and managed several highly interdisciplinary projects, involving mathematics, computation, economics, and management, in the area of mathematical systems modelling and security, He was also Professor Logic & Computation at the University of Bath, and was previously Professor of Logic at QMUL. Two of these projects, Trust Economics and Cloud Stewardship Economics, are funded by the Technology Strategy Board; Pym continues his engagement with these projects as a consultant to HP. Pym has served on the PC of WEIS, the leading international conference on information security economics, and co-chaired the conference in London in 2009. Pym has a long track record of research in mathematical logic and models of computation, much of it funded by EPSRC and Royal Society research grants and fellowships (EPSRC Advanced Fellow; Royal Society Industry Fellow). Pym is Fellow of the IMA, of the BCS, and holds an MA and an ScD (higher doctorate) in mathematics from the University of Cambridge, a PhD in the mathematical theory of computation from the University of Edinburgh.

Matthew Collinson is a Lecturer in the Department of Computing Science at The University of Aberdeen. From August 2006 to June 2010 he was a Research Scientist at Hewlett-Packard Laboratories, Bristol, U.K. At HP he helped to develop systems modelling approaches to information security scenarios, and practical tools to support such modelling. He has a PhD in mathematical foundations of computation and an MSc. in Mathematical Logic both from the University of Manchester, and a BSc. in Mathematics from the University of Edinburgh.