Laboratorio de Informática en Salud

El Grupo de Tecnologías de la Información Geoespacial (INCO / IA) desarrolla actividades de investigación, docencia y extensión, en tecnologías de la información geográfica, con el objeto de satisfacer las necesidades de la UDELAR, el Estado, y de la Sociedad en su conjunto (empresas y/o particulares) en esta temática.

El Laboratorio de Medios trabaja en las áreas de interacción persona computadora y arte con nuevos medios. 

El grupo de Métodos Formales del INCO se formó a comienzos del año 1998. Sus principales áreas de investigación son "Constructive Type Theory", "FormalVerification of Reactive Systems" y "Generic Programming and Program Fusion".