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.
