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), Argentina. He obtained a graduate degree in Computer Science at the Universidad de Buenos Aires, Argentina. Afterwards, he received a 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. He has published over one hundred scientific papers in journal and conferences in his field of expertise. 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, knowledge representation, automated reasoning and computational linguistics, among others.