Name:Nouraldin Jaber

Country:United States

Affiliation:Purdue University

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