Carlos Vinícius Gomes Costa Lima

Graduado em Ciência da Computação pela Universidade Federal do Ceará (UFC), Brasil, em 2010. Obteve título de mestre em Ciência da Computação pelo Programa de Mestrado e Doutorado em Ciência da Computação (MDCC), também pela UFC, em 2013. Obteve o título de doutor pelo Programa de Engenharia de Sistemas e Computação, PESC-COPPE, Universidade Federal do Rio de Janeiro (UFRJ), Brasil, em 2017. Atualmente é professor efetivo em regime de dedicação exclusiva no Centro de Ciências e Tecnologia da Universidade Federal do Cariri (UFCA). Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação, atuando principalmente nos temas de Algoritmos e complexidade computacional, Teoria dos Grafos e Otimização Combinatória em problemas combinatórios em grafos.

graduation at ciência da computação from Universidade Federal do Ceará (2010), master's at Computer Science from Universidade Federal do Ceará (2013) and doctorate at Computer Science from Universidade Federal do Rio de Janeiro (2017). Has experience in Computer Science, acting on the following subjects: b-chromatic index, verification, validation, combination and method.