Alma L. Juarez Dominguez

I'm currently a PhD candidate in the David R. Cheriton School of Computer Science at the University of Waterloo, Canada, working under the supervision of Professor Nancy Day. I am also member of the Waterloo Formal Methods (WatForm) research group.

Currently, I am participating in a research collaboration with General Motors Canada and Critical Systems Labs, who co-sponsor an NSERC Industrial Postgraduate Scholarship (IPS) that I hold during 2007 and 2008. In August 2008, the International System Safety Society selected the our collaborating Waterloo/GM (University of Waterloo and General Motors) Team as the recipient of the Scientific Research and Development of the Year Award for the work of identification and description of feature interactions as a significant source of safety risk in complex software-intensive systems. The award is presented annually to an individual or group who has made contributions to the advancement of System Safety through research and development or special initiative programs.

I also hold a Cheriton Scholarship from the David R. Cheriton School of Computer Science during May 2007 and April 2009, which are reserved for the School’s very top graduate students. In April 2008, Google selected me as a finalist in the Canada Anita Borg Memorial Scholarship, which is awarded based on the strength of candidates’ academic background and demonstrated leadership. Through the scholarship, Google hopes to encourage women to excel in computing and technology and become active role models and leaders.

I finished my Master's Degree in the David R. Cheriton School of Computer Science at the University of Waterloo , Canada, with the topic "Verification of DFC Call Protocol Correctness Criteria". I received my B.Sc. in the Faculty of Computer Science at the University of Puebla, Mexico.

Research Interests

During my Master's degree I worked on the project "Managing Feature Interactions among Distributed Services", which focuses on modular feature development in Distributed Feature Composition (DFC), an architecture that AT&T is investigating for telecommunications applications.

For my doctorate research, my main goal is to produce techniques and tools that will facilitate reusable independent feature development in automotive embedded systems, by providing a means for efficient detection of feature interactions. For more information on my research, please look at the Research section.

Contact Information

Curriculum Vitae

A PDF version of my curriculum vitae (Revised May 15, 2009).