Provas formais de matemática e lógica proposicional.
Análise de logs para monitoramento de economia in-game.