Summary
Ángel Herranz is an associate professor and Vice Dean for Academic Affairs at Universidad Politécnica de Madrid with 13+ years of experience bridging programming language theory and real-world software engineering. His research and teaching focus on semantics, specification languages, formal methods, concurrency and parallelism, while he actively applies that expertise to industry projects in fault-tolerant, distributed and highly scalable systems. He has led both academic courses and product-driven teams—serving as CTO of Coowry—where functional and concurrent programming (Haskell, Erlang, Elixir) guided the design of large-scale, telecom-integrated payment platforms. Ángel is committed to academic–industry collaboration and often translates formal methods into practical solutions for testing, modelling and resilient architectures. Based in Madrid, he pairs a PhD in Computer Science with decades of hands-on development, from firmware and AI forecasting to leading high-scale system design.
13 years of coding experience
26 years of employment as a software developer
Ph.D., Computer Science, Ph.D., Computer Science at Universidad Politécnica de Madrid
Spanish, English