R. C. T. Lee

From Wikipedia, the free encyclopedia

R. C. T. Lee (Chinese: 李家同; born 1939), also known as Richard C. T. Lee or Chia-Tung Lee, received his B. Sc. degree from the Department of Electrical Engineering of National Taiwan University and Ph. D. degree from the Department of Electrical Engineering and Computer Science from University of California, Berkeley. He is a professor of both the Computer Science and Information Engineering Department and Information Management Department of National Chi Nan University. Professor Lee is an IEEE fellow. He co-authored Symbolic Logic and Mechanical Theorem Proving, which has been translated into Japanese, Russian and Italian.

[edit] Books written by R. C. T. Lee

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

[edit] External links

• R. C. T. Lee's homepage
• Talk Given at Rice University on September 15, 2000

Academic offices
Preceded by Liu Chao-shiuan	President of National Tsing Hua University 1993-1994	Succeeded by Shen Chun-shan