25,161
edits
Changes
Created page with "'''Home * People * Richard C. T. Lee''' FILE:R.C.T.LeeKLHB20110126.jpg|border|right|thumb|200px| R. C. T. Lee <ref>[https://en.wikipedia.org/wiki/R._C._T...."
'''[[Main Page|Home]] * [[People]] * Richard C. T. Lee'''
[[FILE:R.C.T.LeeKLHB20110126.jpg|border|right|thumb|200px| R. C. T. Lee <ref>[https://en.wikipedia.org/wiki/R._C._T._Lee R. C. T. Lee from Wikipedia]</ref> ]]
'''Richard C. T. Lee''' (Chia-Tung Lee, Chyi-Tong Le),<br/>
a Taiwanese electrical engineer, computer scientiest and professor and former president of [https://en.wikipedia.org/wiki/National_Chi_Nan_University National Chi Nan University], [https://en.wikipedia.org/wiki/Puli,_Nantou Puli, Nantou], where he after the devastating [https://en.wikipedia.org/wiki/921_earthquake 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 [https://en.wikipedia.org/wiki/Taipei Taipei] <ref>[https://en.wikipedia.org/wiki/National_Chi_Nan_University National Chi Nan University from Wikipedia]</ref>. R. C. T. Lee is a [https://en.wikipedia.org/wiki/Humanitarianism humanitarian] and has been serving the underprivileged since he was in the college <ref>[http://www.peachfoundationusa.org/servlet/PEACHServlet?action=display&page=/english/about_peach/who_we_are Peach Foundation - Who We Are]</ref> <ref>[http://erdos.csie.ncnu.edu.tw/~rctlee/Poverty/ Who Concerns about Poverty?]</ref>.
=Biography=
R. C. T. Lee was born in [https://en.wikipedia.org/wiki/Shanghai Shanghai], [https://en.wikipedia.org/wiki/China 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 [https://en.wikipedia.org/wiki/NCR_Corporation NCR], and along with [[Chin-Liang Chang]], [[James R. Slagle]], and [[John K. Dixon]] at [https://en.wikipedia.org/wiki/National_Institutes_of_Health National Institutes of Health], [https://en.wikipedia.org/wiki/Bethesda,_Maryland Bethesda, Maryland] and [https://en.wikipedia.org/wiki/Naval_Research_Laboratory Naval Research Laboratory], [https://en.wikipedia.org/wiki/Washington_DC Washington, D.C.].
He returned to Taiwan in 1975 to start his teaching career in [https://en.wikipedia.org/wiki/National_Tsing_Hua_University National Tsing Hua University], [https://en.wikipedia.org/wiki/Hsinchu Hsinchu], [https://en.wikipedia.org/wiki/Providence_University Providence University] in [https://en.wikipedia.org/wiki/Shalu_District Shalu], and since 1999 Chi Nan University <ref>[http://erdos.csie.ncnu.edu.tw/%7Erctlee/Eng_profiles.html R. C. T. Lee Introduction]</ref> . His research interests includes a broad range of [https://en.wikipedia.org/wiki/Mathematical_logic Symbolic Logic], [https://en.wikipedia.org/wiki/Fuzzy_logic Fuzzy Logic], [https://en.wikipedia.org/wiki/Automated_theorem_proving Mechanical Theorem Proving], [[Pattern Recognition]], [https://en.wikipedia.org/wiki/Cluster_analysis Clustering Analysis], [https://en.wikipedia.org/wiki/Database_design Database Design], and sequential and parallel [[Algorithms|Algorithm Design]].
=Selected Publications=
<ref>[http://erdos.csie.ncnu.edu.tw/%7Erctlee/Eng_publication.html R .C. T. Lee's Publications ]</ref> <ref>[http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lee:Richard_C=_T=.html DBLP: Richard C. T. Lee]</ref>
* [[James R. Slagle]], [[Chin-Liang Chang]], [[Richard C. T. Lee]] ('''1969'''). ''Completeness Theorems for Semantic Resolution In Consequence-Finding''. [[Conferences#IJCAI|IJCAI-69]], [http://ijcai.org/Past%20Proceedings/IJCAI-69/PDF/028.pdf pdf]
* [[James R. Slagle]], [[Chin-Liang Chang]], [[Richard C. T. Lee]] ('''1970'''). ''[http://portal.acm.org/citation.cfm?id=1310139.1310332&coll=DL&dl=GUIDE&CFID=27479742&CFTOKEN=16394760 A New Algorithm for Generating Prime Implicants]''. [https://en.wikipedia.org/wiki/IEEE_Transactions_on_Computers IEEE Transactions on Computers], Vol. 19, No. 4
* [[James R. Slagle]], [[Richard C. T. Lee]] ('''1971'''). ''[http://portal.acm.org/citation.cfm?id=362515.362562 Application of game tree searching techniques to sequential pattern recognition]''. [[ACM#Communications|Communications of the ACM]], Vol. 14, No. 2
* [[Chin-Liang Chang]], [[Richard C. T. Lee]], [[John K. Dixon]] ('''1973'''). ''The Specialization of Programs by Theorem Proving''. [https://en.wikipedia.org/wiki/SIAM_Journal_on_Computing SIAM Journal on Computing], Vol 2, No. 1
* [[Chin-Liang Chang]], [[Richard C. T. Lee]] ('''1973'''). ''Symbolic Logic and Mechanical Theorem Proving''. [https://en.wikipedia.org/wiki/Academic_Press Academic Press]
* [[Richard C. T. Lee]], S. S. Tseng, R. C. Chang, Y. T. Tsai ('''2005'''). ''Introduction to the Design and Analysis of Algorithms, a Strategic Approach''. [https://en.wikipedia.org/wiki/McGraw-Hill McGraw-Hill]
=External Links=
* [https://en.wikipedia.org/wiki/R._C._T._Lee R. C. T. Lee from Wikipedia]
* [http://genealogy.math.ndsu.nodak.edu/id.php?id=100236 The Mathematics Genealogy Project - Chia-Tung Lee]
* [http://www.ruf.rice.edu/%7Etnchina/commentary/rctlee0900.html Transnational China Project Commentary: R.C.T. Lee on The Serious Problems Facing Mankind], September 15, 2000
=References=
<references />
'''[[People|Up one level]]'''
[[FILE:R.C.T.LeeKLHB20110126.jpg|border|right|thumb|200px| R. C. T. Lee <ref>[https://en.wikipedia.org/wiki/R._C._T._Lee R. C. T. Lee from Wikipedia]</ref> ]]
'''Richard C. T. Lee''' (Chia-Tung Lee, Chyi-Tong Le),<br/>
a Taiwanese electrical engineer, computer scientiest and professor and former president of [https://en.wikipedia.org/wiki/National_Chi_Nan_University National Chi Nan University], [https://en.wikipedia.org/wiki/Puli,_Nantou Puli, Nantou], where he after the devastating [https://en.wikipedia.org/wiki/921_earthquake 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 [https://en.wikipedia.org/wiki/Taipei Taipei] <ref>[https://en.wikipedia.org/wiki/National_Chi_Nan_University National Chi Nan University from Wikipedia]</ref>. R. C. T. Lee is a [https://en.wikipedia.org/wiki/Humanitarianism humanitarian] and has been serving the underprivileged since he was in the college <ref>[http://www.peachfoundationusa.org/servlet/PEACHServlet?action=display&page=/english/about_peach/who_we_are Peach Foundation - Who We Are]</ref> <ref>[http://erdos.csie.ncnu.edu.tw/~rctlee/Poverty/ Who Concerns about Poverty?]</ref>.
=Biography=
R. C. T. Lee was born in [https://en.wikipedia.org/wiki/Shanghai Shanghai], [https://en.wikipedia.org/wiki/China 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 [https://en.wikipedia.org/wiki/NCR_Corporation NCR], and along with [[Chin-Liang Chang]], [[James R. Slagle]], and [[John K. Dixon]] at [https://en.wikipedia.org/wiki/National_Institutes_of_Health National Institutes of Health], [https://en.wikipedia.org/wiki/Bethesda,_Maryland Bethesda, Maryland] and [https://en.wikipedia.org/wiki/Naval_Research_Laboratory Naval Research Laboratory], [https://en.wikipedia.org/wiki/Washington_DC Washington, D.C.].
He returned to Taiwan in 1975 to start his teaching career in [https://en.wikipedia.org/wiki/National_Tsing_Hua_University National Tsing Hua University], [https://en.wikipedia.org/wiki/Hsinchu Hsinchu], [https://en.wikipedia.org/wiki/Providence_University Providence University] in [https://en.wikipedia.org/wiki/Shalu_District Shalu], and since 1999 Chi Nan University <ref>[http://erdos.csie.ncnu.edu.tw/%7Erctlee/Eng_profiles.html R. C. T. Lee Introduction]</ref> . His research interests includes a broad range of [https://en.wikipedia.org/wiki/Mathematical_logic Symbolic Logic], [https://en.wikipedia.org/wiki/Fuzzy_logic Fuzzy Logic], [https://en.wikipedia.org/wiki/Automated_theorem_proving Mechanical Theorem Proving], [[Pattern Recognition]], [https://en.wikipedia.org/wiki/Cluster_analysis Clustering Analysis], [https://en.wikipedia.org/wiki/Database_design Database Design], and sequential and parallel [[Algorithms|Algorithm Design]].
=Selected Publications=
<ref>[http://erdos.csie.ncnu.edu.tw/%7Erctlee/Eng_publication.html R .C. T. Lee's Publications ]</ref> <ref>[http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lee:Richard_C=_T=.html DBLP: Richard C. T. Lee]</ref>
* [[James R. Slagle]], [[Chin-Liang Chang]], [[Richard C. T. Lee]] ('''1969'''). ''Completeness Theorems for Semantic Resolution In Consequence-Finding''. [[Conferences#IJCAI|IJCAI-69]], [http://ijcai.org/Past%20Proceedings/IJCAI-69/PDF/028.pdf pdf]
* [[James R. Slagle]], [[Chin-Liang Chang]], [[Richard C. T. Lee]] ('''1970'''). ''[http://portal.acm.org/citation.cfm?id=1310139.1310332&coll=DL&dl=GUIDE&CFID=27479742&CFTOKEN=16394760 A New Algorithm for Generating Prime Implicants]''. [https://en.wikipedia.org/wiki/IEEE_Transactions_on_Computers IEEE Transactions on Computers], Vol. 19, No. 4
* [[James R. Slagle]], [[Richard C. T. Lee]] ('''1971'''). ''[http://portal.acm.org/citation.cfm?id=362515.362562 Application of game tree searching techniques to sequential pattern recognition]''. [[ACM#Communications|Communications of the ACM]], Vol. 14, No. 2
* [[Chin-Liang Chang]], [[Richard C. T. Lee]], [[John K. Dixon]] ('''1973'''). ''The Specialization of Programs by Theorem Proving''. [https://en.wikipedia.org/wiki/SIAM_Journal_on_Computing SIAM Journal on Computing], Vol 2, No. 1
* [[Chin-Liang Chang]], [[Richard C. T. Lee]] ('''1973'''). ''Symbolic Logic and Mechanical Theorem Proving''. [https://en.wikipedia.org/wiki/Academic_Press Academic Press]
* [[Richard C. T. Lee]], S. S. Tseng, R. C. Chang, Y. T. Tsai ('''2005'''). ''Introduction to the Design and Analysis of Algorithms, a Strategic Approach''. [https://en.wikipedia.org/wiki/McGraw-Hill McGraw-Hill]
=External Links=
* [https://en.wikipedia.org/wiki/R._C._T._Lee R. C. T. Lee from Wikipedia]
* [http://genealogy.math.ndsu.nodak.edu/id.php?id=100236 The Mathematics Genealogy Project - Chia-Tung Lee]
* [http://www.ruf.rice.edu/%7Etnchina/commentary/rctlee0900.html Transnational China Project Commentary: R.C.T. Lee on The Serious Problems Facing Mankind], September 15, 2000
=References=
<references />
'''[[People|Up one level]]'''
