El Dr. Carlos Luna es actualmente Profesor Agregado (Gr 4) efectivo e integrante del Grupo de Seguridad Informática del Instituto de Computación de la Facultad de Ingeniería; vinculado a esta institución desde 1998. Adicionalmente, es investigador activo del PEDECIBA Informática (nivel 2, desde 2024) y del SNI-ANII (nivel 1, desde 2009).
Carlos Luna trabaja en la investigación y aplicación de métodos formales en ingeniería de software, seguridad informática y sistemas críticos. En particular: blockchain, protocolos de criptomonedas, dispositivos móviles, plataformas de virtualización, privacidad y seguridad en sistemas críticos, y sistemas de tiempo real. Asimismo realiza tareas varias de gestión e investigación en enseñanza.
Algunos links relevantes:
- Home page
- CVUy: Disponible en el buscador de la ANII
- CV resumido
- DBLP
- Google scholar
- Publicaciones en Scopus

