Marcio de Oliveira Buss

possui graduação em Engenharia Elétrica pela Universidade Federal de Santa Maria, mestrado em Ciência da Computação pela Universidade Estadual de Campinas (UNICAMP), e Ph.D. em ciência da computação pela Columbia University, New York, EUA. Tem experiência na área de Ciência da Computação, com ênfase em qualidade de software, busca automatizada de erros em software, linguagens de programação, semantica de programas, analise estatica de programas, compiladores, arquitetura de computadores, sistemas digitais, verificação de software e provadores automaticos de teoremas.