Josh's PhD was primilary focused on program performance analysis using formal methods such as Runtime Verification (RV). The theoretical foundations, along with subsequent implementations, that he developed during his PhD led to the current state of the VyPR framework.
Omar Javed was a PhD student in University of Lugano. His research interests included dynamic program analysis, unit testing, mining software repositories and cloud computing.
In particular, his research was on dynamic analysis techniques during testing to understand performance issues of software projects.
Marta Han was a master's student at the University of Zagreb pursuing a degree in Mathematical statistics. She worked on the VyPR framework as a Technical Student at CERN.