Ghiles Ziat

• Site: Paris
• Group: automata and applications
• Axis: software and performance

Short Bio

I am assistant professor at EPITA Paris and at LRE, and member of the Automata and applications research group at LRE.

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!