Update bodin.md

_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