An Approach to Verify Conflicts among Multiple Norms in Multi-Agent Systems
- Eduardo A. Silvestre
- Viviane T. Silva
- 2016
- WI 2016
My research career began in 2004 when I finished by PhD. at PUC-Rio (Catholic University in Rio de Janeiro). In the sequence I went to Universidad Complutense de Madrid to do a three years post-doc. In 2009, I became a professor at UFF (Universidade Federal Fluminense at Niterói, Rio de Janeiro) where I stayed till 2015. I joined IBM Research Brazil, in October 2015, where I have been working with Software and Knowledge Engineering. At IBM I participated in projects with clients such as Galp and Gazprom Neft, in working groups such as Computer Science Council, TLC Brazil, VISTA 2022 and published papers and patents together with my colleagues. I am current a Senior Research Scientist at IBM and an ACM Senior Member.