Some Guiding Principles

Computer & Computing Science

I consider myself a computing scientist primarily interested in programming methodology.

Formal Methods

I consider myself to have primarily contributed to the area of formal methods, e.g., VDM and RAISE .

A Triptych of Software Engineering

My contributions in the last many years has been to establish a proper
domain science & engineering .

My main focus, since 1977, has been on the development of "large" software:
compilers (like for CHILL and Ada), and human artifact infrastructure software
(for pipelines, railways, health care, banking, road traffic, container terminal ports, etc.).

A recent focus since 2017, has also been on

Are We Teaching & Researching the Right Things ?