I have 40 years of experience and specialize in the field of computer science, with specific knowledge of programming, algorithms and compiler construction. I have published on such topics as calculational logic, programming methodology and the development of algorithms, and semantics of programming languages.