Guilherme Augusto Ferreira Lima

Overview

Guilherme Augusto Ferreira Lima

Title

Research Scientist

Location

IBM Research - Brazil Rio de Janeiro, Brazil

Bio

Guilherme Lima is a Research Scientist at IBM Research. He received a PhD in computer science from PUC-Rio (Brazil) in 2015 working on formal methods applied to multimedia systems. In 2018, he did a post-doc at University of Stuttgart (Germany) working on fault-tolerance in distributed complex event processing systems. He joined IBM Research in 2019 and his current research interests are in computational logic, knowledge graphs, and knowledge representation and reasoning in general.

Publications

Patents

Top collaborators