Carlos Luna

I am a lecturer at Computing Science Department (InCo) at the Engineering School of the Universidad de la República, Montevideo, Uruguay

CVUy Carlos LunaShort CV

DBLP: Carlos LunaGoogle Scholar Citations

Photo (2018) – photo: InCo 2008 -- photo: InCo 2017 [1][2]

How to reach me

Fax, Postal address, etc...


Teaching 

I'm working for the following courses of the program Computing Engineering


Research interests 

I am a member of the Laboratory of Computing Science - Information Security Group
My areas of interest are: formal methods, computer security, verification tools, constructive type theory, critical systems, and education


Current work

Recent Projects

Some papers - Publications

2021-2014 (All publications, including previous ones, are available at: CVUy)

Books:

PhD thesis:

        "Formal analysis of security models for mobile devices, virtualization platforms, and domain name systems". August 2014, PEDECIBA Informática, Uruguay. Primer premio en el concurso de tesis de la Academia Nacional de Ingeniería de Uruguay, Uruguay, 2015. 

Master thesis:

        "Especificación y Análisis de Sistemas de Tiempo Real en Teoría de Tipos" (Specification and Analysis of Real Time Systems in Type Theory). Primer premio en el concurso de tesis de maestría CLEI'2000, México. Reporte Técnico - Thesis.


Links