Professor; Post Retirement Professor
PhD in theoretical philosophy - PhD thesis in mathematical logic. Docent in logic at Stockholm University. Active as composer since 1970. Education at Malmö Academy of Music, Royal College of Music in Stockholm and Instituut voor Sonologie, Universiteit Utrecht.
On normalization of proofs in set theory
Researchers publications in DiVA (Digitala Vetenskapliga Arkivet)
Chair of The Swedish Research Council Committee for Artistic ResearchCoordinator for the ArcInTexETN, a European network for research education funded within the EU Marie Sklodowska-Curie program.