I am lecturer in compilers and programming language at the University of Bristol with a broad interest in programming languages and verification.
Despite the etymology, I really believe that abstraction can bring us closer to elegant
practical solutions!