Résumé
Raul Barbosa is an Assistant Professor at the University of Coimbra. He received the PhD degree in computer engineering from Chalmers University of Technology. At Carnegie Mellon University he was an Adjunct Associate Teaching Professor in the Institute for Software Research. He collaborated and was the principal investigator at UC in diverse research projects. His research interests focus on reliable software, applied formal methods and distributed 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 approaches such as fault injection. His teaching activities take place at the Department of Informatics Engineering of the University of Coimbra.
Research
- ORCID: https://orcid.org/0000-0002-2916-7571
- Ciência ID: https://www.cienciavitae.pt/en/FB15-54DC-51D7
- Up to date institutional homepage
- Up to date list of publications at Google Scholar [here]
- Personal homepage at the research centre [here]
Theses
- Raul Barbosa, "Layered fault tolerance for distributed embedded systems", Ph.D. thesis, Department of Computer Science and Engineering, Chalmers University of Technology, Gothenburg, Sweden, November 2008. [pdf]
- Raul Barbosa, "Multi-layer fault tolerance for distributed real-time systems", Licentiate thesis, Department of Computer Science and Engineering, Chalmers University of Technology, Gothenburg, Sweden, May 2007. [pdf]
- Raul Barbosa, "Fault injection optimization through assembly-level pre-injection analysis", Master's thesis, Department of Computer Engineering, Chalmers University of Technology, Gothenburg, Sweden, August 2004. [pdf]
Miscellaneous
- LaTeX class for written exams at the UC
- Public repositories on Github
- PROMELA code for a Sudoku solver, and its verification output generated by the SPIN model checker
- The jTPCC project on SourceForge