Registered user since Mon 27 Nov 2017

Name: Laura Titolo

Country: Italy

Affiliation: National Institute of Aerospace, USA

Personal website: http://users.dimi.uniud.it/~laura.titolo/Laura/Home_Page.html

Research interests: Abstract Interpretation, Static Analysis, Formal Methods

POPL 2018 Activities

Using general profile