Summary - Dipartimento di Ingegneria Informatica e delle

CURRICULUM VITAE
ANDREA M. CALVAGNA
April 14, 2009
Summary
1.
2.
3.
4.
5.
6.
10.
14.
17.
Contact information
Degrees
Certifications
Positions
Scientific interests
Research papers
7.
International archive journals
8.
International conferences
9.
Internet Drafts
Teaching activity
11. Graduate courses
12. Undergraduate courses
13. Institutional services
Research projects
15. International
16. National
Software Engineering Course Syllabus
18. Graduate Course
19. Undergraduate Course
2
2
2
2
2
3
3
3
4
5
5
5
5
6
6
6
7
7
7
CALVAGNA Andrea Mario
Curriculum Vitae
April 14, 2009
1. Contact information
Eng. Andrea M. CALVAGNA, Ph.D.
Contract Researcher
Università degli Studi di Catania
Dipartimento di Ingegneria Informatica e delle Telecomunicazioni
viale A.Doria 6, 95127, Catania (Italy)
Office: +39-095-73823-82
Mobile: +39-3397375322
Fax: +39-095-73823-97
Email: [email protected]
Web: http://www.diit.unict.it/~acalva
2. Degrees
• Laurea Vecchio Ordinamento degree (full score cum laude) in Computer Engineering (equiv. to BSc+MSc
degrees, according to the Bologna Process convention) from University of Catania (IT) [July 1998]
• Ph.D. degree in Computer Engineering, from University of Palermo (IT) [January 2002].
3. Certifications
• Advanced Level English Language Certification, from the London School of English London (UK) [September
1998].
• International School for PhD Students of Computer Engineering, Torino (IT)[December 2000].
• 13th International School for Computer Science Researchers: Foundations of Wide Area network Programming,
Lipari (IT)[July 2001]
• International Summer School on Wireless Internet, Helsinki (FI) [june 2002].
• 16th International School for Computer Science Researchers: Wireless Computing and Sensor Networks,
Lipari(IT) [July 2004]
• 17th International School for Computer Science Researchers: Theory and Practice of Formal Methods, Lipari (IT)
[luglio 2005]
4. Positions
• Contract Researcher at University of Catania (IT) [April 2002 - today].
• Adjunct Professor of Software Engineering at University of Catania (IT) [1999-2006].
• High-School Professor of Computer Science and Computer Networks at ITIS “S.Cannizzaro”, in Catania
(IT) [September 2001- today].
5. Scientific interests
Very good knowledge has been matured, both in the professional and academic contexts, in the two main fields
of Computer Networks and Software Engineering, thanks to the commitment to research activity [see §6],
uninterrupted teaching experience [see §7], and the involvement into projects with partnerships from various
national and foreign ICT companies.[see §8]. In particular, the following is a short summary of the scientific
topics that have been focused (listed in chronological order):
•
•
•
•
Digital multimedia
Object oriented middleware;
Distributed systems design;
Network architectures and protocols;
•
•
•
•
Wired-cum-wireless seamless mobility;
Programming language paradigms;
Software architecture design;
Formal verification, Testing;
2
CALVAGNA Andrea Mario
6. Research papers
•
•
•
•
•
Curriculum Vitae
April 14, 2009
International archive journals
2007 – A.Calvagna, G.Tropea – Twofold control loop network-level congestion control – European
Transactions on Telecommunications,Volume 18, Issue 1 , Pages 81 - 95 -John Wiley & Sons, Ltd.
2005 – A.Calvagna, G.DiModica - A cost-based approach to vertical handover between WiFi and GPRS,
Wireless Communications and Mobile Computing Journal, Special Issue on “WLAN/3G Integration for
Next-Generation Heterogeneous Mobile Data Networks” – 2005 - John Wiley & Sons, Ltd -Volume 5, Issue
6 , Pages 603 - 617.
2005 - Andrea Calvagna, Aurelio La Corte and Sabrina Sicari - Mobility and quality of service across
heterogeneous wireless networks – Computer Networks (Elsevier), Volume 47, Issue 2, 4 February 2005,
Pages 203-217.
2004 – A. Calvagna - Design of a multimedia content-delivery service architecture for 3rd generation
networks - International Journal of Computer Science and Information Systems ComSIS Vol. 1, No. 1, p.
157-163.
2000 - Calvagna, A.; Puliafito, A.; Vita, L.; Design and implementation of a low-cost/high-performance
Video on Demand server; Microprocessors and Microsystems (Elsevier). Volume: 24, Issue: 6, October 15,
2000, pp. 299-305.
International conferences
•
•
•
•
•
•
•
•
•
•
2009 - Andrea Calvagna, Angelo Gargantini - IPO-S: incremental generation of combinatorial interaction
test data based on symmetries of covering arrays- in 5th Workshop on Advances in Model Based Testing (AMOST 2009), in association with the 2nd International Conference on Software Testing, Verification, and
Validation ICST 2009 - Denver, Colorado - USA - April 1-4, 2009.
2008 - Andrea Calvagna, Angelo Gargantini - Using SRI SAL model checker for combinatorial tests
generation in the presence of temporal constraints - (Automated Formal Methods 2008) 14, July 2008,
Princeton, New Jersey, USA - In association with the 20th International Conference on Computer Aided
Verification (CAV 2008)
2008 - Andrea Calvagna, Angelo Gargantini - A logic-based approach to combinatorial testing with
constraints - 2nd international Conference on Tests and Proofs (TAP’08) - Prato,IT. - B. Beckert and R.
H¨ahnle (Eds.): TAP 2008, LNCS 4966, pp. 66–83, 2008. Springer-Verlag Berlin Heidelberg.
2004 - Andrea Calvagna, Giuseppe Di Modica - A user-centric analysis of vertical handovers - Proceedings
of the 2nd ACM international workshop on Wireless mobile applications and services on WLAN hotspots
(WMASH’04) - Philadelphia, PA, USA- SESSION: Location-awareness and interworking. Pages: 137 - 146 ISBN:1-58113-877-6.
2004 - A. Calvagna, L. Di Lorenzo, G. Tropea - Video-on-Demand for P2P CommunitiesInternational
Conference on Distributed Multimedia Systems (DMS 2004) - Special Session on Multimedia Streaming in
Ad Hoc Networks – San Francisco (USA) - September 8-10, 2004.
2004 -M. Bisignano, A. Calvagna, G. Di Modica, and O. Tomarchio - Design and Development of a JXTA
Middleware for Mobile Ad-hoc Networks - International Conference on Parallel and Distributed Computing
and Networks (PDCN 2004) - Innsbruck, Austria - February 17-19, 2004.
2004 – A. Calvagna, G. Di Modica - A user-centric middleware for an Always Best Connected scenario The 8th World Multi-Conference on Systemics, Cybernetics and Informatics - July 18-21, 2004 - Orlando,
Florida, USA.
2004 - Andrea Calvagna, Giuseppe Di Modica - Effects of the Vertical Handover Policy on the Performance
of Internet Applications - Lecture Notes in Computer Science - Springer-Verlag GmbH -Volume
3262/2004, p. 358-366.
2003 – A. Calvagna, O. Tomarchio, G. Tropea; The SCUDO framework for congestion avoidance IIIS
International conference on Computer, Communication and Control Technologies (CCCT 2003), July 31,
August 1-2, 2003 - Orlando, Florida, USA. Premiato come best paper nella sessione: Network Management
and Control.
2003 - Calvagna, A., Morabito, G., Pappalardo, A., WiFi mobility framework supporting gprs roaming:
design and implementation; ICC '03. IEEE International Conference on Communications. Volume: 1 , 2003;
Page(s): 116 -120. Anchorage (Alaska) - US.
3
CALVAGNA Andrea Mario
•
•
•
•
•
•
•
•
Curriculum Vitae
April 14, 2009
2003 - Calvagna, A.; Morabito, G.; La Corte, A.; WiFi bridge: wireless mobility framework supporting
session continuity; Proceedings of the First IEEE International Conference on Pervasive Computing and
Communications, 2003. (PerCom 2003). March 2003, 23-26; Page(s): 79 -86; Dallas (Texas) – US.
2003 - Calvagna, A.; Bisignano, M.; Di Modica, G.; Tomarchio, O.; Expeerience: a JAXTA middleware for
mobile ad-hoc networks; International Conference on Parallel and Distributed Computing; Euro-Par 2003;
26th - 29th August 2003; Klagenfurt, Austria.
2002 - Orazio Tomarchio, Andrea Calvagna and Giuseppe Di Modica - Virtual Home Environment for
Multimedia Services in 3rd Generation Networks – Lecture Notes in Computer Science (Springer Verlag),
Vol. 2345, p. 1221-1226.
2002 – Calvagna, A.; Tomarchio O.; Di Modica G.; Virtual Home Environment for multimedia services in
3rd generation networks; Second International IFIP Technical Committee on Communication Systems
conference on Networking; May 19-24 2002, Pisa – ITALY.
2002 - Calvagna, A.; Morabito, G.; Wi-Fi mobility framework supporting GPRS roaming; WILMA
Workshop The First Mile: Wi-Fi / Powerline; Trento (Italy), November 8, 2002.
2001 – Calvagna, A.; Multimedia services in 3rd generation networks; accepted for presentation at the joint
meeting of the 5th IIIS World Multiconference on Systemics, Cybernetics and Informatics (SCI 2001) and
the 7th International Conference on Information Systems Analysis and Synthesis (ISAS 2001), Orlando,
USA, July 22-25, 2001.
2000 - Calvagna, A.; Puliafito, A.; Tomarchio, O.; Design of a media service provider architecture for the
Internet; Proceedings. ISCC 2000. Fifth IEEE Symposium on Computers and Communications. , 3-6 July
2000; Page(s): 20 -25; San Juan Le Pen (Paris) - France.
1999 - Calvagna, A.; Puliafito, A.; Vita, L.; A low-cost/high-performance server for video on demand;
Proceedings. Eight International Conference on Computer Communications and Networks; Oct. 11-13,
1999; Page(s): 180 -185; Boston (MA) - US.
Internet Drafts
•
2003 - Andrea Calvagna, Soohong Daniel Park (Samsung Electronics) and Syam Madanapalli (Samsung India
Software Operations) - 802.11 Mobility Framework Supporting GPRS handover - INTERNET DRAFT
<draft-park-mobileip-wifi-handover-00.txt>.
4
CALVAGNA Andrea Mario
Curriculum Vitae
April 14, 2009
7. Teaching activity
Graduate courses
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
AY 1998 – seminars on UML modeling, University of Catania (20 hours).
AY 2000 – seminar on digital multimedia coding and streaming techniques, University of Catania (8 hours).
AY 1999 – seminar on Structured programming in C, University of Messina (IT) (8 hours).
AY 1999 – seminars on UML modeling, University of Catania (20 hours).
AY 1999 – seminars on Object Oriented Analysis and Design, University of Catania (20 hours).
AY 1999 – seminars on Software Architectural Patterns, University of Catania (20 hours).
AY 2000 – seminars on Object oriented Analysis and Design, University of Catania (20 hours).
AY 2001 – adjunct professor of Computer Science course, University of Catania (90 hours).
AY 2002 – adjunct professor of Computer Science course, University of Catania (90 hours).
AY 2002 – adjunct professor of Computer Security course, University of Catania (80 hours).
AY 2002 – seminars on Software Life Cycles, University of Catania (40 hours).
AY 2002 – adjunct professor of Distributed Programming course, University of Catania (40 hours).
AY 2003 – Tutoring on Software Engineering course, University of Catania (40 hours).
AY 2003 – adjunct professor of Distributed Programming course, University of Catania (40 hours).
AY 2003 – adjunct professor of Software Engineering course, University of Catania (40 hours).
AY 2003 – seminars on Object Oriented Middleware, University of Catania (40 hours).
AY 2003 – seminars on Formal Requirements Specifications, University of Catania (30 hours).
AY 2004 – adjunct professor of Software Engineering course, University of Catania (45 hours).
AY 2004 – seminars on Linear and Branched Temporal Logics, University of Catania (30 hours).
AY 2004 – seminars on Micro-models of Software, University of Catania (30 hours).
AY 2004 – seminars on Software Design Patterns, University of Catania (30 hours).
AY 2005 – seminars on Type-Systems and Programming Languages, University of Catania (30 hours).
AY 2006 – adjunct professor of Software Engineering course, University of Catania (40 hours).
AY 2006 – adjunct professor of Distributed Programming course, University of Catania (40 hours).
AY 2006 – seminars on Software cost estimation, University of Catania (30 hours).
AY 2006 – seminars on the Design of reusable Software, University of Catania (30 hours).
AY 2007 – Tutoring of Software Engineering course, University of Catania (60 hours).
Undergraduate courses
•
•
•
•
•
•
•
•
AY 1999 - adjunct professor for Introductory Computer Science course, University of Catania (30 hours).
AY 2000 - adjunct professor of Multimedia Internet Applications course, University of Catania (30 hours).
AY 2001 – adjunct professor of Computer Science course, University of Catania (30 hours).
AY 2001 – adjunct professor of Computer Networks course, University of Catania (30 hours).
AY 2004 – adjunct professor of Software Engineering course, University of Catania (60 hours).
AY 2005 – adjunct professor of Software Engineering course, University of Catania (60 hours).
AY 2005 – Tutoring of Software Engineering course, University of Catania (60 hours).
Various years - adjunct professor of many non-university level courses on the following subjects: Office
Automation (40+20 hours), Structured Programming (40 hours), Computer Architecture (40 hours), Computer Security
(30 hours), Wireless Application Protocol programming (30 hours), Relational Database design with SQL (30 Hours).
Institutional services
•
•
•
•
Revisor of eight laurea vecchio ordinamento degree thesis in computer engineering [2001-2004].
Tutoring of two computer engineering Ph.D. students [2001-2004].
Tutoring for stages of under-graduate students [2004-2007].
Peer reviewer for several ACM/IEEE international research papers.
5
CALVAGNA Andrea Mario
8. Research projects
•
•
•
•
Curriculum Vitae
April 14, 2009
International
2000-2002 - EU-IST V° Framework Program project VESPER: Virtual Home Environment for Service
Personalization and Roaming User, in partnership with SIEMENS, INTRACOM, INRIA, and various european
universities.
2002 - ESA project Transport Protocol and Resource Management for mobile Satellite Networks.
2000-2002 - EU-IST V° Framework Program project EAT: Electronic Arbitration Tribunal: an alternative dispute
resolution for SME.
2003-2004 - EU-IST VI Framework Program project NEWCOM: Network Of Excellence in Wireless
Communications, Mobile and Wireless Systems Beyond 3G.
National
•
•
•
•
•
•
•
•
•
•
•
•
•
•
1998 - Italian Government, MURST project MOSAICO: Metodologie di progetto e strumenti per Sistemi Paralleli ad
Alte Prestazioni per Applicazioni Distribuite.
2000 - MURST project MUSIQUE: Infrastruttura per QoS in servizi web multimediali ad accesso eterogeneo.
2002 - MURST project PLUS: Infrastruttura di supporto a servizi dipendenti dalla locazione per ambienti wireless.
2003 - MURST project MONET: Infrastrutture software per reti ad-hoc orientate ad ambienti difficili.
2003 - MIUR project Multicampus-CT: Sistema distribuito per lo sviluppo e la diffusione di materiale multimediale per
la formazione a distanza.
2003 - MIUR project SAPIENS: Sistemi, Architetture e protocolli per accesso mobile e trasparente a reti IP eterogenee
wired e wireless.
2002-2003 - MIUR project INFN-GRID: infrastruttura, servizi, management e interfacce di accesso alla infrastruttura
di rete globale per la ricerca GRID.
2002-2003 - MIUR project W-PSTS: Piattaforma per servizi informativi in reti wireless a larga banda finalizzati allo
sviluppo dell’infrastruttura telematica della Regione Sicilia, in partnership with IBM, MARCONI
Telecommunications and other local SME.
2003-2004 - MAP project SPINLAB: Promozione e assistenza tecnica per l’avvio di imprese innovative, in particolare nel
campo delle tecnologie informatiche e delle telecomunicazioni.
2003 - MIUR PIA project, P2P: Piattaforme P2P per la gestione di servizi turistico-alberghieri, in partnership with
local SME.
2003 - MIUR project, MM-SDC: Definizione ed implementazione di un modello di Ingegneria del Software orientato ad
applicazioni automotive e conforme alle prescrizioni del Capability Maturity Model (CMM), in partnership with Magneti
Marelli Power Train.
2004 - MIUR project, DYNAMICS: Programming Models and Infrastructures for Dynamic Networks.
2005 - FIRB project TOCAI.IT: Tecnologie Orientate alla Conoscenza per Aggregazioni di Imprese in InterneT.
2006 - MIUR PIA project, RES-GW: Progetto per la ricerca e lo sviluppo di un residential gateway, in partnership
with local SME.
6
CALVAGNA Andrea Mario
Curriculum Vitae
April 14, 2009
9. Software Engineering Course Syllabus
Graduate Course
Course objectives:
Students are introduced to principles of object-oriented design through design patterns. The aim is to be able to
select appropriate the object-oriented structure after the systems requirements or requirements specification of
the software system have been developed. A study of generalized design solutions for generalized software
design problems is performed through the analysis of a catalog of 23 common patterns.
Topics to be covered include:
• Fundamentals of reusable design;
• introduction to design patterns;
• Smalltalk syntax, semantics and object model;
• Type Systems;
• Structural patterns:Null Object, Generalized null object, Composite; Adapter; Bridge, Flyweight,
Facade; Template; Proxy
• Handle/Body idioms;
• Behavioral patterns: Iterator; Visitor pattern; State & Chain of responsibility; Decorator; Observer;
Strategy; Mediator; command, command processor, interpreter;
• Aspect oriented programming;
• Creational Patterns: factory method; Prototype; Abstract factory; Singleton; Builder;
Undergraduate Course
Course objectives:
This course is designed to present students with an overview of Software Engineering. Students will be exposed
to current technology used to develop software. Both the theoretical and practical aspects of software
engineering will be presented in the course. Students will apply software engineering techniques to homework
assignments and mini-projects throughout the course. The objective of the projects is to expose students to
commonly used tools for software engineering. Students will have opportunities to develop and/or improve their
technical writing and software development skills during the course of the term, with particular emphasis placed
on analysis and design.
Topics to be covered include:
• Software Process
• Requirements analysis
• Unified Modeling Language
• Object-oriented analysis and design
• Informal and formal specification techniques
• Testing techniques
• Software maintenance and configuration management
• Prototyping and presentation
• Model checking verification
7