Paulo Ewerton
Software Engineer in Campina Grande, Brazil
Full-stack software developer and Computer Science researcher, currently working as an OpenStack contributor at the Distributed Systems Laboratory from Universidade Federal de Campina Grande, Brazil. My research topics of interest include formal methods for software and systems engineering, particularly formal specification and verification. I have this deep passion for alternative music and minimalist writing.