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 professor in Computer Science at Pontifical Catholic University of Rio Grande do Sul (PUCRS), Porto Alegre, Brazil. 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 structured descriptions of Markovian models.Specialties: My research interests include stochastic modeling and simulation, continuous and discrete time modeling, structured Markovian formalisms such as Stochastic Automata Networks (SAN) and Stochastic Petri Nets (SPN), structured and Kronecker based approaches for Markov analysis, as well as performance evaluation of systems applied to several domains such as software engineering, performance testing, computer networks, and parallel and distributed computing.