R. C. T. Lee also known as Richard C. T. Lee, received his B. Sc. degree from the Department of Electrical Engineering of National Taiwan University

National Taiwan University

National Taiwan University is a national co-educational university located in Taipei, Republic of China . In Taiwan, it is colloquially known as "Táidà" . Its main campus is set upon 1,086,167 square meters in Taipei's Da'an District. In addition, the university has 6 other campuses in Taiwan,...

 and Ph. D. degree from the Department of Electrical Engineering and Computer Science from University of California, Berkeley

University of California, Berkeley

The University of California, Berkeley , is a teaching and research university established in 1868 and located in Berkeley, California, USA...

. He is a professor of both the Computer Science and Information Engineering Department and Information Management Department of National Chi Nan University

National Chi Nan University

National Chi Nan University is located in the town of Puli, Nantou County, Taiwan, Republic of China.- Founding of the University:The National Chi Nan University Planning Committee was established on 1 March 1991 in order to establish a university with the following missions:# To provide more...

. Professor Lee is an IEEE fellow. He co-authored Symbolic Logic and Mechanical Theorem Proving, which has been translated into Japanese, Russian and Italian.

• Introduction to the Design and Analysis of Algorithms
• Symbolic Logic and Mechanical Theorem Proving

• R.