Franz Baader

Franz Baader

male
computer scientist, German, TU Dresden, Knowledge representation, automateddeduction, description logics
Franz Baader received his PhD in Computer Science in 1989 from the University Erlangen-Nürnberg, Germany, where he was a teaching and research a...
Frank Pfenning

Frank Pfenning

male
logical frameworks, Twelf, Proof Transformations in Higher-Order Logic, programming language theory, automateddeduction, Type theory…automated theorem proving
Frank Pfenning is a professor of computer science, and adjunct professor in the department of philosophy, at Carnegie Mellon University. He...
J Strother Moore

J Strother Moore

male
Fellow of the Association for Computing Machinery, Association for Computing Machinery, fellow, automateddeduction, Pentium FDIV bug, Herbrand Award…automated theorem proving
J Strother Moore is a computer scientist, and is co-developer of the Boyer-Moore string search algorithm and the Boyer-Moore automated theorem...