Ghiles Ziat

Assistant Professor · Formal Methods

School for Computer Science and Advanced Techniques

France

About

Ghiles Ziat is an Assistant Professor at EPITA Paris, affiliated with the LRE (Epita Research Laboratory) and the Automata team. His research focuses on formal methods, particularly static program analysis and constraint programming, with applications to hybrid systems analysis and software verification.

Research fields

Formal Methods Static Program Analysis Constraint Programming Abstract Interpretation Hybrid Systems Software Verification Test Generation

0Publications listed

Ghiles Ziat

About

Find Ghiles Ziat elsewhere

Related Searches

You Might Also Like