Mateus Krepsky Ludwich

Mateus Krepsky Ludwich obtained his Ph.D., M.Sc., and B.Sc. in Computer Science from the Universidade Federal de Santa Catarina (UFSC). He has experience in Computer Science, focusing on Operating Systems, Formal Verification, and System Virtualization.

Mateus Krepsky Ludwich possui doutorado, mestrado e graduação em Ciência da Computação pela Universidade Federal de Santa Catarina (UFSC). Possui experiência na área de Ciência da Computação, tendo atuado principalmente nos seguintes temas: Sistemas Operacionais, Verificação Formal e Virtualização de Sistemas.