From 079f49745b0205890d06707109a5622c948cf11b Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Wed, 7 Nov 2018 15:25:07 +0000 Subject: [PATCH] Update 2018-10-10-emma.md --- _posts/2018-10-10-emma.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_posts/2018-10-10-emma.md b/_posts/2018-10-10-emma.md index 45d1b9e..d12478d 100644 --- a/_posts/2018-10-10-emma.md +++ b/_posts/2018-10-10-emma.md @@ -1,7 +1,7 @@ --- 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 -- GitLab