New MSc's

André Santos and Miguel Costa have successfully defended their MSc theses on ROS software quality.

2 PhD grants awarded by FCT

Announcement Title Test

This is the content of the announcement. Lets see how it looks like.

TRUST recommended for funding

Our project on trustworthy software design has been recommended for funding.

Paper at F1000Research

Our paper on an ORCID-based synchronization framework has been accepted at F1000Research in the ORCID-Casrai joint conference channel.

Information About the Speaker and the Talk

Paper accepted at FASE

Our paper on scenario exploration has been accepted at the 18th International Conference on Fundamental Approaches to Software Engineering (FASE).

PTCRISync project

We have been commissioned by the FCT to participate in the development of an ORCID-based synchronization framework for the Portuguese Current Research Information System (PTCRIS).

RAMiCS'15 in Braga

Interested in algebraic and relation methods in computer science? Please consider submitting to

Joined BESTCASE project

I've joined the BESTCASE project on languages and tools for critical real time systems as a post-doctoral researcher.

PhD thesis defended

I've successfully defended my PhD thesis at the University of Minho.