Linkedin
Research Lines • 

Reliable Software Systems