Registered user since Fri 13 Nov 2020
Name: Daniel Jackson
Bio: 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
Personal website: http://people.csail.mit.edu/dnj/
View general profile