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 Luna (Agencia Nacional de Investigación e Innovación) -- short CV 

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...


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: reactive and real time systems, verification tools, constructive type theory, computer security, education

Current work

Projects in progress

More recent projects

Some papers - Publications


PhD thesis

Master thesis