Meta Mathematician, Type Theorist, Software Engineer, Computer Language Researcher and Designer. Environmental Researcher and Disseminator.