May 5, 2017
Carlos Luna
Carlos Luna is a Professor in the Department of Computer Science of the School of Engineering at Universidad de la República (FING-UDELAR), Montevideo, Uruguay, where he participates in the Computer Security Group. He received a Ph.D. and a M.Sc. degree in Computer Science at FING - UDELAR.
He has published more than 30 refereed scientific papers and has been researcher of many national and international projects. His research interests include formal methods, program verification, software and system security, foundations of computer science, and education. He is currently working on the formal definition and verification of security properties of idealized models of mobile platforms.