Guilherme Augusto Ferreira Lima  Guilherme Augusto Ferreira Lima photo         

contact information

Research Scientist
Brazil Research Lab, Brazil



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.