Guilherme Lima is a Research Scientist in AI at IBM Research Brazil. He holds a DSc (2015) and a MSc (2011) in Informatics, and a BA (2008) in Information Systems, all from PUC-Rio, Brazil. He did a post-doc in 2018 at IPVS/University of Stuttgart working on complex event processing. From 2009 to 2017 he contributed to the specification and reference implementation of Ginga-NCL, the Brazilian DTV middleware and ITU-T recommendation for IPTV services. His research interests are in multimedia, distributed systems, knowledge representation and reasoning, programming language semantics, type theory, logic and formal methods applied to computer science.