Résumé
Raul Brajczewski 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 activity focuses on software engineering, applied formal methods and reliable distributed systems, including principles for designing and evaluating computer systems that must ensure safety and availability. 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]
Research projects
- AESOP (Autonomic Service Operation)
- DECAF (An Exploratory Study of Distributed Cloud Application Failures)
- VALU3S (Verification and Validation of Automated Systems’ Safety and Security)
- AI4EU (A European AI On Demand Platform and Ecosystem)
- ADVANCE (Addressing Verification and Validation Challenges in Future Cyber-Physical Systems)
- BASE (Biofeedback Augmented Software Engineering)
Miscellaneous
- Public repositories on Github
- LaTeX class for written exams at the UC
- PROMELA code for a Sudoku solver, and its verification output generated by the SPIN model checker
- The jTPCC project on SourceForge