FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Gennaro Parlato
Affiliation: University of Molise, Italy
Web page: https://gennaro-parlato.github.io/
Pages in this Program
All Proceedings Papers
CAV 2022 All Papers
CAV 2022 All Papers: Papers with Abstracts
CAV on Tuesday, August 9th
CAV Program
DSV on Thursday, August 11th
DSV Program
Paper: Reasoning about Data Trees using CHCs
Program
Program for Thursday, August 11th
Program for Tuesday, August 9th
Slides
Slides
Bio

Gennaro Parlato is an Associate Professor of Computer Science at the University of Molise (UNIMOL), and the director of the Program Analysis in Clouds Lab (PAC Lab). Before joining UNIMOL, Gennaro enjoyed a long international research career.  Between 2006 and 2011,Gennaro worked as a postdoc research associate, first in the Department of Computer Science at UIUC (Urbana, USA, May 2006-March 2010), and then in the Modeling and Verification research group at LIAFA and now IRIF Laboratory (Paris, France,April 2010-April 2011). Beteween 2011 and the end of 2018, Gennaro was an academic of the University of Southampton (SOTON) in the Department of Electronics and Computer Science (ECS), first as a Lecturer and then as an Associate Professor. While at the University of Southampton, Gennaro was also a member of the GCHQ/EPSRC Academic Centre of Excellence for Cybersecurity Research. Gennaro received his doctorate in Computer Science from the University of Salerno, Italy, in April 2006.