Update gardner.md

_people/gardner.md

@@ -16,8 +16,8 @@ and leader of the Program Specification and Verification Group.
 Her current research focusses on program verification: in particular, reasoning about Web programs 
 (JavaScript and DOM) and reasoning about concurrent programs.
 
-She completed her PhD thesis, supervised by Professor Gordon Plotkin FRS at Edinburgh in 1992.  
-She moved to Cambridge in 1998 on an EPSRC Advanced Fellowship, hosted by Professor Robin Milner FRS. 
+She completed her PhD thesis, supervised by Professor Gordon Plotkin FRS at Edinburgh in 1992. She moved to Cambridge in 1998 
+on an EPSRC Advanced Fellowship, hosted by Professor Robin Milner FRS. 
 She obtained a lectureship at Imperial in 2001, and became professor in 2009. She held a Microsoft Research Cambridge/Royal Academy of
 Engineering Senior Fellowship from 2005 to 2010 at Imperial. She was the  Director 
 of the [Research Institute in Automated Program Analysis and Verification](http://www.verificationinstitute.org),