Pablo Lamela

Pablo Lamela is a consultant researcher in programming languages, a developer, and founder of Trasno Limited. In the past, he has worked at the school of computing at the University of Kent, where he obtained his PhD. His research interests include web services, functional languages, formal verification, program manipulation, grammar inference, and software models. He joined IOHK in 2018.