Adolfo Villaforita's Resume

Resme
This resume is generated from a YML file with resme, a Ruby Gem I wrote to write resumes in Yaml and output them in different formats, among wich markdown, json, and Europass XML.

Summary

With 20 years experience in research, consultancy, and software development, my interests and competences include ICT for development, software project management, system engineering, and development of responsive web applications.

Experience

  • Head of Unit, Fondazione Bruno Kessler 2008-03 – today

    Head of the ICT4G unit, which focuses on how ICT can foster social and economic development. Clients include CIR-Food, the Italian Food Bank, the World Bank, and Whirlpool; research projects financed by the European Union, the Italian Ministry of Foreign Affairs, and the Autonomous Province of Trento.

  • R2 Researcher, Istituto Ricerca Scientifica e Tecnologica 2004-01 – 2008-02

    Responsible of the e-Democracy exploratory project, whose goal is using IT to foster new forms of participation to public and political life. Responsible of the ProVotE project, during which we built an eVoting machine used by about 20.000 citizens in different experimentations during elections. The system was used by about 2.000 people in two elections with legal value. In the period 2005-2007 I was responsible of the RCC (Regional Competence Centre) of the Autonomous Province of Trento, which had the goal of promoting the transition of the Public Administration to eGovernment services. In the same period I worked for the eSociety Committee of the Autonomous Province of Trento, that outlined the roadmap for the development of electronic services in Trentino. In the period 2004-2006 I worked on the Indo-Trento agreement (ITPAR), to foster collaboration among Indian and Italian research centres.

  • Self Employed 2003-06 – 2003-12

    Consultant on software management methodologies and project manager. Among the clients, the Autonomous Province of Trento, the University of Trento, and IRST.

  • Consultant, University of Trento 2002-06 – 2002-12

    Consultant for the University of Trento in a project related to the use of UML and to the customisation of Rational Rose for the documentation of the business processes of the University.

  • Consultant, University of Trento 2001-03 – 2001-07

    Consultant in a project related to testing the SAP system installed at the University of Trento.

  • R1 Researcher, Istituto Ricerca Scientifica e Tecnologica 1997-07 – 2003-05

    Project member and project leader in various technology transfer projects in the safety critical sector.

  • Consultant, University of Genoa 1992 – 1996

    Consultant in various software development projects, developed in various languages, among which C, Emacs Lisp, Hypercard.

Teaching

  • Contract Professor, University of Trento 2017 – 2018 Advanced Software Engineering (Information and Business Organisation Engineering)

  • Contract Professor, University of Trento 2011 – 2016 Software Project Management (Information and Business Organisation Engineering)

  • Contract Professor, University of Trento 2005 – 2009 Software Project Management (Computer Science)

  • Contract Professor, University of Trento 2004 – 2004 Software Development: Advanced Topics (Computer Science)

  • Teaching Assistant, University of Trento 2000 – 2004 Software Engineering (Computer Science)

  • Teaching Assistant, University of Trento 1997 – 1997 Compilers and Translators (Computer Science)

  • Instructor, Hewlett-Packard, ISVOR-FIAT, SOGEA, CONSORZIO GENOVA FORMAZIONE 1993 – 1997 ISO-OSI communication layers, C, UNIX, Office automation

Projects

  • EM@S, E-Mining at School 2018-05 –
    Senior advisor of a project sponsored by EIT to educate about e-Waste.

  • Pel di Carota, Senior Advisor 2018-04 –
    Senior advisor of a project related to using IT systems to measure and help reduce food-waste in the food-service sector.

  • MAKEIT-PAYT, Project Manager 2017-01 –
    Project Manager of the MAKEIT-PAYT project, which has the goal of improving current practices in traceability of door-to-door garbage collection processes.

  • W3C-Italia, Senior Advisor 2017-01 –
    Senior advisor of the W3C Italian Office.

  • APP-FACTORY, Project Manager 2015-03 – 2016-12 Project run in collaboration with the University of Fort Hare, on topics related to Agile development in ICT4D contexts.

  • Maputo Living Lab, Project Manager 2010 – 2014 Implementation of a living lab in Maputo (Mozambique), with the goal of fostering social and economic development in the region. The project was run in collaboration with the Government of Mozambique.

  • LRIT4AE: Low Resource Information Tecnologies For Africa and Europe, Project Manager 2012-11-01 – 2014-12-31 Implementation of a mobility program with Rhodes University, Fort Hare University, and FOKUS, related to the implementation of ICTs projects in rural areas of developing countries.

  • SAMO: Social Accountability in Mozambique, Project Manager 2012-02-01 – 2012-06-01 Social Accountability experimentation, related to the assessment of the status of primary schools in the rural area of Moamba (Mozambique).

  • eGIF4M, Consultant 2008-10-01 – 2009-01-31 During the project I was part of a team of three which drafted the interoperability plan of the IT systems of the Government of Mozambique. The plan was approved by the Parliament and then moved to the implementation phase, after a significant investment by the World Bank.

  • LTPDA - LISA Pathfinder Data Analysis, FBK Project Leader 2008-04-02 – 2010-12-31 Verification and validation of one of the ground systems of the ESA LISA-Pathfinder mission.

  • ISAAC (Improvement of Safety Activities on Aeronautical Complex systems), FBK Project Leader 2004 – 2004 Project Leader (for the IRST side) of a European project related to the development of systems for integrating design and safety analysis activities. Industrial partners include Alenia Aeronautica, AIRBUS, and Saab.

  • ESACS (Enhanced Safety Analysis for Complex Systems), FBK Project Leader 2001 – 2003 Project Leader (for the IRST side) of a European project related to the development of systems for integrating system design and safety analysis activities. Industrial partners include Alenia Aeronautica, AIRBUS, and Saab. The project included the safety assessment of a component of the Eurofighter Typhoon.

  • ExSC2, Project Manager 2002-03 – 2002-06 Project Leader of a technology transfer project related to the development of custom tools for automating the development of controllers of industrial conditioning plants. The project involved people from different organisations and geographically distributed (three different locations in two different countries).

  • (SC)2-Tool, Project Manager 2000-03 – 2001-06 Development of a tool to automatically generate micro-controllers code.

  • SSCC, Project Manager 1999-07 – 2000-06 Verification and validation of microcontrollers code.

  • RBC-AV, Team Member 1999-01 – 1999-08 Technology transfer project related to the development of a safety critical communication system for the railway sector. During the project I spent three months with the client, training engineers on the use of formal techniques on the job.

  • Encoder, Team Member 1998-09 – 1999-01 Technology transfer project related to the formal verification of Balises, a safety critical systems communicating movement commands to trains. During the project I spent three months with the client, training engineers on the use of formal techniques on the job.

  • ETCS Radio, Team Member 1998 – 1999 Formal specification and validation of the Radio Block Center, a safety critical component of the ETCS system (European Train Control System), which sends movement commands to trains.

  • SCAP TT, Team Member 1997-02 – 1998-01 Technology tranfer project with the goal of formally verifying a critical components of signalling systems in the railway sector.

Other Initiatives

  • Giuria Premio Nazionale Divulgazione Scientifica, Member 2015 –
    Member of the Jury assigning the National Prize for Scientific Writing.

  • European Researchers Night, Member of the Scientific Committee 2013 –
    Member of the Scientific Committee of the European Researchers Night in Trento.

  • Italian Cooperation in Maputo, Mozambique, Consultant 2015-08-17 – 2015-08-30 Consultant for the Italian Cooperation in Maputo, to support the reform of the Ministry of Education in Mozambique.

  • Estonian Research Council, Project Reviewer 2015-07-01 – 2015-07-31 Reviewer of a project proposal for the Estonian Research Council.

  • Italian Cooperation in Maputo, Mozambique, Consultant 2014-05-17 – 2014-06-01 Consultant for the Italian Cooperation in Maputo, to support the reform of Eduardo Mondlane University.

  • , Team Member 2004 – 2006 Member of the ITPAR (Indo-Trento agreement) delegation, whose goal is fostering collaboration among Indian and Italian research centres.

  • Autonomous Province of Trento, Committee Member 2003 – 2003 Member of the eSociety Committee of the Autonomous Province of Trento. The Committee drafted the eSociety development plan for the province.

  • FLoC - Federated Logic Conferences, Workshop Coordinator 1999 – 1999 Coordinator of the FLoC workshops. FLoC brought together the four most important conferences in automated reasoning.

Volunteer

  • Liceo Antonio Rosmini/Carcere Spini di Gardolo, Teacher 2015 – 2017 Volunteer teacher of Computer Science in courses delivered to the inmates of Trento’s Prison. Topics include Office, the Hour of Code, and introduction to programming with the Logo language.

  • Artea and Comunità della Vallagarina, teacher –
    Teacher of the Hour of Code

  • Ora del Codice e Cibopoli, teacher –
    Teacher of the Hour of Code and Cibopoli (an educational game to improve eating habits and reduce food waste).

Publications

Talks

  • BringTheFood Workshop Le Startup dell’Agrifood - Green Logistics Expo, Padova (2018-03-08)

  • Informatica per lo Sviluppo Sociale e Economico Internazionalizzare per lo Sviluppo, TCIC, Trento (2017-03-31)

  • Bring The Food RICIBO - una rete per trasformare lo spreco in risorsa, Genova (2017-03-15)

  • Essere virtuosi a tavola fa bene all’ambiente? MuSE - Museo della Scienza, Trento (2016-11-30)

  • Cibo per tutti fra spreco ed un pianeta che cambia Comune di San Michele all’Adige (2016-05-02)

  • Developing the System Interoperability Plan for the eGov Systems of Mozambique ITPMI Webinar (2016-04-20)

  • Managing IT Projects for Social Development ITPMI Webinar (2015-11-17)

  • Managing IT Projects in a Developing Country ITPMI Webinar (2015-10-13)

  • ICT4G and Technologies Servicing Social Development Sviluppare il Futuro, Fondazione Caritro, via Garibaldi, Trento (2013-05-22)

  • BringTheFood Food for Thought, via Santa Croce 77 (2012-12-13)

  • BringTheFood, an Application to Reduce Food Waste Green Social Festival - Emilia Romagna una Regione Sostenibile, Palazzo Re Enzo, Bologna (2013-05-03)

  • The Mozambique-Trentino Interoperability Framework Euro-Africa week on ICT REsearch and Infrastructure Helsinki (2010-12-08)

  • Development and Verification of the Control Logic of an eVoting System: the ProVotE experience ETH, Zurich (2006)

  • Transitioning to eVoting: The ProVotE project and the Trentino’s Experience IIT, Mumbai (2005)

  • Eclipse and Rational Experiences at ITC-irst IBM Technical Briefing, Trento (2003-10-26)

  • A tool-bashed methodology for managing the business process documentation of the University of Trento SUM - Scuola di Management, Trento (2003-03-13)

  • Capabilities and limits of (digital) critical systems International School on Disarmament and Research on Conflicts, Trento (2002-08-13)

Visits

  • Visiting Scholar Department of Computer Science, Rhodes University, South Africa 2018-06-30 – 2018-09-03 Visiting scholar of the Deparment of Computer Science, thanks to FBK’s mobility programme.

  • Visiting Scholar Formal Reasoning Group, Stanford University, Stanford, USA 1995-01 – 1996-01 During my visit to the group directed by John Mc Carthy I worked under the supervision of Richard Weyhrauch and Carolyn Talcott on abstraction and inductive theorem proving.

  • Visiting Scholar Artificial Intelligence Department, University of Edinburgh, Edinburgh, Scotland 1992-05 – 1992-10 During my visit to the group directed by Alan Bundy’s I worked under the supervision of Toby Walsh on abstraction and inductive theorem proving. The visit was (partially) covered by one the first Erasmus grants.

Education

1997
PhD University of Ancona, Ancona, Italy
1993
Laurea (MSc) Università degli Studi di Genova, Genova