Current interests centre around general purpose abstract concurrent programming languages. This means programming language designed for general purpose use, which are based in the idea that computation should be naturally concurrent (several things happening at once rather than everything happening in sequence), and which are based on some underlying formal and simple model of computation.