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 

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


Current work

Projects in progress

More recent projects

Some papers - Publications

Books:

PhD thesis

Master thesis


Links