Alberto Verdejo

Alberto Verdejo serves as an Associate Professor in the Department of Computer Systems and Computation at the Faculty of Computer Science, Complutense University of Madrid, Spain. His academic profile demonstrates a strong focus on theoretical aspects of computing and algorithmic foundations.

His research interests center around Theoretical Computer Science, with specialization in Algorithms, Data Structures, Formal Methods, and Computational Complexity. Verdejo's work emphasizes the mathematical foundations of computing, particularly algorithm specification, derivation, and analysis.

Verdejo has co-authored three significant Spanish-language textbooks that reveal his research trajectory: Introducción a la Computación (2006) focusing on theoretical computer science foundations; Especificación, derivación y análisis de algoritmos (2006) addressing formal program specification; and Estructuras de datos y métodos algorítmicos (2003) covering data structures and algorithmic methods including divide and conquer, greedy algorithms, dynamic programming, and backtracking.

His teaching activities demonstrate commitment to foundational computer science education, with particular emphasis on making theoretical concepts accessible to students through practical exercises and structured learning materials.