diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index 13d617bf50bd0e5771ad13258d8340197fb489cb..018e006f3343eb7eaade993e6c16b37cb628909d 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/NEWPROPOSAL/FULLPROP.tex
@@ -2024,11 +2024,12 @@ diagrammatics. NJP 13 (043016), 2011. (3) --- and A.~Kissinger. Picturing Quantu
           (2) ---. The ZX-calculus is complete for the single-qubit Clifford+T group. EPTCS 172. arXiv:1412.8553.
           (3) --- and A.~Kissinger.  ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non- linearity. QPL 2018. arXiv: 1805.02175.}
           
-          \textbf{Dr.\ Niel de Beaudrap} \bR is a post-doctoral researcher involved in the NQIT project. He developed the first efficient algorithms to recover annotation systems to re-write MBQC procedures to the unitary circuit model.  +++\e
+          \textbf{Dr.\ Niel de Beaudrap} is a post-doctoral researcher in the NQIT project, in which he is Principal Investigator of a Partnership Project on resource-usage in networked quantum architectures and a User Project on emulating quantum computations.
+          He is a Co-Investigator with Prof.\ Coecke on a project with CQC to optimise quantum circuits using the \zxcalculus, co-developed the connection between \zxcalculus and lattice surgery~(1), and developed the first efficient algorithms to recover annotation systems to re-write MBQC procedures to the unitary circuit model~(2).
 \textit{\color{gray} 
 \textbf{Publications:} 
-(1) ---. Finding flows in the one-way measurement model. PRA~77 (022328), 2008.
-(2) --- and D.~Horsman. The ZX calculus is a language for surface code lattice surgery. arXiv:1704.08670.
+(1) --- and D.~Horsman. The ZX calculus is a language for surface code lattice surgery. arXiv:1704.08670.
+(2) ---. Finding flows in the one-way measurement model. PRA~77 (022328), 2008.
 } 
           
           \textbf{Dr.\ Quanlong Wang} is on an IAA Secondment at Cambridge Quantum Computing Ltd., working on ZX-calculus. Before doing a 2nd PhD at Oxford he was a Lecturer in Mathematics at Beijing University of Aeronautics and Astronautics. He was the 1st to prove universal completeness of universal \zxcalculus. He also established a simple complete set of rules for 2-qubit circuits, which later were proved to be universally complete.