I am an Associate Professor at FACIN-PUCRS since March 2012. Previous to this appointment, I was an associate professor at INF-UFRGS (from July 2009) and previous to that I was a Lecturer in the Department of Computer Science, Durham University, UK (July 2004 to January 2009). I read for a PhD at UCL (finished in early 1999), then worked as a visiting lecturer at INF-UFRGS (until May 2002), and from June 2002 to May 2004 I was a post-doctoral researcher at the University of Liverpool.

My research interests include various aspects of autonomous systems:

1. •multi-agent programming languages
   

2. •logics and formal methods in multi-agent systems
   

3. •formal verification of multi-agent systems through model checking
   

4. •state-space reduction techniques for model checking multi-agent systems
   

5. •testing and debugging multi-agent programs
   

6. •applications of autonomous system
   

I am a member of the IFAAMAS board of directors and emeritus member of the EURAMAS board of directors.

Link to my Google Scholar page.

Link to my Academic Search page.

Link to my ACM author page.

Link to my Lattes CV.