My current focus is on new approaches to software design for improved usability and reduce development cost; new programming paradigms; security-by-design for cyberphysical systems [paper] and web apps [paper]. I have general interests in lightweight formal methods (such as Alloy) and the role of design thinking in software.