Name:Nouraldin Jaber

Country:United States

Affiliation:Purdue University, USA

Research interests:Formal Methods, Programming Languages, Parameterized Verification, Parameterized Synthesis.