Leonardo de Sá Alt

Doutorando em Ciência da Computação pela University of Lugano com interesse em Teoria da Computação, Lógica e Verificação Formal. Mestre e graduado em Ciência da Computação pela Universidade Federal de Uberlândia com interesse em Autômatos Celulares, Teoria da Computação, Linguagens Formais e Teoria dos Autômatos.

PhD student in Computer Science at University of Lugano focused in Theory of Computation, Logic and Formal Verification. MSc and BSc in Computer Science at Federal University of Uberlandia focused in Cellular Automata, Theory of Computation, Formal Languages and Automata Theory.