Engineering 2

Program verification has been applied in many contexts (including videogames), but the scale and complexity of the examples that have been analyzed fall short of the ability to analyze many existing games without massive computational costs. My research focuses on automatic analysis and design of one particular game: Super Metroid, with the goal of creating […]

Online communities tell stories with the games they play. As continual updates, recurring monetization, and platforms for community discussions have flourished, we have seen a rise in video games using ongoing development to tell stories, and have a community interact with those stories and build upon them. In this dissertation, I study this phenomenon, which […]

Decompositions of large-scale networks are central to many applications in graph mining, network science, and algorithm design. Over several decades, a rich body of work has developed techniques to partition networks with various different objectives. However, a noticeable gap persists between methods with strong theoretical guarantees, and those that perform well in practice. Practical algorithms […]