SRI International / Computer Science Laboratory / /
Country
Canada / China / United States / / /
Facility
National Institute / /
IndustryTerm
similar systems / lightweight tool / /
Organization
National Institute / IEEE Computer Society / Association for Computing Machinery / /
Person
Tobias Nipkow / Sam Owre / Cesar Munoz / Judy Crow / John Rushby / N. Shankar / Dave StringerCalvert / Stefan Berghofer / Makoto Takeyama / Peter Dybjer / John Hughes / Koen Claessen / Qiao Haiyan / /
Position
evaluator / abstractor / ground evaluator / abstractor / and HTML generator / prover and ground evaluator / /