MIT EECS - Google Undergraduate Research and Innovation Scholar
Alloy Analyzer WebBased Frontend
Daniel N. Jackson
Alloy is a declarative modeling language that describes systems and their constraints. It has a desktop-based frontend, which finds satisfying examples and displays them as graphs with vertices and edges. We plan to build on this with a web-based frontend, and explore different ways to visualize graphs in ways that optimize understandability and user experience. Graphs are prevalent in computer science, so understanding the best ways to see and interact with them can also have practical benefits elsewhere. My project will also explore approaches in the backend, touching on issues in system design, declarative layout, and formal verification.