Daniel Jackson

Registered user since Fri 13 Nov 2020

Name:Daniel Jackson

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.

Country:United States


Show activities from other conferences

SPLASH 2018-profile
View general profile