Team
Automata and ApplicationsCampus
Paris
Short Bio
I am assistant professor at EPITA Paris and at LRE, and member of the Automata and applications research group at LRE.
| Contact information | |
|---|---|
| ghiles.ziat@epita.fr |
Research
I am interested in formal methods, in particular in static analysis and constraint programming.
Publications
See my personal website
For more content, visit my personal website!