From 038519bcbe3222d8eedf8ae0a3936510db705ef5 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Mon, 21 Nov 2016 16:17:06 +0000
Subject: [PATCH] Update gardner.md

---
 _people/gardner.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/_people/gardner.md b/_people/gardner.md
index 4fd869f..3e1bbe1 100644
--- a/_people/gardner.md
+++ b/_people/gardner.md
@@ -8,6 +8,7 @@ projects:
   - web
   - concurrency
   - sl
+  - moc
 ---
 Philippa Gardner is a professor in the [Department of Computing](http://www.doc.ic.ac.uk) at Imperial. Her current research focusses on program verification: in
 particular, reasoning about web programs (JavaScript and DOM) and reasoning about concurrent programs.
-- 
GitLab