reblurb

_research/javascript.md

@@ -36,5 +36,4 @@ JSIL to develop front-ends for the CBMC and Infer verification tools.
 <h4>Research Support</h4>
 
 This research is supported by the EPSRC/GCHQ grant <a href="http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/K032089/1" target="_blank">EP/K032089/1<a>: <a href="https://verificationinstitute.org/project/certified-verification-of-client-side-web-programs/" target="_blank">Certified Verification of Client-Side Web Programs</a> and the EPSRC programme grant <a href="http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/H008373/2" target="_blank">EP/H008373/2</a>: <a href="http://www.resourcereasoning.com/" target="_blank">Resource Reasoning</a>. We also
-interact extensively with <a href="http://www.chargueraud.org/" target="_blank">Arthur Charguéraud</a>, <a href="https://www.irisa.fr/celtique/aschmitt/" target="_blank">Alan Schmitt</a> and <a href="http://people.irisa.fr/Martin.Bodin/index.html?lang=en" target="_blank">Martin Bodin<a/> of Inria, France. .....and I think they are supported by some
-grant or other.
+interact extensively with <a href="http://www.chargueraud.org/" target="_blank">Arthur Charguéraud</a>, <a href="https://www.irisa.fr/celtique/aschmitt/" target="_blank">Alan Schmitt</a> and <a href="http://people.irisa.fr/Martin.Bodin/index.html?lang=en" target="_blank">Martin Bodin<a/> of Inria, who are supported by the <a href="http://ajacs.inria.fr/">AJACS</a> project.
\ No newline at end of file
\ No newline at end of file