Rodrigo Cardoso RodrÃguez
Associate Professor
Department of Systems Engineering and computing
University of Los Andes
Colombia
Biography
Rodrigo Cardoso RodrÃguez is an associate professor at University of Los Andes. He received his Master of Computing, DU, Munchen, Germany.
Research Interest
Formal Methods, Specification, Software Testing, Computer Education.