| This fund supports the research of Professor W. Rance Cleaveland, which typically comprises software verification and validation, formal methods, model checking, software specification formalisms, verification tools, software testing, and software architecture. |