Ricardo de Melo Czekster

graduation at Ciência da Computação from Pontifícia Universidade Católica do Rio Grande do Sul (2002), master's at Ciência da Computação from Pontifícia Universidade Católica do Rio Grande do Sul (2006) and doctorate at Computer Science from Pontifícia Universidade Católica do Rio Grande do Sul (2010). Has experience in Computer Science, focusing on Computer Science, acting on the following subjects: solução de formalismos estruturados, formalismos estruturados, modelagem estocástica, análise numérica and ferramentas para solução de sistemas.

possui graduação (2002), mestrado (2006) e doutorado (2010) em Ciência da Computação pela Pontifícia Universidade Católica do Rio Grande do Sul. Durante o doutorado, foi convidado para dois períodos sanduíche, um em Grenoble/França em 2007 e outro em Edimburgo/Escócia em 2008 onde pesquisou modelagem computacional de sistemas. Realizou pós-doutorado na Siemens Corporate Research em Princeton, EUA, em 2010 na temática de Software Performance Engineering e modelos de desempenho para estudo de escalabilidade. Tem experiência nos seguintes temas: simulação e modelagem de sistemas, Avaliacão de Desempenho de Sistemas em geral, aplicações práticas de modelos computacionais e mapeamento/conversão de/entre formalismos Markovianos com grande espaços de estados.