about my research

I'm graduated in Computer Science in the Universidade Federal de Campina Grande (Brasil) with a master degree (in the COPIN's program) at the same institution. In 2010, I obtained my PhD in Computer Science at the Software Department (LSI) in the Universitat Politècnica de Catalunya (UPC), in Barcelona, Spain.

At the moment I'm a professor at the Department of Computer Science / Center of Electrical Engineering and Informatics (CEEI) of Federal University of Campina Grande.

My research interests include:

• Petri nets
  
• Asynchronous communication mechanisms
  
• Model checking
  
• Embedded systems design

personal interest

Photography is my hobby, and I keep a flickr account where I share some of my photos.

how to contact me?

Send me a e-mail kyller _at_ dsc.ufcg.edu.br