Pablo Nogueira

Pablo Nogueira is a Permanent Lecturer and Researcher at the Technical University of Madrid, Spain. He is affiliated with the School of Computer Engineering (E.T.S.I. Informáticos) and the Department of Computer Languages and Systems and Software Engineering. His research focuses on foundational aspects of computer science, with extensive teaching experience across diverse programming paradigms and technical domains.

Research Interests: His work spans programming language theory, design, and implementation, with specialized expertise in logic-based computer science, lambda calculi, operational semantics, and program transformation techniques. Key innovations include full-reducing abstract machines, proof-directed debugging methodologies, variable-free unification using relational algebra, datatype-generic functional programming, and advanced parsing techniques.

Technology Transfer: He has led projects developing virtual-reality simulators for education and public safety, with a patent pending for delta-wing hang glider flight simulation technology (WO/2025/032276). Additional contributions include synthetic content generation for neural network training and applications in educational neuroscience.