My research interests center around the computer-aided specification and verification of safety-critical systems and embedded software. I do not have any projects available at this time.