Ph.D. degree (2009) in Computer Science from Grenoble Institute of Technology (Grenoble INP), France. During my thesis, I worked at the research team MESCAL from INRIA (Grenoble, Rh么ne-Alpes). I'm currently university lecturer in Computer Science at Pontifical Catholic University of Rio Grande do Sul (PUCRS) and Federal University of Rio Grande do Sul (UFRGS), Porto Alegre, Brazil. I'm also a fellow researcher in Performance Evaluation Group and PaleoProspec project at PUCRS. I had spent three years as Software Engineer at Hewlett-Packard Brazil R&D team. I have wide knowledge about state space generation techniques using decision diagrams and numerical solution methods based on structure...
We鈥檝e updated our privacy policy so that we are compliant with changing global privacy regulations and to provide you with insight into the limited ways in which we use your data.
You can read the details below. By accepting, you agree to the updated privacy policy.
