In the Spring of 1992 he join the National Institute of Standards and Technology (NIST) as a visiting faculty researcher. His research interests include compiler backends, currently supported by NSF, software maintenance cost reduction tools, and software issues in high integrity software system assurance.