Alexander Perucci

Alexander Perucci

Ph.D. in Engineering and Information Science

Resume

CURRENT ACTIVITIES

2017

december 2017 – december 2018 (12 months)

Postdoctoral Research Fellowship in Engineering and Information Science

UNIVERSITY OF L’AQUILA

Topic: Automatic synthesis of dynamically adaptable services choreographies

Supervisors: Massimo Tivoli and Marco Autili

 

STUDIES

2014

2014 – 2017

Ph.D. in Engineering and Information Science

UNIVERSITY OF L’AQUILA

Curricula: Emerging computing models: algorithms, software architectures and intelligent systems

Dissertation Tile: Design and Implementation of a Development Platform for Automatic Choreography Realizability Enforcement

Defence: 18/05/2018

Supervisors: Paola Inverardi and Marco Autili

2013

2013 – 2014

Master’s Degree, Computer Science, 110/110 CUM LAUDE

UNIVERSITY OF L’AQUILA

Dissertation Tile: CHOReOSynt: Automatic Synthesis of Service Choreographies

Defence: 21/10/2014

Supervisors: Paola Inverardi and Marco Autili

2012

2012 – 2013

Master in Web Technology

UNIVERSITY OF L’AQUILA

Courses: LAMP Applications | The Web And Public Administration | UML modeling | JEE Platform | Service Oriented Architectures | Persistence Techniques | XML Technologies | Web Mining

2009

2009 – 2012

Bachelor’s Degree, Computer Science, 110/110

UNIVERSITY OF L’AQUILA

Dissertation Tile: Implementation of an approach to Model-Driven of specification and development of Choreography of Services

Defence: 18/12/2012

Supervisors: Marco Autili and Davide di Ruscio

 

ACADEMIC QUALIFICATIONS

2016

2016 – 2019

Subject-matter Expert (SME): Foundations of Programming Languages

UNIVERSITY OF L’AQUILA

Granted by: Academic Council – University of L’Aquila, AQ – ITALY

Academic years: 2016/2017 – 2017/2018 – 2018/2019

 

EXPERIENCES

2015

06-12 September 2015 (7 days)

Attendee LASER Summer School on Software Enginnering

Elba, Island

12th LASER Summer School on Software Enginnering “Concurrency: the next frontiers”

Concurrent and parallel computation is the locus of many of the toughest challenges in computer science and software engineering. The school brings together concurrency experts representing many different approaches and views, and presents their answers to these challenges. It is a unique opportunity to familiarize yourself with the most important results in concurrency and get familiar with work at the frontier of concurrency research.
The LASER school is intended for professionals from the industry (engineers and managers) as well as university researchers, including PhD students. Participants learn about the most important software technology advances from the pioneers in the field. The school’s focus is applied, although theory is welcome to establish solid foundations. The format of the school favors extensive interaction between participants and speakers.

The school included 44 hours of lectures:

  • Systems Modeling, Requirements, Interface Specifications and Architectures in a Concurrent World – Manfred Broy, TU München
  • From Concurrent Objects to Transactional Memory – Maurice Herlihy, Brown University
  • Model-based design and analysis of concurrent and adaptive software – Jeff Kramer, Imperial College London
  • Practical concurrent programming with SCOOP: three years into the Concurrency Made Easy ERC project – Bertrand Meyer, ETH Zurich
  • Structured Orchestration of Data and Computation – Jayadev Misra, University of Texas
  • Multi-Person Development of Multi-Version Software: The Essentials of Software Design – David Parnas, Middle Road Software, Inc.

Information about the LASER School can be found here.

2015

15-19 June 2015 (5 days)

Attendee International School on Formal Methods

Centro Residenziale Universitario of Bertinoro

15th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Multicore Programming

Formal methods are emerging in computer science as a prominent approach to the rigorous design of computer, communication and software systems. The aim of the SFM series is to offer a good spectrum of current research in foundations as well as applications of formal methods, which can be of interest for graduate students and young researchers who intend to approach the field.
The 15th International School on Formal Methods is devoted to multicore programming and covers topics such as concurrency and coordination mechanisms, architecture and memory models, and type systems.

The school included 30 hours of lectures:

  • Concurrency in Java – Doug Lea, SUNY Oswego
  • Multiparty Asynchronous Session Types and their Applications – Nobuko Yoshida, IC London
  • Coordinating Multicore Computing – Farhad Arbab, CWI Amsterdam
  • Automated Inference of Atomic Sets for Safe Concurrent Execution – Gul Agha, UI Urbana-Champaign
  • Modeling of Architectures – Jade Alglave, UC London
  • Memory Models for Programming Languages – Francesco Zappa Nardelli, INRIA Paris-Rocquencourt
  • Parallel Objects for Multicores – Tobias Wrigstad, Uppsala U
  • Ownership Types – Sophia Drossopoulou,IC London & Tobias Wrigstad, Uppsala U
  • Types and Permissions in Mezzo – Francois Pottier, INRIA Paris-Rocquencourt

Information about the International School can be found here.

2014

october 2014 – november 2014 (28 hours)

Teacher for Training Course

INTECS SpA

Course Title: Persistence Technique

I am a teacher for the training course titled “Persistence Technique”. During the course I have discussed the following topics:

  • Advanced entity association mappings;
  • Advanced entity association mappings;
  • Object states and their transitions as triggered by persistence manager operations;
  • Querying with HQL and JPA QL;
  • Querying with criteria.

I also realized a JEE application to support the topics covered.

2014

march 2014 – august 2014 (6 months)

Scholarship for Research Activities

UNIVERSITY OF L’AQUILA

Topic: Choreography of services

I realized a tool called CHOReOSynt for supporting the developer of services composite based on choreographies, providing an integrated solution to the problem of the Automatic Realizability Enforcement. In addition I have studied a solution for the problems that concern the adaptation of interfaces exposed by the services through the implementation of appropriate data mapping and protocol mediation.

Supervisor: Paola Inverardi

2013

february 2013 – january 2014 (12 months)

Scholarship for Research Activities

UNIVERSITY OF L’AQUILA

Topic: Choreography of services

I have focused on the study of techniques for developing service choreographies and on the implementation of Eclipse plugin for:

  • manage and manipulate choreography models based on BPMN 2.0;
  • manage model transformation and automatic deployment of software artifacts of these transformations.

I also implemented some REST services to offer the same plugin functionalities.

Supervisor: Paola Inverardi

2008

2008 – 2009

Technical of CNC Machine

PERUCCI EMILIO S.N.C.

I worked at the company of marble processing “Perucci Marmi”, as technical of CNC Machine for the transformation of natural and synthetic stone.

TECHNICAL SKILLS

BPMN Specification v2.0

SERVICE COMPOSITION

SERVICE Choreography

JAX-WS

SOA

UML

MAVEN

tycho

DEVELOPMENT SKILLS

JAVA

JAVA EE

Eclipse Plugins

Spring Framework

Hibernate

Apache Tomcat

GlassFish Server

PHP

HTML5

CSS3

Javascript

jQuery

DESIGN SKILLS

Adobe Photoshop

Adobe Premiere

VIEW MY LINKEDIN PROFILE