Felipe Restrepo-Calle received the PhD degree cum laude from the University of Alicante (Spain) in 2011. He was a post-doctoral research fellow at the University of Seville, Spain, from 2012 to 2013, and the Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil, during the first semester of 2014. He is currently an associate professor in the Department of Systems and Industrial Engineering at the Universidad Nacional de Colombia, Bogotá. His fields of research interest include programming languages, dependable design of embedded systems, and engineering education.