Clafer is a lightweight structural and behavioral modeling language.
More more information, visit the new official website: clafer.org
Clafer is a lightweight structural and behavioral modeling language.
More more information, visit the new official website: clafer.org
We are looking for postdocs and graduate students interested in working on all aspects of autonomous driving.
For more information, visit Open positions.
The University of Waterloo acknowledges that much of our work takes place on the traditional territory of the Neutral, Anishinaabeg and Haudenosaunee peoples. Our main campus is situated on the Haldimand Tract, the land granted to the Six Nations that includes six miles on each side of the Grand River. Our active work toward reconciliation takes place across our campuses through research, learning, teaching, and community building, and is centralized within our Office of Indigenous Relations.