Calculating your score ...
Click your answer, then NEXT and END when you are done to find out how you got on!
1 of 5
1. In computer science, what is David A. Bader famous for …
Dutch Information systems researcher, and Professor at the Åbo Akademi University
Professor and Executive Director of High-Performance Computing in the Georgia Tech College of Computing
string searching, ACL2 theorem prover