Carlos Luna

https://cvuy.anii.org.uy/usuario/foto/id/4de3d4e49c97ac8dbdf927e8040a3c9a72dc58c8f0c93b77e9769e03005b1c2d38dcaf2b61d9d998d757190dc88977fba2ec9ba3eacbc8ae07ae5b21a1f28d00/backend/1/

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

CVUy Carlos Luna (Agencia Nacional de Investigación e Innovación) -- short CV (2021) 

DBLP: Carlos Luna

Google Académico: 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, education


Current work

Projects in progress

More recent projects

Some papers - Publications

2021-2014:

Some previous:

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