Strangely enough, formal scoringis used for Scholastic Aptitude Test (SAT) and Graduate Record Examination (GRE) subjecttests, butnot for GRE General tests.
Kuo Chen-yuan, then the acting director of the university's computer center and the designer of its computerized examination grading and scoring system.