Ghiles Ziat

استادیار · Formal Methods

School for Computer Science and Advanced Techniques

France

معرفی

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.

حوزه‌های پژوهشی

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

۰مقاله منتشرشده

Ghiles Ziat در سایت‌های دیگر

جست‌وجوهای مرتبط

شاید این‌ها هم برایتان مناسب باشند

Uli FahrenbergSchool for Computer Science and Advanced Techniques · استاد
Sven DziadekInria · استادیار
Alexandre Duret-LutzSchool for Computer Science and Advanced Techniques · استاد
Adrien PommelletSchool for Computer Science and Advanced Techniques · دانشیار
Sven DziadekTélécom SudParis · استادیار
Amazigh AmraneSchool for Computer Science and Advanced Techniques · استادیار