Identification
Personal identification
- Full name
- Vasco Miguel Moreira do Amaral
Citation names
- Amaral, Vasco
- Amaral, V.
Author identifiers
- Ciência ID
- 711F-D70D-EBEA
- ORCID iD
- 0000-0003-3791-5151
- Google Scholar ID
- https://scholar.google.com/citations?user=p6lbgbAAAAAJ&hl=en
- Researcher Id
- A-7031-2010
- Scopus Author Id
- 0000000337915151
Telephones
- Fax
-
- 212948300 (Professional)
- Telephone
-
- 212948536 (Professional)
Addresses
- Universidade Nova de Lisboa. Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova,Quinta da Torre, 2829-516, Caparica, Almada, Portugal (Professional)
Websites
- https://sites.google.com/site/vascoamaral/ (Professional)
Knowledge fields
- Exact Sciences - Computer and Information Sciences - Computer Sciences
- Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics
Education
Degree | Classification | |
---|---|---|
2005/02/17
Concluded
|
Computer Science (Doktor (PhD))
Universität Mannheim, Germany
"Increasing Productivity in High Energy Physics Data Mining with a Domain Specific Visual Query Language" (THESIS/DISSERTATION)
|
|
1993/09/15 - 1998/09/18
Concluded
|
Engenharia Informática e de Computadores (Licenciatura)
Major in Programação e Sistemas de Informação
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
Affiliation
Science
Category Host institution |
Employer | |
---|---|---|
1998 - 2005 | Research Assistant (Research) | Laboratório de Instrumentação e Física Experimental de Partículas, Portugal |
Teaching in Higher Education
Category Host institution |
Employer | |
---|---|---|
2020/09/14 - Current | Associate Professor (University Teacher) | Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal |
2005/03/01 - 2020/09/14 | Assistant Professor (University Teacher) | Universidade Nova de Lisboa, Portugal |
2016 - 2019 | Assistant Professor (University Teacher) | Universidade Nova de Lisboa, Portugal |
2013 - 2016 | Assistant Professor (University Teacher) | Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal |
Positions / Appointments
Category Host institution |
Employer | |
---|---|---|
2021/01 - Current | Chair of Sectorial Commission for Quality in Information Systems (CS03) | Instituto Português da Qualidade, Portugal |
2022/03/26 - 2025/03/26 | Elected President of the Informatics Engineers College at the Portuguese Order of Engineers | Ordem dos Engenheiros, Portugal |
Ordem dos Engenheiros, Portugal | ||
2019 - 2021 | Membro Substituto do Concelho de Representantes (Eleito) | Ordem dos Engenheiros, Portugal |
2019 - 2021 | Vice-chair of Sectorial Commission for Quality in Information Systems (CS/03) | Instituto Português da Qualidade, Portugal |
2016 - 2019 | Membro do Concelho de Qualificação (Eleito) | Ordem dos Engenheiros, Portugal |
2015 - 2019 | Vice-coordenador da "Chapter Computer Society - Portugal" (Eleito) | IEEE Computer Society, United States |
2013 - 2015 | Coordenador do Colégio de Informática da Região Sul (Eleito) | Ordem dos Engenheiros, Portugal |
2009 - 2015 | Member of the Coordinating Committee of the MSc Program at the Informatics Department | Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal |
2010 - 2012 | Coordenador do Colégio de Informática da Região Sul (Eleito) | Ordem dos Engenheiros, Portugal |
2007 - 2010 | Vice-coordenador do Colégio de Informática da Região Sul (Eleito) | Ordem dos Engenheiros, Portugal |
Others
Category Host institution |
Employer | |
---|---|---|
2002 - 2005 | Awarded PhD grant ref. SFRH / BD / 8918 / 2002 | Fundação para a Ciência e a Tecnologia, Portugal |
2001 - 2004 | Research Collaborator (Database group coordinator at Hera-B experiment) | Deutsches Elektronen-Synchrotron, Germany |
1998 - 2000 | Research Collaborator (Database group at the Hera-B experiment) | Deutsches Elektronen-Synchrotron, Germany |
1998 - 2000 | Research Collaborator (Trigger DAQ group at ATLAS experiment) | European Organization for Nuclear Research, Switzerland |
Projects
Contract
Designation | Funders | |
---|---|---|
2018 - 2020 | Modelling Socio-Technical Cyber-Physical Systems
FCT/DAAD 2018/2019
Principal investigator
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
|
Associação para a Inovação e Desenvolvimento da FCT
Ongoing
|
2015 - 2019 | ICT COST Action IC1406 High-Performance Modelling and Simulation for Big Data Applications (cHiPSet)
IC1406
Researcher
|
European Cooperation in Science and Technology
Concluded
|
2014 - 2018/12 | COST Action IC 1404 - Multi-Paradigm Modeling for Cyber-Physical Systems
IC 1404
Principal investigator
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
|
European Commission
Concluded
|
2016 - 2018/11 | Domain Specific Modeling Languages for Multi-Agents - DSM4MA
TUBITAK/0008/2014
Principal investigator
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
|
FCT/MCTES
Concluded
|
2007 - 2011/02 | Rapid Prototyping of User Interfaces for Control Systems based in specification models
Provided by PTCRIS: 65798
Principal investigator
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
|
Fundação para a Ciência e a Tecnologia, I.P.
Concluded
|
2006 - 2009 | AMPLE - Aspect Oriented, Model-Driven Product Line Engineering
AMPLE
Researcher
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
|
European Commission Sixth Framework Programme
Concluded
|
Outputs
Publications
Book |
|
Book chapter |
|
Conference abstract |
|
Conference paper |
|
Conference poster |
|
Journal article |
|
Journal issue |
|
Preface / Postscript |
|
Activities
Supervision
Thesis Title Role |
Degree Subject (Type) Institution / Organization |
|
---|---|---|
2019 - Current | Transparent Integration of Multi-Fidelity Heterogeneous Models using a System Engineering Approach
Supervisor
|
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
Université Côte d'Azur Institut Universitaire de Technologie, France |
2020 - 2021/03 | A Blockchain Gamification Solution For A Sustainable Campus
Supervisor
|
Mestrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Departamento de Informática, Portugal
|
2020 - 2021/03 | Modelo de interação flexível num Editor de Modelos operado por voz e gestos
Supervisor
|
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2020 - 2021/03 | Plataforma de construção de Linguagens de Modelação com sintaxe concreta Som e Voz
Supervisor
|
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2018 - 2019 | Gamification in building automation - the Human in the loop in a Cyber-Physical System
Supervisor of Joana Páris Pereira
|
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2018 - 2019 | A Model-Driven Approach to the Generation of Front-Ends
Co-supervisor
|
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2017 - 2019 | The Human in the loop in Cyber-Physical Systems: the case of Building Automation
Supervisor
|
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2017 - 2018 | Linguagens para a Computação de Alto Desempenho, utilizadas no processamento de Big Data: Um Estudo de Mapeamento Sistemático
Supervisor
|
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2017 - 2018 | A modeling plataform for visually impaired or blind people
Supervisor
|
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2017 - 2018 | Systematic Literature Review of Domain Specific Languages and Computational Models for High-Performance Computing
Supervisor
|
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2017 - 2018 | Usability Evaluation of Multi Agent Systems
Supervisor
|
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2016 - 2017 | A Rule-based Engine to support a Framework for the Experimental Validation of Domain Specific Languages
Co-supervisor
|
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2016 - 2017 | IoT Platforms for Building Automation with Energy Efficiency and Comfort Concerns
Supervisor
|
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2016 - 2017 | Software Language Engineering: Interaction and Usability Modeling of Language Editors
Supervisor
|
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2016 - 2017 | Specifying, Analyzing, Integrating Mobile Apps and Location Sensors as part of Cyber-Physical Systems in the Classroom Environment
Supervisor
|
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2016 - 2017 | Modelo de Custos para Linguagens de Domínio Específico
Co-supervisor
|
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2012 - 2017 | Usability Evaluation of Domain - Specific Languages
Supervisor
|
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2015 - 2016 | A Model-Driven Approach for Mobile Business Intelligence
Supervisor
|
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2015 - 2016 | Controlled Specification and Generation of Spreasheets
Co-supervisor
|
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2015 - 2016 | Domain Specific Language Evaluation: OutSystems' Business Process Technology
Co-supervisor
|
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2015 - 2016 | Sistema de Configuração de Redes aviónicas
Supervisor
|
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2015 - 2016 | A Domain Specific Language for Home Automation Systems focused on Statements that Specify Imprecision
Supervisor
|
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2015 - 2016 | Gesture Language Editor - Modeling and Recognition
Supervisor
|
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2015 - 2016 | Geração de Interfaces Móveis a partir de Ontologias
Co-supervisor
|
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2014 - 2015 | A Domain Specific Query Language for Querying Building Data Streams of energy, Weather and occupation Data
Supervisor
|
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2014 - 2015 | Testing methodology for real time operating systems assuring conformity with ARINC 653
Co-supervisor
|
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2013 - 2014 | Família de DSLs para integrated modular avionics
Supervisor
|
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2013 - 2014 | A domain specific language for domotic systems
Supervisor
|
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2013 - 2014 | A Software Product Line of DSLs for Modular Avionics
Supervisor
|
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2010 - 2014 | Quality of Process Modeling Using BPMN: A Model-Driven Approach
Co-supervisor
|
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2012 - 2013 | Child programming: an adequate domain specific language for programming specific robots
Supervisor
|
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2012 - 2013 | A framework for efficient model transformations
Supervisor
|
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2010 - 2013 | Analysable Software Language Translations
Supervisor of Bruno Fontes Barroca
|
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2011 - 2012 | Test Selection from Algebraic Petri Nets: an operational method and a tool
Supervisor
|
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2009 - 2012 | Managing Variability Requirements in Software Product Lines in the Presence of Volatile Requirements
Co-supervisor of Edward Mauricio Alférez Salinas
|
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2009 - 2010 | Software languages engineering: experimental evaluation
Supervisor
|
Engenharia Informática
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2008 - 2009 | Uma Linguagem específica do domínio para uma abordagem orientada aos objectivos baseada em KAOS
Supervisor
|
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2008 - 2009 | Uma linguagem de domínio específico para a framework i*
Co-supervisor
|
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2007 - 2008 | DSLtranslator - ferramenta para transformação de modelos
Supervisor
|
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2006 - 2007 | (H)ALL: a DSL for Rapid Prototyping of User Interfaces for Control Systems for Critical Complex Control Systems
Supervisor
|
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
Event organisation
Event name Type of event (Role) |
Institution / Organization | |
---|---|---|
2018/09 - Current | QUATIC'2018 : 11th International Conference on the Quality of Information and Communications Technology (2018/09)
Conference (Co-organisor)
|
Universidade de Coimbra Departamento de Engenharia Informática, Portugal |
2016 - Current | QUATIC'2016 2016 : 10th International Conference on the Quality of Information and Communications Technology (2016/09/06 - 2016/09/09)
Conference (Co-organisor)
|
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal |
2012 - Current | Primeiro Congresso Ibérico dos Jovens Engenheiros (International Young Engineers' Iberian Conference), Braga, Portugal, CIJE
2012 (2012)
Conference (Co-organisor)
|
Ordem dos Engenheiros, Portugal |
2018/11 - 2018/11 | Training School on Multi-Paradigm Modelling for Cyber-Physical Systems, Doctoral School held at Pisa, Italy (2018/11 - 2018/11)
Other
|
|
2018 - 2018 | 11th International Conference on the Quality of Information and Communications Technology, QUATIC 2018, Coimbra, Portugal,
September 4-7, 2018 (2018/09/04 - 2018/09/07)
Conference (Co-organisor)
|
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal |
1999 - 2018 | International Summer School on Domain-Specific Modelling - Theory and Practice (DSM-TP)
Series of Yearly Event (9 in total) (2009 - 2019)
Other (Co-organisor)
|
|
2016/09/06 - 2016/09/09 | Organization of QUATIC 2016 - 10th International Conference on the Quality of Information and Communications Technology, QUATIC
2016, Lisbon, Portugal, September 6-9, 2016. (2016/09/06 - 2016/09/09)
Conference (Co-organisor)
|
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal |
2007/09/05 - 2007/09/07 | 5th International Symposium on Principles and Practice of Programming in Java (Cooperation with ACM), PPPJ 2007, Lisboa, Portugal,
September 5-7, 2007 (2007/09/05)
Conference (President of the Organising Committee)
|
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal |
Jury of academic degree
Topic Role |
Candidate name (Type of degree) Institution / Organization |
|
---|---|---|
2019 | On the use of DSLs for data-mining democratisation
(Thesis) Main arguer
|
Alfonso de la Vega (PhD)
Universidad de Cantabria, Spain
|
2019 | A Foundation for Inconsistency Management in Model-Based Systems Engineering
(Thesis) Main arguer
|
David Istvan (PhD)
Universiteit Antwerpen, Belgium
|
2018 | Design, Implementation and Evaluation of Model-Driven Spreadsheets
(Thesis) Main arguer
|
Jorge Cunha Mendes (PhD)
Universidade do Minho, Portugal
|
2017 | Mining complete, precise and simple process models
(Thesis) Main arguer
|
Borja Vazquez Barreiros (PhD)
Universidade de Santiago de Compostela, Spain
|
2016 | Sensor Observation Service Semantic Mediation: Generic Wrappers for In-Situ and Remote Devices
(Thesis) Main arguer
|
Manuel Antonio Regueiro (PhD)
Universidade de Santiago de Compostela, Spain
|
2016 | Context-Based Thermodynamic Modeling and Optimal Management of Energy and Occupant Comfort for Building Spaces
(Thesis) Main arguer
|
Pedro Fazenda (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2016 | A Graph-Based Framework For Optimal Semantic Web Service Composition
(Thesis) Main arguer
|
Pablo Rodriguez Mier (PhD)
Universidade de Santiago de Compostela, Spain
|
2013 | Development of CMS-based Web Applications with a Multi-Language Model-Driven Approach
(Thesis) Main arguer
|
João de Sousa Saraiva (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2011 | Automatic Generation of User Interfaces from Rigorous Domain and Use Case Models
(Thesis) Main arguer
|
António Miguel Ribeiro dos Santos Rosado da Cruz (PhD)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2008 | A Methodology For The Development Of Complex Domain Specific Languages
(Thesis) Main arguer
|
Matteo Risoldi (PhD)
Universite de Geneve, Switzerland
|
Association member
Society Organization name | Role | |
---|---|---|
2002 - Current | IEEE | Membro Sénior |
2000 - Current | Ordem dos Engenheiros | Membro Sénior |
Evaluation committee
Activity description Role |
Institution / Organization | Funding entity | |
---|---|---|---|
2020 - Current | Evaluation of proposals for ANI – Agência Nacional de Inovação
Evaluator
|
Agência Nacional de Inovação SA, Portugal | |
2019 - Current | OE+EUR-ACE certification (ENAEE - European Network for Accreditation of Engineering Education)
Evaluator
|
ENAEE - European Network for Accreditation of Engineering Education, Belgium | |
2019 - Current | Evaluation of project proposals NSERC - Natural Sciences and Engineering Research Council of Canada
Evaluator
|
Natural Sciences and Engineering Research Council of Canada, Canada | |
2018 - 2020 | Evaluation of University's Education Programmes for A3ES - (Agência de Avaliação e Acreditação do Ensino Superior)
Other
|
Ordem dos Engenheiros, Portugal | |
2015 - 2020 | Reviewer of COST action proposals for COST (European Framework Cooperation in Science and Technology), EU Framework Programme
Horizon 2020
Evaluator
|
COST (European Framework Cooperation in Science and Technology), Belgium |
Distinctions
Award
2020 | Certificate of Excellence in Reviewing Elsevier, Journal of Computer Languages
Elsevier BV, Netherlands
|
2020 | SoSyM First Paper Award, Presented virtually at MODELS 2020 – Montreal, Canada, "Towards High-level Fuzzy Control Specifications for Building Automation Systems", J.Vidal, P. Carreira, V. Amaral |
2012 | European Citizen Prize
European Parliament Brussels, Belgium
|
Title
2022 | Elected President of the Informatics Engineers College at the Portuguese Order of Engineers
Ordem dos Engenheiros, Portugal
|
2011 | Ordem dos Engenheiro Senior Member |
2011 | IEEE Senior Member |