From c2052f857f76a01bf456199ce6a09eb2b63231af Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Tue, 23 Jun 2020 14:05:31 +0100
Subject: [PATCH] Update bodin.md

---
 _people/bodin.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_people/bodin.md b/_people/bodin.md
index 916c4d0..42e0581 100644
--- a/_people/bodin.md
+++ b/_people/bodin.md
@@ -14,7 +14,7 @@ Martin Bodin is a Research Associate with the group.
 
 Martin is currently working on a formalism called skeletons to represent the semantics 
 of real-world language, in order to get as many properties as possible [certified in the Coq 
-proof assistant](https://coq.inria.fr). He is also workiing on 
+proof assistant](https://coq.inria.fr). He is also working on 
 a [formalisation of WebAssembly/Wasm in Coq](https://github.com/Imperial-Wasm/wasm-coq-public).
 
 Martin Bodin did his PhD on [formal analyses of the JavaScript programming 
-- 
GitLab