Software McMaster University / McMaster University / St Cloud State University / MathScheme library / University of Wisconsin-Madison / /
IndustryTerm
software system / larger applications / software engineering / dependable software / symbolic computation systems / given technology / theorem proving systems / hand tools / computer algebra systems / a lot of current systems / software development / software systems / software certification / pure software verification / mathematics systems / fruitful applications / correct-by-construction software / mechanised mathematics systems / power tools / computer theorem proving systems / /
Organization
St Cloud State University / Department of Computing and Software / Engineering Research Council of Canada CONTACT / Farmer Department of Computing / Jacobs University / McMaster University in Ontario / University of Wisconsin / Department of Computing and Software at McMaster University / /
Person
Jacques Carette Mechanising / Professors Jacques Carette / William Farmer / Florian Rabe / Jacques Carette / Professors William Farmer / Michael Kohlhase / William M Farmer / / /
Position
Farmer / Professor and Chair / experimental translator / Professor / Associate Professor / /
professors William Farmer & Jacques Carette Mechanising mathematics