Richard C. T. Lee (Chia-Tung Lee),
a Taiwanese electrical engineer, computer scientiest and professor and former president of National Chi Nan University, Puli, Nantou, where he after the devastating 921 earthquake on 21 September 1999 led the three-day evacuation of the entire student body and the provisional relocation to the campus of National Taiwan University in Taipei^{[1]}. R. C. T. Lee is a humanitarian and has been serving the underprivileged since he was in the college ^{[2]}^{[3]}.

Home * People * Richard C. T. LeeRichard C. T. Lee(Chia-Tung Lee),a Taiwanese electrical engineer, computer scientiest and professor and former president of National Chi Nan University, Puli, Nantou, where he after the devastating 921 earthquake on 21 September 1999 led the three-day evacuation of the entire student body and the provisional relocation to the campus of National Taiwan University in Taipei

^{[1]}. R. C. T. Lee is a humanitarian and has been serving the underprivileged since he was in the college^{[2]}^{[3]}.^{[4]}## Table of Contents

## Biography

R. C. T. Lee was born in Shanghai, China, 1939. He received his B.S. degree in electrical engineering from the Department of Electrical Engineering of National Taiwan University in 1961, M.S. and Ph.D. degrees from the Department of Electrical Engineering and Computer Science of the University of California, Berkeley in 1963 and 1967 respectively. He worked for NCR, and along with Chin-Liang Chang, James R. Slagle, and John K. Dixon at National Institutes of Health, Bethesda, Maryland and Naval Research Laboratory, Washington, D.C..He returned to Taiwan in 1975 to start his teaching career in National Tsing Hua University, Hsinchu, Providence University in Shalu, and since 1999 Chi Nan University

^{[5]}. His research interests includes a broad range of Symbolic Logic, Fuzzy Logic, Mechanical Theorem Proving, Pattern Recognition, Clustering Analysis, Database Design, and sequential and parallel Algorithm Design.## Selected Publications

^{[6]}^{[7]}1969).Completeness Theorems for Semantic Resolution In Consequence-Finding. IJCAI-69, pdf1970).A New Algorithm for Generating Prime Implicants. IEEE Transactions on Computers, Vol. 19, No. 41971).Application of game tree searching techniques to sequential pattern recognition. Communications of the ACM, Vol. 14, No. 21973).The Specialization of Programs by Theorem Proving. SIAM Journal on Computing, Vol 2, No. 11973).Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York, 19732005).Introduction to the Design and Analysis of Algorithms, a Strategic Approach. McGraw-Hill, ISBN-13: 978-0071243469, amazon## External Links

## References

## What links here?

Up one level