People

Raul Barbosa

Address

Departamento de Engenharia Informática
Universidade de Coimbra

Email

Home Page

http://eden.dei.uc.pt/~rbarbosa/

Member

Software and Systems Engineering

Research interests

His main research interests focus on reliable software and systems, including principles for designing and evaluating computer systems that must ensure safety and availability. His research activity is currently centred on projects addressing cloud computing, dependable software architectures and reliable AI. These topics are systematically addressed using formal approaches such as model checking and experimental experimental approaches such as fault injection.

Short Bio

Raul Barbosa is an Assistant Professor at the University of Coimbra, Portugal. He holds a PhD degree in Computer Engineering since 2008 from Chalmers University of Technology, Sweden. He graduated in Computer Engineering in 2004 at the University of Coimbra. At Carnegie Mellon University, US, he was an Adjunct Associate Teaching Professor in the Institute for Software Research. He collaborated in diverse research projects, including AI4EU, ADVANCE, BASE, iCIS, AMBER, Affidavit, DFEA-2020, and TRONE, and was the Principal Investigator at UC in projects DECAF and AESOP. His teaching activities take place at the Department of Informatics Engineering of the University of Coimbra.

National Projects

AESOP - Autonomic Service Operation

International Projects

BASE - Biofeedback Augmented Software Engineering
AI4EU - A European AI On Demand Platform and Ecosystem
ADVANCE - Addressing Verification and Validation Challenges in Future Cyber-Physical Systems

Past Projects

iCIS - Intelligent Computing in the Internet of Services
DECAF - An Exploratory Study of Distributed Cloud Application Failures
AFFIDAVIT - Automating the Proof of Quality Attributes for Large Scale Software Architectures




Journal Articles

Conference Articles

2020

(1 publication)

2019

(3 publications)

2018

(3 publications)

2017

(5 publications)

2016

(4 publications)

2015

(1 publication)

2014

(5 publications)

2013

(6 publications)

2012

(4 publications)

2011

(2 publications)

Book Chapters