Prof Gurumoorthy leads the CAD laboratory, which addresses problems related not just with representing product models, but also reasoning with them.