Skip to content
Snippets Groups Projects
Commit a3f426f9 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update ayoun.md

parent 46c8c441
No related branches found
No related tags found
No related merge requests found
Pipeline #197611 passed with warnings
Stage: build
Stage: deploy
Hide whitespace changes
Inline Side-by-side
Showing
with 5 additions and 6 deletions
_people/ayoun.md
+ 5
− 6
View file @ a3f426f9
...@@ -15,9 +15,8 @@ the supervision of Professor Philippa Gardner. He is currently working ...@@ -15,9 +15,8 @@ the supervision of Professor Philippa Gardner. He is currently working
on [Gillian](https://gillianplatform.github.io), a parametric symbolic execution on [Gillian](https://gillianplatform.github.io), a parametric symbolic execution
tool for symbolic testing, verification and automatic compositional testing. tool for symbolic testing, verification and automatic compositional testing.
During his undergraduate 2017, Sacha worked at the [French Alternative and Atomic Energy Commission As an undergraduate, 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 in 2017. His goal was
His goal was to improve the Frame-C abstract interpreter to better handle to improve the Frame-C abstract interpreter to better handle file descriptors.
file descriptors. In 2018 he completed his Supelec Engineer Diploma 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.
as well as his MSc in Advanced Computing at Imperial.
\ No newline at end of file
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