I’m an undergraduate student at Queen’s University working with Christian Muise to search out and extract interesting logic-based conditions from popular software projects.