Rafael F. Toledo

I am a PhD candidate at the Cheriton School of Computer Science at the University of Waterloo. I work under the supervision of Prof. Joanne Atlee. I am a member of the Waterloo Formal Methods Group (WatForm), which is a joint Computer Science and Electrical Computer Engineering research group that investigates mathematical methods to aid in the design and verification of software systems.

My research investigates how graphical software models can help engineers develop and analyze software product lines. My current focus is developing interactive exploration of software models representing variability-aware analysis results. These models enable engineers to comprehend, identify, and compare the behaviour of specific software products.