Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.
Explores the intersection between digital humanities and game studies, showcasing various research projects and highlighting the interdisciplinary nature of research in these fields.
