RSS Meetups are monthly gatherings of LASIGE members with research interests mainly in Software Architecture, Verification, Testing, Programming Languages, Type Systems, Logic, Concurrency, and Formal Methods.
Title: Why is it so hard to verify certain breeds of software systems?
Speaker: Raul Barbosa (UCoimbra)
When: Tuesday, March 15, 11h00
Where: FCUL, room 6.3.27
Abstract: Distributed Systems and Artificial Intelligence are two very relevant areas within Computer Science because they provide effective solutions to real-world issues. However, it is strikingly difficult to verify most of those solutions, to ensure that they function as intended. In this talk, we will constructively discuss challenges that make it hard to verify those solutions and research ideas on how to address those challenges.
Bio: Raul Barbosa is a Tenured Assistant Professor at the University of Coimbra. He received the Ph.D. 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 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.