Update 2016-11-14-inferlab.md

_posts/2016-11-14-inferlab.md

@@ -6,15 +6,16 @@ The [Separation Logic](https://psvg.doc.ic.ac.uk/teaching/separationlogic.html)
 an automatic verification tool based on separation logic, developed at [Facebook](https://www.facebook.com/inferstaticanalyzer/) 
 where it is used every day to verify millions of lines of code.
 
+![Infer Lab](/images/posts/Infer-lab-1.jpg)
+
 [Peter O’Hearn](http://www.pl-enthusiast.net/2015/09/15/facebooks-peter-ohearn-on-programming-languages/), 
-Engineering Manager and leader of the Infer team, gave an overview of the use of Infer at Facebook. and [Jules Villard](https://www.doc.ic.ac.uk/~jvillar1/), 
-Software Engineer at Facebook, gave a tutorial on how to use [Infer](http://fbinfer.com/). Jules Villard, Software Engineer at Facebook, gave a tutorial on bi-abduction, 
+Engineering Manager and leader of the Infer team, gave an overview of the use of Infer at Facebook. 
+[Jules Villard](https://www.doc.ic.ac.uk/~jvillar1/), Software Engineer at Facebook, gave a tutorial on bi-abduction, 
 based on the slides that he developed together with Daiva Naudžiūnienė whilst a Post-Doc at Imperial College London.
 
-![Infer Lab](/images/posts/Infer-lab-1.jpg)
-
-Then the Imperial team ran a lab on how to use Infer, targeting real world Android applications,such as PocketHub, Wikipedia Android app, DuckDuckGo and k-9 mail client. 
-During the tutorial, one of the students, Lorenzo Paoliani, ran infer on ConnectBot, an SSH client for Android, and found several null dereference bugs. 
-He reported this on github and submitted a pull request for fixing this problem, which has been accepted and now merged.
+Then the Imperial team ran a lab on how to use [Infer](http://fbinfer.com/), targeting real world Android applications,
+such as PocketHub, Wikipedia Android app, DuckDuckGo and k-9 mail client. 
+During the tutorial, one of the students, Lorenzo Paoliani, ran infer on ConnectBot, an SSH client for Android, 
+and found several null dereference bugs. He reported this on github and submitted a pull request for fixing this problem, which has been accepted and now merged.
 
-For more details and slides, see the [Infer Lab](https://psvg.doc.ic.ac.uk/teaching/InferLab.html) page.
\ No newline at end of file
+For more details and slides, see the [Infer Lab 2016](https://psvg.doc.ic.ac.uk/teaching/InferLab.html) page.
\ No newline at end of file