Andrea Fornaia

Dipartimento di Matematica e Informatica, Università di Catania
Viale A. Doria, 6 -- 95125 Catania - Italy
Stanza 39 Blocco III
Tel: +39 095 738 3008
fornaia at dmi dot unict dot it

Short Bio

My name is Andrea Fornaia, I'm a PhD student at the Department of Mathematics and Informatics of the University of Catania, and I have a Master of Science degree in Computer Science.

In the past I won a scholarship with the National Institute of Nuclear Phisics (INFN) of Catania and the GARR Consortium, the Italian Academic and Research telecommunication network.

My current research interests are mainly focused on software quality assurance and software engineering in general, covering subjects like software testing, static analysis and code refactoring. I’m also strongly interested in distributed systems technologies and IT infrastructures.

Conferences

I'm co-organising the following events at international conferences

Papers
A Software Architecture Assisting Workflow Executions on Cloud Resources 2015
Using AOP Neural Networks to Infer User Behaviours and Interests 2015
An AO System for OO-GPU Programming 2015
Combining Static and Dynamic Data Flow Analysis: a Hybrid Approach for Detecting Data Leaks in Java Applications 2015
Random Versus Combinatorial Effectiveness in Software Conformance Testing: a Case Study 2015
Assessing the Correctness of JVM Implementations 2014
Combinatorial Interaction Testing of a Java Card Static Verifier 2014
The agINFRA Science Gateway for Agricultural Sciences 2013
CLEVER: a Light Cloud Environment for Clusters and Grids 2012
An Attempt to Integrate Clouds in Grids 2011
Visualization Element: towards the definition of a new Grid Service 2011
About Me
I took a bachelor degree (AY 2011) and a Master of Science (AY 2014) in Computer Science. I’m currently following a Ph.D course at the department of Mathematics and Computer Science of the University of Catania
From 2009 to 2011 I won a scholarship with the National Institute of Nuclear Physics (INFN) of Catania, where I mainly worked on monitoring solutions for data centers and on the application porting over Grid and Cloud infrastructures.
In 2012 I won a scholarship with the GARR Consortium, the Italian Academic and Research telecommunication network. I proposed a solution for a cloud-based RaaS service (Recovery as as Service) able to build an on-demand private cloud over existing Grid resources.
In 2013 I was involved in the JACOS project with the dpt. of Mathematics and Informatics of the University of Catania, where I worked on the combinatorial testing of Java Card bytecode verifiers.
Last, but not least, I’m a certified RedHat OpenStack Administrator.