Guilherme Augusto Ferreira Lima  Guilherme Augusto Ferreira Lima photo         

contact information

Brazil Research Lab, Brazil
  +55dash21dash9dash6765dash7891

links


profile


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.




Technical Areas