« Massive-scale neuroscience. »
With the development of information technology and the consequent everyday activity in the Internet, many human products are represented in the same digital environment. Current research can capitalize this unprecedented opportunity: a virtually infinite repository of human computation. This change of scale allows the exploration of procedures in high dimensional spaces which were previously intractable with data generated in the laboratory, opening a privileged window to understand human cognition. We focus on Education, Decision Making and Social Psychology.
« Spoken Language Processing. »
This branch of AI aims at developing systems capable of effectively manipulating spoken language. Its ultimate goal consists in creating a talking machine that passes the Turing test: a machine that can engage in open-domain conversation with a performance indistinguishable from that of a human being. The main challenges of SLP include speech recognition (translating spoken words into text), speech synthesis (transforming text into spoken words), dialogue management (interpreting the input and deciding how to respond), and prosody modeling (understanding the relation between ‘what’ is said and ‘how’ it is said). We focus on two languages of study: English and Spanish.
« Signal Processing. »
GPU-based Independent Component Analysis (ICA), Real-time spike-sorting, Brain-Computer Interfaces.
« Randomness, Computability and Logic. »
Algorithmic randomness, computability theory, Kolmogorov complexity, Algorithmic information theory, Model theory, Modal logics.