Carlos Areces is a full professor in the Computer Science Section of the Facultad de Matemática, Astronomía, Física y Computación at the Universidad Nacional de Córdoba, where he is the director of the Logics, Interaction and Intelligent Systems (LIIS) Group. Since 2010, he has been a researcher with 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. He received a doctoral degree in Computer Science (2000) from the Universiteit van Amsterdam, The Netherlands, where he was a researcher at the Institute for Logic, Language and Computation. Following 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. Professor Areces has presented and published over one hundred scientific papers in journals and conferences in his field of expertise. His main area of interest is Computational Logic, with a special emphasis on Modal Logic. He has conducted research on model theory, computational complexity, artificial intelligence, knowledge representation, automated reasoning and computational linguistics.
Professor Carlos Areces is teaching PHIL 156A: Modal Logistics: A Modern Perspective in spring 2018.