Samantha Rachel Cook

• Modeling monotone nonlinear disease progression and checking the correctness of the associated software