Tiago Miguel Laureano Alves
Background
In 2004, I've graduated
Computer Science and Systems Engineering in University of Minho.
Between 2004 and 2005, I worked in the
Research.IKF project (Research.IKF-P E-Learning Vertical Application Area) financed by a research grant (BI).
Between 2005 and 2006, I worked as "monitor" at the
Department of Informatics teaching practical classes of the
PLC,
PL I and
MP III courses.
In June 2005 I finished the
MSc in Informatics presenting the thesis "VooDooM: Support for understanding and re-engineering of VDM-SL specifications".
Between July 2006 to June 2007, I worked at
European Space Operations Center (ESOC) as
Young Graduate Trainee (YGT), in Darmstadt, the German facilities of the
European Space Agency (ESA).
Between June 2009 to August 2009, I've participated in the Space Studies Program 2009 from the
International Space University at
NASA Ames Research Center.
Research Projects
As past projects I have been involved in:
- VooDooM Transform hierarchical formal specifications into its relational equivalent (SQL).
- SdfMetz Computes metrics for SDF, Bnf, Antlr, and Bison.
- 2LT Two-level data transformation.
At the present moment I am working in empirical software engineering, in particular defining methodologies and techniques to assess software product quality.
Besides program comprehension techniques I am interested in language engineering.
Publications & Presentations
My publication list and given presentations can be found in the
Publications web page.
Other
Contacts