Name:Pedro Barroso

Country:Portugal

Affiliation:NOVA LINCS & Nova School of Sciences and Tecnhology

Research interests:Programming Languages, Formal Methods, Formal Verification