Valerio Panzica La Manna - Phd

Valerio Panzica La Manna
Curriculum Vitae
B [email protected]
Õ http://home.dei.polimi.it/panzica
Summary
Valerio Panzica La Manna is a PhD candidate in Software Engineering at DEEPSE Group, Politecnico
di Milano, Italy.
In 2009, he took the Laurea Magistrale (Master Degree) cum laude in "Ingegneria Informatica"
(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.
In summer 2013, he was a Research Intern in the Software Testing Analysis and Review Methodologies
(STAR) group at IBM R&D Labs, Haifa Israel. He worked with Itai Segall and Eitan Farchi and
proposed a new technique for automatically generating minimized test suites from scenario-based
specification of software-intensive systems.
In 2013, on the basis of the results of the PhD research and on the collaboration with IBM Haifa,
he received the IBM PhD Fellowship Award.
His PhD research, in the context of the EU project SMSCom (ERC Grant), focuses on dynamic
software update. He is particularly interested in applying model-based techniques to safely update
distributed software systems at run-time without system service interruption. Furthermore, he is
interested in service-based and cloud-based systems, self-adaptive software, software testing, and
scenario-based specification.
As part of his research and in addition to it, he loves to code in a different variety of domains:
web-based and service-based applications, software engineering tools, and mobile apps.
Education
2010 – PhD in Software Engineering, Politecnico di Milano, Italy.
February 2014
(expected)
2009 – 2010 Master of Science in Computer Science, UIC, University of Illinois, Chicago,
USA, GPA – 3.71/4.00.
2007 – 2009 Laurea Magistrale (Master of Science) in Computer Science and Engineering,
Politecnico di Milano, Italy, Final grade: 110/110 magna cum laude.
2004 – 2007 Laurea (Bachelor Degree) in Computer Science and Engineering, Politecnico
di Milano, Italy, Final grade: 110/110 magna cum laude.
Experience
Industry
Summer 2013 Research Intern, IBM R&D Labs, Israel.
Proposed a new technique and implemented a tool for automatically generating a minimized
test-suite for reactive systems from a scenario-based specification.
Projects
July 2011 – Co-founder, ReDeal.it.
Present ReDeal is a web-based second-hand marketplace for coupons.
Activities: back-end development in Ruby on Rails, Paypal API integration, front-end
development in javascript, SEO, project management. http://www.redeal.it
January 2013 Contributor, ConUp.
– Present ConUp is an extension of Apache Tuscany for safe dynamic reconfiguration of SCA (Service
Component Architecture) distributed systems.
Activities: Design of System Architecture. Supervising students for the implementation.
Contributing in designing the dynamic reconfiguration algorithm, and implementing the case
study.
https://code.google.com/p/conup/
January 2012 Main Contributor, Scenariotools.
– Present 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.
Activities: Design and implementation of the toolsuite.
http://www.scenariotools.org
August 2008 – Software Engineer, Beaver Valley.
Dec. 2008 Beaver Valley is a 3D puzzle game developed during the MS course “Video Game Design
and Development” at UIC.
Activities: Design the gameplay and implementing in python the logic of the main character.
http://www.ulissegames.com/
Awards
2013 IBM PhD Fellowship Award
Description: The IBM Ph.D. Fellowship Awards Program is an intensely competitive
worldwide program, which honors exceptional Ph.D. students who have an interest
in solving problems that are important to IBM and fundamental to innovation in
many academic disciplines and areas of study.
https://www.ibm.com/developerworks/university/phdfellowship
2011 CompArch Young Investigator Award
Description: Each year, the CompArch Young Investigator Award may be given to
an outstanding paper accepted for WCOP and written by a PhD student.
http://wcop.ipd.kit.edu/wcop2011/
2010 Best Paper Award
Description: Best Paper Award in QOSA 2010, Sixth International Conference on
the Quality of Software Architectures.
2009 ICSE SCORE: Winner Project for "Formal Methods"
Description: Reference person of the project “ A Simple Pacemaker Implementation",
winner project in the category Formal Methods for SCORE 2009, International
Student Contest on Software Engineering, during ICSE 2009.
Computer skills
Basic Python, iOS Development
Intermediate Javascript, Eclipse Modeling Framework (EMF), Ruby on Rails, BPEL, SCA (Service
Component Architecture)
Advanced Java, C, HTML, CSS, LATEX,
Teaching Activities
Oct. 2013 – Teaching Assistant, Politecnico di Milano, Italy.
Present Course Description:
{ Course Title: Informatics A for Physics Engineering
{ Professor: Prof. Alfonso Fuggetta
{ Activities: C Programming Lab
Apr. 2013 Instructor, Cefriel S.p.A., Milano, Italy.
Course Description:
{ Course Title: Mobile Development in iOS
{ Topics: iOS Programming.
Jul. 2012 – Instructor, Corvallis S.p.A., Padova, Italy.
Sep. 2012 Course Description:
{ Course Title: Mobile Development in iOS
{ Topics: iOS Programming.
May 2012 – Teaching Assistant, Politecnico di Milano, Italy.
Jul 2012 Course Description:
{ Course Title: Service Technologies (Graduate Level)
{ Professor: Prof. Sam Guinea
{ Topics: SOAP and REST web services, service composition and orchestration (SCA,
BPEL), Cloud services.
Oct. 2011 – Teaching Assistant, Politecnico di Milano, Italy.
Jan. 2012 Course Description:
{ Course Title: Informatics A for Physics Engineering
{ Professor: Prof. Alfonso Fuggetta
{ Activities: C Programming Lab
May 2011 – Teaching Assistant, Politecnico di Milano, Italy.
Jul 2011 Course Description:
{ Course Title: Service Technologies (Graduate Level)
{ Professor: Prof. Sam Guinea
{ Topics: SOAP and REST web services, service composition and orchestration (SCA,
BPEL), Cloud services.
Oct. 2010 – Teaching Assistant, Politecnico di Milano, Italy.
Jan. 2011 Course Description:
{ Course Title: Informatics B for Mechanical Engineering
{ Professor: Prof. Elisabetta Di Nitto
{ Activities: C and Matlab Programming Lab
Mar. 2010
Teaching Assistant, Learning Week, Italy.
Course Description: specialized course organized to prepare a selected group of high school
students to the national competition of “International Olympiad in Informatics”.
Oct. 2009 – Teaching Assistant, Politecnico di Milano, Italy.
Jan. 2010 Course Description:
{ Course Title: Informatics A for Math Engineering
{ Professor: Prof. Alessandro Campi
{ Activities: C Programming Lab
Languages
Italian
English
Spanish
French
Mothertongue
Fluent
Fluent
Basic
Publications
Carlo Ghezzi, Alfredo Motta, Valerio Panzica La Manna, and Giordano Tamburrelli.
Qos driven dynamic binding in-the-many. In Research into Practice–Reality and
Gaps, pages 68–83, 2010.
Xiaoxing Ma, Luciano Baresi, Carlo Ghezzi, Valerio Panzica La Manna, and Jian
Lu. Version-consistent dynamic reconfiguration of component-based distributed
systems. Proceedings of the 19th Symposium and the 13th European Conference
on Foundations of Software Engineering, ESEC/FSE, 11, 2010.
Valerio Panzica La Manna. Dynamic software update for component-based distributed systems. In Proceedings of the 16th international workshop on Componentoriented programming (WCOP 2011), pages 1–8. ACM, 2011.
Carlo Ghezzi, Joel Greenyer, and Valerio Panzica La Manna. Synthesizing dynamically updating controllers from changes in scenario-based specifications. In
Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2012), pages 145–154. IEEE, 2012.
Valerio Panzica La Manna. Local dynamic update for component-based distributed
systems. In Proceedings of the 15th ACM SIGSOFT symposium on Component
Based Software Engineering (CBSE 2012), pages 167–176. ACM, 2012.
Joel Greenyer, Christian Brenner, and Valerio Panzica La Manna. The scenariotools
play-out of modal sequence diagram specifications with environment assumptions. In
Proceedings of 12th International Workshop on Graph Transformation and Visual
Modeling Techniques (GT-VMT 2013), volume 58, 2013.
Valerio Panzica La Manna, Joel Greenyer, Carlo Ghezzi, and Christian Brenner. Formalizing correctness criteria of dynamic updates derived from specification changes.
In Proceedings of the 8th International Symposium on Software Engineering for
Adaptive and Self-Managing Systems (SEAMS 2013), pages 63–72. IEEE Press,
2013.
Luciano Baresi, Sam Guinea, and Valerio Panzica La Manna. Consistent runtime
evolution of service-based business processes. In Proceedings of the 11th Working
IEEE/IFIP Conference on Software Architecture, WICSA 2014 (to appear), 2014.

Download Report