
ShAir
ShAir is a platform for mobile devices on which users can share their digital content with nearby people wirelessly in the background, even when they have no Internet access.
Researcher, Software Engineer,
Technology Entusiast
Postdoc Researcher at MIT Media Lab
I am a Roberto Rocca Postdoctoral fellow at Object-Based Media Group at MIT Media Lab. My research currently focuses on the application of proximity-based technologies for mobile and wearable devices to enable future smart spaces. At MIT Media Lab, I am working on ShAir, a platform for mobile content sharing even without Internet access.
In February 2014, I received the PhD with honors in Software Engineering at Politecnico di Milano, Italy under the supervision of Prof. Carlo Ghezzi.
My PhD dissertation focuses on dynamic software updates and proposes novel model-based approaches to automatically
identify under which condition a distributed software system can be safely and efficiently updated at run-time, without the need of being restarted.
For this work I received the Dimitris N. Chorafas Foundation Award.
In 2009, I received the Master Degree summa cum laude in Computer Science and Engineering at Politecnico di Milano, Italy
and in 2010, the Master Of Science in Computer Science at UIC, University of Illinois at Chicago, USA.
In 2013, I was a Research Intern at the IBM R&D Labs in Israel working on a new approach for the automatic generation of minimized test suites from scenario-based software specifications. Based on this collaboration I received the IBM PhD Fellowship Award.
My research interests cover different areas of software engineering including distributed systems and middleware, dynamic software evolution and self-adaptive systems, software testing, and smart spaces.
This is an incomplete list of the projects I am currently involved.
ShAir is a platform for mobile devices on which users can share their digital content with nearby people wirelessly in the background, even when they have no Internet access.
Social Proximity Framework (SPF) enables social interactions in a social smart spaces. It provides an additional software layer on top of a networking middleware to offer different functions enabling social interaction in proximity. External applications may leverage SPF to advertise a social profile in proximity or to discover other profiles matching different queries associated to social interests.
Scenariotools is an Eclipse-based toolsuite for scenario-based specifications. It supports the modeling, simulation and synthesis of Modal Sequence Diagram (MSD) Specifications. ScenarioTools also support the synthesis of dynamically updating controllers from changes in the specification.
Valerio Panzica La Manna
Address:
MIT Media Lab
20 Ames St.,
Room E15-444
Cambridge, MA 02139
phone (office): +1 (617) 715 4418
email: vpanzica < at > mit < dot > edu