May 5, 2017
Juan Diego Campo
Juan Diego is a Lecturer in the Department of Computer Science of the School of Engineering at Universidad de la República (FING-UDELAR), Montevideo, Uruguay. He received a PhD. in Computer Science from PEDECIBA Informática, and graduated as Computer Systems Engineer at FING-UDELAR.
He has published a number of refereed scientific papers and participated in many national and international research projects.
His research interests include formal methods, program verification, software and system security and foundations of computer science. He is currently working on the formal definition and verification of security properties of idealized models of mobile platforms and in the development of tools and methodologies for the automation of detection and prevention of attacks on web applications.
My activity
Research
- VirtualCert
- AKD: Autonomic Knowledge Discovery for Security Vulnerability Prevention in Self-governing Systems