El grupo de Audición robótica, dirigido por el Dr. Caleb Rascón, trabaja en la creación de un sistema auditivo capáz de detectar y localizar varias fuentes de sonido con menos micrófonos.

Se desarrollan algoritmos escalables de descubrimiento y reconocimiento de patrones.

Nuestra investigación se centra en el desarrollo de robots de servicio para asistir a las personas en su quehacer diario, con una orientación fuerte a la Inteligencia Artificial y a la interacción Humano-Robot. Nuestro trabajo involucra investigación teórica, desarrollo de software y la construcción real de robots.

Se ha trabajado en el desarrollo teórico y practico de algoritmos aplicados a biomedicina, la cual es un área muy fértil. En particular cabe resaltar el trabajo para analizar imágenes de retina, la mejora de métodos tomográficos y neuroimagenología.

Se investiga principalmente el análisis de formas; representaciones de curvas en 2D y en 3D; medidas de similitud para objetos tanto en 2D como en 3D; medidas de compacidad y característica de Euler por medio del perímetro de contacto; análisis y representación de lattice knots; códigos de cadenas; representación, análisis y reconocimiento de árboles y técnicas de compresión.

La verificación de modelos permite verificar si el modelo de un sistema tiene o no cierta propiedad. Cuando no la tiene, normalmente el modelo se modifica manualmente. Se investigan métodos para que dicha modificación (actualización) se realice mecánicamente. También se aplica verificación al estudio y modelado de redes genéticas y a sistemas inmersos ("embedded") para la verificación de programas.