Commit e96ec1c5 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia

Update ayoun.md

parent 9643f1e0
Pipeline #152683 passed with stages
in 4 minutes
...@@ -11,11 +11,13 @@ projects: ...@@ -11,11 +11,13 @@ projects:
- sl - sl
--- ---
Sacha Ayoun is a PhD student at the Department of Computing at Imperial, under Sacha Ayoun is a PhD student at the Department of Computing at Imperial, under
the supervision of Professor Philippa Gardner. During his undergraduate 2017, the supervision of Professor Philippa Gardner. He is currently working
he worked at the [French Alternative and Atomic Energy Commission on [Gillian](https://gillianplatform.github.io), a parametric symbolic execution
tool for symbolic testing, verification and automatic compositional testing.
During his undergraduate 2017, Sacha worked at the [French Alternative and Atomic Energy Commission
(CEA)](http://www.cea.fr/english) as a researcher-engineer intern. (CEA)](http://www.cea.fr/english) as a researcher-engineer intern.
His goal was to improve the Frame-C abstract interpreter to better handle His goal was to improve the Frame-C abstract interpreter to better handle
file descriptors. In 2018 he completed his Supelec Engineer Diploma file descriptors. In 2018 he completed his Supelec Engineer Diploma
at [CentraleSupelec](http://www.centralesupelec.fr/) at [CentraleSupelec](http://www.centralesupelec.fr/)
as well as his MSc in Advanced Computing at Imperial. His PhD will be focused as well as his MSc in Advanced Computing at Imperial.
on JavaScript Verification using separation logic. \ No newline at end of file
\ No newline at end of file
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment