Daniel Jackson

Impact Areas

Big Data

Cybersecurity

Education

Internet of Things

Projects

Project

Riffle

A local-first reactive relational database that aims to make it easier for anyone to build apps.

Daniel Jackson

Leads

Daniel Jackson

Research Areas

Systems & Networking

Daniel Jackson

Project

Wildcard

Wildcard is a platform that empowers anyone to build browser extensions and modify websites to meet their own specific needs, using a familiar spreadsheet view.

Leads

Research Areas

Project

Alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. Hundreds of projects have used Alloy for design analysis, for verification, for simulation, and as a backend for many other kinds of analysis and synthesis tools, and Alloy is currently being taught in courses worldwide.

Daniel Jackson

Leads

Daniel Jackson

Research Areas

Security & Cryptography

Impact Areas

Daniel Jackson

Project

An Interlock for Self Driving Cars

Computer-Aided Programming

Vertical AI Community of Research

Self-driving cars are likely to be safer, on average, than human-driven cars. But they may fail in new and catastrophic ways that a human driver could prevent. This project is designing a new architecture for a highly dependable self-driving car.

Daniel Jackson

Armando Solar-Lezama

Leads

Daniel Jackson

Armando Solar-Lezama

Research Areas

AI & ML

Robotics

Systems & Networking

Impact Areas

Transportation

Daniel Jackson

Armando Solar-Lezama

Project

Poirot: Secure Protocol Implementation by Design

Even formally verified protocols that have been faithfully implemented have been found to have security vulnerabilities. A new framework eliminates such vulnerabilities by design.

Daniel Jackson

Leads

Daniel Jackson

Research Areas

Security & Cryptography

Impact Areas

Cybersecurity

Daniel Jackson

Project

Security by Design for Cyberphysical Systems

An approach to reducing risks of attack on cyberphysical infrastructure (such as water purification plants and electric grids) with new software design and analysis techniques.

Daniel Jackson

Leads

Daniel Jackson

Research Areas

Security & Cryptography

Impact Areas

Cybersecurity

Daniel Jackson

Project

Espalier

Espalier (formerly Object Spreadsheets) is a new computational paradigm that combines the usability advantages of spreadsheets with SQL-like expressive power, providing a way to build a wide class of interactive applications more easily than with existing tools.

Leads

Research Areas

Project

Rethinking Software Design

What is design thinking in the context of software? We're developing a new approach to software design that achieves usability and robustness by going deeper than the user interface.

Daniel Jackson

Leads

Daniel Jackson

Research Areas

Daniel Jackson

Project

Gitless: a simple version control system built on top of Git

Gitless is a conceptual redesign of Git which attempts to make Git easier to learn and use

Daniel Jackson

Leads

Daniel Jackson

Research Areas

Daniel Jackson

Project

Déjà Vu: Constructing Apps from Concepts

Déjà Vu is a new platform for end-user development of apps with rich functionality. It features a novel theory of modularity for binding concepts; an extensive library of reusable concepts; and a WYSIWYG tool for specifying bindings and customizing visual layout

Daniel Jackson

Leads

Daniel Jackson

Research Areas

Daniel Jackson

7 More

Groups

Community of Research

Human-Computer Interaction Community of Research

The focus of the HCI CoR is inventing new systems and technology that lie at the interface between people and computation, and understanding their design, implementation, and societal impact.

David Karger

Leads

David Karger

Research Areas

Graphics & Vision