Carlos Areces is currently a Full Professor at the Computer Science Section of the Facultad de Matemática, Astronomía, Física y Computación, Universidad Nacional de Córdoba, where he is the director of the Logics, Interaction and Intelligent Systems (LIIS) Group. Since 2010, he is also a Researcher of the Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET).
He received his doctoral degree in Computer Science from the Universiteit van Amsterdam, The Netherlands in 2000, where he was a researcher at the Institute for Logic, Language and Computation. After his doctoral studies he was an INRIA Researcher at the Lorraine Research Laboratory in Computer Science and its Applications, Nancy, France, a research unit common to CNRS, the University of Lorraine and INRIA.
His main area of interest is Computational Logic, with special emphasis in Modal Logic. He has carried out research in model theory, computational complexity, artificial intelligence, automated reasoning and computational linguistics, among others.