update LICENCE and README with other UCam and MS authors (headers need update to match)

2 files changed, 13 insertions, 3 deletions

diff --git a/LICENCE b/LICENCE
index f72cd23..1b24bad 100644
--- a/LICENCE
+++ b/LICENCE
@@ -16,6 +16,11 @@ Copyright (c) 2017-2021
   Shaked Flur
   Christopher Pulte
   Peter Sewell
+  Alexander Richardson 
+  Hesham Almatary 
+  Jessica Clarke
+  Microsoft, for contributions by Robert Norton-Wright and Nathaniel Wesley Filardo
+  Peter Rugg
   Aril Computer Corp., for contributions by Scott Johnson
 
 All rights reserved.
diff --git a/README.md b/README.md
index 438d308..f684e6a 100644
--- a/README.md
+++ b/README.md
@@ -370,12 +370,17 @@ Authors
  Rishiyur S. Nikhil (Bluespec Inc.); 
  Jon French, University of Cambridge;
  Brian Campbell, University of Edinburgh;
- Robert Norton, University of Cambridge;
+ Robert Norton-Wright, University of Cambridge and Microsoft;
  Alasdair Armstrong, University of Cambridge;
  Thomas Bauereiss, University of Cambridge;
  Shaked Flur, University of Cambridge;
- Christopher Pulte, University of Cambridge
- Peter Sewell, University of Cambridge
+ Christopher Pulte, University of Cambridge;
+ Peter Sewell, University of Cambridge;
+ Alexander Richardson, University of Cambridge;
+ Hesham Almatary, University of Cambridge;
+ Jessica Clarke, University of Cambridge;
+ Nathaniel Wesley Filardo, Microsoft;
+ Peter Rugg, University of Cambridge;
  Scott Johnson, Aril Computer Corp.
 
 Funding