Permanent lecturer and researcher.
Department of Computer Languages and Systems and Software Engineering.
E.T.S.I. Informáticos, Universidad Politécnica de Madrid, Spain.

Research: Programming language theory, design and implementation. Concretely: logic in computer science, lambda calculi, operational semantics, semantic artefacts and their inter-derivation by program transformation (particularly "full-reducing" abstract machines), proof-directed debugging, variable-free unification with relational algebra, datatype-generic functional programming, and parsing.

Teaching: Introductory and advanced programming (with imperative, object-oriented, functional, and concurrent programming languages), algorithms and data structures, data science programming, compilers, mathematics and logic for computer science, software tools, computer and communication networks, multiplayer game environments, web programming, etc.

Technology transfer: I've lead and participated in publicly and privately funded projects delivering apps and virtual-reality simulators for education, educational neuroscience, public safety, and synthetic content generation for training neural networks. Delta-wing hang glider flight simulator patent pending WO/2025/032276.

Most of my publications are available here:

• DBLP Computer Science Bibliography.
• Google Scholar.
• The ACM Digital Library.
• Scopus.