profile picture

Vasco Amaral

NOVA School of Science and Technology @ NOVA University of Lisbon

SHORT BIO

I am currently an Associate Professor at the Department of Computer Science at NOVA School of Sciences and Technology (NOVA University Lisbon ) in Portugal. I am also a researcher (integrated member) of NOVA LINCS. Previously, I have worked at international institutes like DESY (at the Hera-B experiment) and CERN (at the ATLAS Experiment) as a research collaborator at LIP Portugal. In 2005, I obtained my PhD in Computer Science at the University of Mannheim (with a grant by Fundação para a Ciência e Tecnologia do Ministério da Ciência e Tecnologia) and the BSc in 1998 at IST ( Universidade de Lisboa). Recently, I was Vice-chair and grant holder of the prestigious European Framework H2020 funded COST Action IC1404 - Multi-Paradigm Modelling for CPS (networking 26 European countries). In total, I was PI or Co-responsible of projects that summed more than 1 million Euros (where the faculty directly managed a total of 600 thousand Euros). I have also served the community in several roles like Local organiser, Steering member and Program Committee member of several international conferences and workshops. I was general co-chair of QUATIC 2016, PC co-chair of QUATIC 2018, and general chair of ACM PPPJ2007. I was also special issues' guest editor at Computer Languages, Systems \& Structures Journal, Science of Computer Programming, and Software Quality Journal. Additionally, I have founded, organised (and currently steering) the International Summer School on Domain-Specific Modelling already on its 9th edition, and the 1st Summer School on Multi-paradigm Modelling for Cyber-Physical Systems. I promote the rigorous use in Software Engineering of software models and processes to build rapidly better software systems, ensuring Quality both in the process and solution. This entails providing tools, processes, and modeling languages (not discarding their Usability) that cope with the engineering of complex multidisciplinary systems and empower not only software engineers but also experts from various scientific and engineering domains to cooperate consistently in building their solutions. The current research topics and activities I’m involved in include: to derive tools & dedicated formalisms for modeling specific software-intensive domains with conceptual notations, semantically well described while dealing with families of software products. The purpose is to analyze system properties, verify, simulate, optimize, and automatically derive code from models specified by the domain experts. Currently, I am interested in the particular topic of Multi-Paradigm Modelling of Cyber-Physical Systems. Additional goal: derive a consistent, but the practical methodology for the complete DSL Engineering life-cycle.

Stay up to date with the latest Underline news!

Select topic of interest (you can select more than one)

PRESENTATIONS

  • All Lectures
  • For Librarians
  • Resource Center
  • Free Trial
Underline Science, Inc.
1216 Broadway, 2nd Floor, New York, NY 10001, USA

© 2023 Underline - All rights reserved