LFCIA is a laboratory affiliated to the Department of Computer Science of the Faculty of Informatics of the University of Corunna, devoted to research in the fields of: Theoretical Computer Science (rewriting, systems theory...); Functional & Object-Oriented Programming, Distributed & Concurrent Functional Environments and Performance Evaluation; Formal methods in Software Engineering.

• Models and Applications of Distributed Systems Group (MADS Group)
• VoDKA Project: Video on Demand Kernel Architecture
• VRDADER Project: Verificación, Rendimiento y Disponibilidad de Aplicaciones Distribuidas en Entornos Reales
• ARMISTICE Project: Advanced Risk Management Information System: Tracking Insurances, Claims and Exposures
• Vision Artificial y Reconocimiento de Patrones (VARPA Group)