Update 2018-10-10-emma.md

_posts/2018-10-10-emma.md

 ---
 title: Talk by Emma Tye, UROP student with the group, AVL tree algorithms
 ---
-Emma Tye, a 2nd year UROP student working with Philippa Garner and Jose Fragoso 
+[Emma Tye](https://github.com/EmmaTye), a 2nd year UROP student working with Philippa Garner and Jose Fragoso 
 on JaVerT, presented her work at this year’s first group’s Wednesday meeting. 
 
 Emma’s UROP project focused on the specification and verification of AVL tree