Guilherme Lima is a Research Staff Member at IBM Research Brazil (Rio) since 2019. He holds a DSc (2015) and a MSc (2011) in Informatics and a BA (2008) in Information Systems, all from PUC-Rio. In 2018, he did a postdoc at IPVS (Universtiy of Stuttgart) doing research on fault-tolerance in distributed complex event processing systems. He has a background in formal methods and an extensive experience with programming languages and models for multimedia. He recently started working with knowledge representation and reasoning.