Guilherme Augusto Ferreira Lima

Guilherme Lima is a Research Scientist in AI in 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. In 2018 he did a post-doc at IPVS/University of Stuttgart doing research in 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, knowledge representation, symbolic reasoning, programming language semantics, logic and formal methods applied to computer science.

É pesquisador da área de inteligência artificial da IBM Research Brasil. Possui doutorado (2015) e mestrado (2011) em Informática, e graduação em Sistemas de informação (2008), todos pela PUC-Rio, Brasil. Em 2018 realizou um pós-doutorado no IPVS/Universidade de Stuttgart (CAPES/Probal) onde desenvolveu pesquisas em processamento de eventos complexos. Entre 2009 e 2017 contribuiu para a especificação e implementação de referência do middleware brasileiro de TV digital, Ginga-NCL (norma ABNT e recomendação ITU-T para serviços IPTV). Seus interesses de pesquisa incluem multimídia, representação de conhecimento, raciocínio simbólico, semântica de linguagens de programação, lógica e métodos formais aplicados à ciência da computação.