Name:Letterio Galletta

Bio:

I am an Associate Professor in Computer Science within the SySMA research unit of IMT Lucca. My research activities are in the field of language-based security, i.e., using techniques from programming languages, compilers, and formal verification to address security problems. I applied these techniques to address security in different application domains like adaptive software, the Internet of Things, and firewall configurations.

Country:Italy

Affiliation:IMT School for Advanced Studies Lucca