Name:Hao Wu

Country:Ireland

Affiliation:Maynooth University

Research interests:Formal Methods, Programming Languages, Safety Critical Systems, Cyber Physical Systems, Model Based Testing