O Grupo de Lógica Matemática do IME-UFF atua nas áreas de Ciência da Computação, com ênfase em Lógicas e Semântica de Programas; Matemática, com ênfase em Álgebra, Matemática Discreta e Combinatória; e Métodos e Técnicas de Ensino, com ênfase em ensino de combinatória. Os principais temas nos quais o grupo tem publicações recentes são aspectos lógicos da teoria dos grafos, fundamentos da combinatória, lógica matemática, lógica modal, raciocínio com diagramas, semântica relacional e sistemas formais relacionais. O grupo também tem trabalhado em temas relacionados ao ensino das ciências formais.
