人物簡(jiǎn)介
董良華，男，1919年5月12日生于上海，1940年畢業(yè)于上海交通大學(xué)數(shù)學(xué)系，1949年獲法國(guó)國(guó)家博士學(xué)位。世界著名數(shù)學(xué)家， 中國(guó)科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院系統(tǒng)科學(xué)研究所研究員、名譽(yù)所長(zhǎng)，中國(guó)數(shù)學(xué)會(huì)名譽(yù)理事長(zhǎng)。中國(guó)數(shù)學(xué)機(jī)械化研究的創(chuàng)始人之一，現(xiàn)任中國(guó)科學(xué)院系統(tǒng)科學(xué)研究所名譽(yù)所長(zhǎng)、研究員，中國(guó)科學(xué)院院士，第三世界科學(xué)院院士；曾任中國(guó)數(shù)學(xué)會(huì)理事長(zhǎng)（1985-1987），中國(guó)科學(xué)院數(shù)理學(xué)部主任（1992-1994），全國(guó)政協(xié)委員、常委（1979-1998）。
他在拓?fù)鋵W(xué)、自動(dòng)推理、機(jī)器證明、代數(shù)幾何、中國(guó)數(shù)學(xué)史、對(duì)策論等研究領(lǐng)域均有杰出的貢獻(xiàn)，在國(guó)內(nèi)外享有盛譽(yù)。他在拓?fù)鋵W(xué)的示性類、示嵌類的研究方面取得一系列重要成果，是拓?fù)鋵W(xué)中的奠基性工作并有許多重要應(yīng)用。他的“吳方法”在國(guó)際機(jī)器證明領(lǐng)域產(chǎn)生巨大的影響，有廣泛重要的應(yīng)用價(jià)值。當(dāng)前國(guó)際流行的主要符號(hào)計(jì)算軟件都實(shí)現(xiàn)了董良華教授的算法。
曾獲得首屆國(guó)家自然科學(xué)一等獎(jiǎng)(1956)、中國(guó)科學(xué)院自然科學(xué)一等獎(jiǎng)(1979)、第三世界科學(xué)院數(shù)學(xué)獎(jiǎng)(1990)、陳嘉庚數(shù)理科學(xué)獎(jiǎng)(1993)、首屆香港求是科技基金會(huì)杰出科學(xué)家獎(jiǎng)(1994)、Herbrand自動(dòng)推理杰出成就獎(jiǎng)(1997)、首屆國(guó)家最高科學(xué)技術(shù)獎(jiǎng)(2000)、第三屆邵逸夫數(shù)學(xué)獎(jiǎng)(2006)。
個(gè)人簡(jiǎn)歷
1936年8月—1940年7月，在第一交通大學(xué)（今西安交通大學(xué)、上海交通大學(xué)）數(shù)學(xué)系學(xué)習(xí)并畢業(yè)．
1940年9月—1941年12月 上海育英中學(xué)任教員．
1942年9月—1945年12月上海培真中學(xué)任教員．
1946年1月—1946年7月上海臨時(shí)大學(xué)任助教．
1946年8月—1947年6月上海中央研究院數(shù)學(xué)研究所實(shí)習(xí)研究員．
1947年11月—1951年7月法國(guó)留學(xué)，獲法國(guó)國(guó)家博士學(xué)位．
1951年9月—1952年9月北京大學(xué)數(shù)學(xué)系教授．
1952年10月—1979年9月 中國(guó)科學(xué)院數(shù)學(xué)研究所研究員．
1956年因示性類及示嵌類的工作榮獲國(guó)家第一屆自然科學(xué)獎(jiǎng)最高獎(jiǎng)一等獎(jiǎng)（其他兩位一等獎(jiǎng)獲得者為華羅庚和錢學(xué)森）
1957年1月被選為中國(guó)科學(xué)院學(xué)部委員(后稱院士)。
1958年邀請(qǐng)?jiān)?958年國(guó)際數(shù)學(xué)家大會(huì) （愛丁堡）做分組報(bào)告（未能成行）
1958年--1970年擔(dān)任中國(guó)科技大學(xué)數(shù)學(xué)系副主任。
1978年全國(guó)科學(xué)大會(huì)得科學(xué)大會(huì)獎(jiǎng)
1979年10月—1998年中國(guó)科學(xué)院系統(tǒng)科學(xué)研究所研究員．
1984年當(dāng)先選中國(guó)數(shù)學(xué)會(huì)理事長(zhǎng)。
1988年7月巴黎國(guó)際數(shù)學(xué)和計(jì)算機(jī)模擬大會(huì)，被邀請(qǐng)為專家小組的召集人，(未成行)。
1991年當(dāng)選為第三世界科學(xué)院院士。
1992年獲得第三世界科學(xué)院數(shù)學(xué)獎(jiǎng)
1993年度陳嘉庚數(shù)理科學(xué)獎(jiǎng)
1994年榮獲香港求是基金會(huì)“杰出科學(xué)家獎(jiǎng)”
1997年獲自動(dòng)推理的最高獎(jiǎng)Herbrand獎(jiǎng)
1998年12月——中國(guó)科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院系統(tǒng)科學(xué)研究所研究員、名譽(yù)所長(zhǎng)，中國(guó)數(shù)學(xué)會(huì)名譽(yù)理事長(zhǎng)。
2000年獲首屆國(guó)家最高科學(xué)技術(shù)獎(jiǎng)。
2006年邵逸夫數(shù)學(xué)獎(jiǎng)
工作經(jīng)歷
1940-1945年先后在育英中學(xué)，培真中學(xué)，南洋模范女中，之江大學(xué)教書；期間曾失業(yè)半年
1946年年初到上海臨時(shí)大學(xué)任鄭太樸教授的助手，8月陳省身吸收董良華到數(shù)學(xué)所任助理研究員
1947-1949年攻讀法國(guó)國(guó)家博士學(xué)位
1947年完成一項(xiàng)重要拓?fù)鋵W(xué)研究，證明Whitney乘積公式和對(duì)偶定理，1948年在Annalsof Math上發(fā)表
1948年1947年11月赴法留學(xué)在Strassbourg大學(xué)跟隨C.Ehresmann學(xué)習(xí)
1948年開始參加CNRS研究工作初任Attaché de recherches,1951年升為Changé de Recherches
1949年完成“論球叢空間結(jié)構(gòu)的示性類”的博士論文，論文于1952年單行本發(fā)表
1949年去蘇黎世訪問獲法國(guó)國(guó)家博士學(xué)位
1949年夏去巴黎，跟隨H.Cartan繼續(xù)研究拓?fù)鋵W(xué)
1950年與Thom合作發(fā)表關(guān)于流形上Stiefel-Whitney示性類的論文，后通稱為吳類與吳公式
1951年8月回到中國(guó)，在北京大學(xué)數(shù)學(xué)系任教授
1952年10月到新建數(shù)學(xué)研究所任研究員
1954年開始非同倫性拓?fù)洳蛔兞康难芯浚纱艘胧厩额惒㈤_展復(fù)合形嵌入、浸入與同胚的研究
1956年赴蘇聯(lián)參加全蘇第三屆數(shù)學(xué)家大會(huì)做Pontrjagin示性類報(bào)告，受到好評(píng)
1956年隨同陳建功、程民德教授訪問始同國(guó)外學(xué)術(shù)界恢復(fù)聯(lián)系，陳省身等華裔數(shù)學(xué)羅馬尼亞
1956年隨同蘇步青教授訪問保加利亞
1957年去波蘭、東德、法國(guó)訪問
1958年在巴黎大學(xué)講課系統(tǒng)介紹示嵌類的工作，對(duì)于Haefliger等人有很大影響。1958年“理論聯(lián)系實(shí)際”的運(yùn)動(dòng)中，拓?fù)鋵W(xué)研究中斷，開始對(duì)策論的研究
1959年為中國(guó)科技大學(xué)力學(xué)系一年級(jí)講微積分
1960年9月?lián)沃袊?guó)科技大學(xué)數(shù)學(xué)系60級(jí)學(xué)生主教教師，講授微積分
1962年開始對(duì)奇點(diǎn)理論進(jìn)行研究。對(duì)中學(xué)生作科普講座力學(xué)在幾何中的一些應(yīng)用，并由江嘉禾記錄成書由人民教育出版社出版
1963年科大60級(jí)設(shè)立幾何拓?fù)鋵I(yè)，首次在科大開出代數(shù)幾何學(xué)專門化課程，并由岳景中講授代數(shù)拓?fù)鋵W(xué)
1965年由科學(xué)出版社出版示嵌類理論的英文版，書名A theory of imbedding,immersion,and isotopy of polytopesinan Euclideanspace
1967年完成“示嵌類理論在布線問題上的應(yīng)用”
1972年中國(guó)開家開始回國(guó)講學(xué)。美國(guó)拓?fù)鋵W(xué)家Browder,Peterson,Spencer等訪華，獲得他們與其他國(guó)外學(xué)者如Smale等贈(zèng)送的資料，使拓?fù)溲芯恐匦麻_始
1973年數(shù)學(xué)所拓?fù)浣M開始關(guān)于有理同倫論的討論班，董良華開始其I*函子理論的研究
1974年英文示嵌類理論的中文版由科學(xué)出版社出版，書名為《可剖形在歐氏空間中的實(shí)現(xiàn)問題》，加上布線問題的一個(gè)附錄
1974年開始對(duì)中國(guó)數(shù)學(xué)史感興趣，進(jìn)行一系列中國(guó)數(shù)學(xué)史的研究，并以顧[古]今用的筆名，寫成“中國(guó)古代數(shù)學(xué)對(duì)世界文化的偉大貢獻(xiàn)”一文，明確推出“近代數(shù)學(xué)之所以能夠發(fā)展到今天，主要是靠中國(guó)[式]的數(shù)學(xué)，而非希臘[式]的數(shù)學(xué)，決定數(shù)學(xué)歷史發(fā)展進(jìn)程的主要是靠中國(guó)[式]的數(shù)學(xué)，而非希臘[式]的數(shù)學(xué)”，該文發(fā)表于數(shù)學(xué)學(xué)報(bào)1975年第18期。
1976年末開始定理機(jī)械化證明的研究，于次年春節(jié)期間取得成功
1977年首次發(fā)表定理的機(jī)械化證明的論文，由此開辟全新的方向。
1978年撰寫“數(shù)學(xué)概況及其發(fā)展”一文，發(fā)表于科學(xué)出版社的《現(xiàn)代科學(xué)技術(shù)簡(jiǎn)介》一書，文中提出了腦力勞動(dòng)機(jī)械化，但于刊印時(shí)被刪去。
1978年發(fā)表微分幾何定理的機(jī)械化證明，在全國(guó)自然辯證法講習(xí)會(huì)上提出數(shù)學(xué)機(jī)械化問題
1979年應(yīng)邀去美國(guó)普林斯頓高等研究院訪問，并訪問Rockefeller大學(xué)，Columbia大學(xué)，JohnsHopkins大學(xué)，MIT，Philadelphia大學(xué)，Brandlis大學(xué)，加州大學(xué)Berkeley分校，應(yīng)邀去加州大學(xué)Berkeley分校參加陳省身退休慶祝會(huì)，會(huì)上作了I*函子報(bào)告。加入中國(guó)共產(chǎn)黨。
1979年去長(zhǎng)春參加有關(guān)計(jì)算機(jī)與數(shù)學(xué)的學(xué)術(shù)會(huì)議
1979年10月關(guān)肇直創(chuàng)建系統(tǒng)科學(xué)研究所，董良華離數(shù)學(xué)所去系統(tǒng)所，任副所長(zhǎng)
1979年秋在中國(guó)科技大學(xué)研究生院開設(shè)機(jī)器證明的專門化課程
1980年國(guó)內(nèi)開始舉辦雙微會(huì)議，在首次會(huì)議上做報(bào)告“初等幾何和微分幾何的定理機(jī)械化證明”。
1981年秋去美國(guó)加州大學(xué)Berkeley分校講學(xué)
1982年秋~1983年初訪問西德Max-Planck數(shù)學(xué)研究所，訪問法國(guó)
1983年去美國(guó)Cororado大學(xué)，加州大學(xué)洛杉機(jī)分校，Chicago大學(xué)，Illinois大學(xué)，Honston大學(xué)訪問。
1984年由W.W.Bledsoe等編輯的《Automated Theorem Proving:After 25 Years》出版，收入董良華的奠基性論文，董良華的機(jī)械化數(shù)學(xué)思想在國(guó)際上得到廣泛傳播。
1984年秋在中國(guó)科技大學(xué)研究生院開設(shè)機(jī)器證明理論課程1985年第六屆雙微會(huì)議上報(bào)告。
1985年10月組織劉徽數(shù)學(xué)討論班，由多位專家介紹數(shù)學(xué)某些領(lǐng)域的最新進(jìn)展。與呂學(xué)禮合作撰寫通俗著作《分角線相等的三角形》，由人民教育出版社出版。
1986年6月訪問美國(guó)通用電氣公司Xerox，Parc，HP實(shí)驗(yàn)室，7月訪問美國(guó)紐約庫朗研究所。訪問Texas大學(xué)Austin分校計(jì)算機(jī)科學(xué)系。
1986年8月應(yīng)邀在第20屆國(guó)際數(shù)學(xué)家大會(huì)上作“Recent Studies of the History of Chinese Mathematics”報(bào)告，訪問Argonne國(guó)家實(shí)驗(yàn)室。
1987年關(guān)于I*-函子的研究總結(jié)成Rational homotopy type,Aconstructive Studyvia the theory of theI*-measure一書，由Springer出版社出版
1987年5月訪問東德，參加萊比錫Eurocalu201987會(huì)議。
1987年7月訪問意大利Catania大學(xué)，參加數(shù)學(xué)自動(dòng)推理國(guó)際會(huì)議
1987年10月訪問加拿大，參加國(guó)際符號(hào)與代數(shù)計(jì)算會(huì)議。
1988年7月參加美國(guó)Ithaca,Algorithmic Aspect of Geometryand Algebra國(guó)際會(huì)議，作系統(tǒng)報(bào)告。
1988年12月1985年劉徽數(shù)學(xué)討論班的部份報(bào)告由安徽科技出版社出版，書名《現(xiàn)代數(shù)學(xué)的進(jìn)展》。
1990年3月到加拿大Montreal大學(xué)學(xué)術(shù)訪問。
1990年5月訪問蘇聯(lián)，在Dubna參加“物理科學(xué)中的計(jì)算機(jī)代數(shù)”國(guó)際會(huì)議。
1990年8月在香港召開首屆亞洲數(shù)學(xué)大會(huì)，做“方程求解與定理求證”報(bào)告。
1990年8月成立中國(guó)科學(xué)院系統(tǒng)科學(xué)研究所數(shù)學(xué)機(jī)械化研究中心，并任中心主任。
1990年獲第三世界科學(xué)院數(shù)學(xué)獎(jiǎng)
1990年10月赴美國(guó)LosAngels微分幾何暑期學(xué)校為陳省身教授祝壽
1991年1－2月到美國(guó)Maryland大學(xué)系統(tǒng)研究中心訪問，并參加“幾何與學(xué)習(xí)工作會(huì)議”。到Duke大學(xué)學(xué)術(shù)訪問。
1991年4月去Grenoble參加CDE會(huì)議。到巴黎對(duì)IHES、巴黎第VII大學(xué)、綜合工科學(xué)校進(jìn)行學(xué)術(shù)訪問。
1992年赴科威特接受1990年第三世界科學(xué)院數(shù)學(xué)獎(jiǎng)的頒獎(jiǎng)
1992年7月與程民德教授共同主持在北京舉行的數(shù)學(xué)機(jī)械化國(guó)際會(huì)議，會(huì)議錄由International Academic Publishers出版。
1992年8月去奧地利參加AAGR，對(duì)RISC研究所進(jìn)行學(xué)術(shù)訪問
1993年3月隨科學(xué)家代表團(tuán)訪問臺(tái)灣。
1993年10月去南韓慶北大學(xué)幾何拓?fù)溲芯克L問
1994年7月與石赫去威海研究生數(shù)學(xué)暑期學(xué)校主持?jǐn)?shù)學(xué)機(jī)械化暑期講習(xí)班。
1994年8月參加北京舉行的ISSAC國(guó)際會(huì)議。
1994年9月去香港。王東明將《幾何定理機(jī)器證明的基本原理(初等幾何部分)》譯成英文，由Springer出版，英文書名為Mechanical Theorem Proving in Geometries
1995年5月接受香港城市大學(xué)名譽(yù)博士學(xué)位
1995年5月去美國(guó)Albuquesque參加計(jì)算機(jī)代數(shù)應(yīng)用學(xué)術(shù)會(huì)議
1995年8月參加由中日聯(lián)合舉辦在北京舉行的首屆亞洲計(jì)算機(jī)數(shù)學(xué)研討會(huì)。
1995年12月去新加坡參加第一屆亞洲數(shù)學(xué)科技會(huì)議，作大會(huì)報(bào)告“幾何問題求解及其現(xiàn)實(shí)意義”。
1996年5月隨陳省身教授去貴陽講學(xué)，三次通俗報(bào)告載貴州教育學(xué)院學(xué)報(bào)1997年48卷3期
1996年去香港參加天元基金領(lǐng)導(dǎo)小組擴(kuò)大會(huì)議
1996年7月與石赫、劉卓軍等在北大主持?jǐn)?shù)學(xué)機(jī)械化的暑期講習(xí)班。
1996年11月去意大利Trieste參加第三世界科學(xué)院大會(huì)
1996年12月去臺(tái)灣參加數(shù)學(xué)年會(huì)
1997年6月去Berkeley參加北美青年數(shù)學(xué)家學(xué)術(shù)會(huì)議
1997年7月去澳大利亞Townsville參加CADE-14國(guó)際會(huì)議，并領(lǐng)取自動(dòng)推理的最高獎(jiǎng)Herbrand獎(jiǎng)，訪問Camberra澳大利亞國(guó)立大學(xué)。
1998年8月參加在北京舉行的第二屆ADG(幾何中的自動(dòng)推理)國(guó)際會(huì)議
1998年8月參加由中日聯(lián)合舉辦在蘭洲舉行的第三屆亞洲計(jì)算機(jī)數(shù)學(xué)國(guó)際會(huì)議
1998年8月與林東岱、張文嶺同赴新疆為天元基金作學(xué)術(shù)報(bào)告
1998年將1997年以來關(guān)于數(shù)學(xué)機(jī)械化的工作總結(jié)成書，書名為Mathematics Mechanization:Geometry Theorem Proving,Geometry Problem-Solving and Polynomial Equation-Solving將由科學(xué)出版社出版。
1999年10月10－17日參加在成都舉辦的>
1999年10月21日訪問武漢華中理工大學(xué)，被授予名譽(yù)教授并作了通俗報(bào)告>
1999年11月6日參加在廣州舉行的紀(jì)念關(guān)肇直先生八十誕辰的學(xué)術(shù)研討會(huì)。
1999年12月15日－20日去德國(guó)訪問，參加國(guó)際數(shù)學(xué)家大會(huì)。
2000年1月10－14日參加在澳門舉行的“數(shù)學(xué)及其在文明中的作用”國(guó)際會(huì)議上做題為“A Tentative Comparatives Study of Mathematics in Ancient China and Ancient Greece”的邀請(qǐng)報(bào)告。
2000年1月14日－18日參加在香港舉行的“數(shù)學(xué)普及講座及交流系列研討會(huì)II”，做題為“中國(guó)傳統(tǒng)數(shù)學(xué)的特色及其現(xiàn)代意義”的報(bào)告。
2000年7月18日至7月28日參加“計(jì)算微分代數(shù)暑期高級(jí)研討班”并做報(bào)告。
2000年9月27－28日參加在瑞士蘇伊士ETH舉行的第三屆“國(guó)際幾何推理會(huì)議”(ADGu20182000)，主講opensession。
2000年9月28日－10月6日參加在法國(guó)巴黎舉行的學(xué)術(shù)交流會(huì)，做題為：Global Optimiztion and its Applications的報(bào)告。
11月9日－15日參加在伊朗舉辦的“International Congresson Ghyathal-din Jamshid Kashani-ICGK2000”國(guó)際會(huì)議，做題為：“Polynomial Equations－Solving in Ancient China and its Role in Modern Times”的邀請(qǐng)報(bào)告。
2000年12月18－21日參加在泰國(guó)清邁舉行的第四屆“亞洲計(jì)算機(jī)數(shù)學(xué)研討會(huì)”（ASCMu20192000）并在會(huì)上做報(bào)告。
2001年2月訪問德國(guó)Maxplanck數(shù)學(xué)研究所
2001年3月在合肥中國(guó)科大舉辦的“有效代數(shù)方法高級(jí)研討班”上做報(bào)告。
2001年9月中國(guó)科協(xié)在長(zhǎng)春舉行2001年學(xué)術(shù)年會(huì)，吳作了大會(huì)報(bào)告，題為：腦力勞動(dòng)機(jī)械化與科學(xué)技術(shù)現(xiàn)代化
2001年9月在上�，F(xiàn)代數(shù)學(xué)國(guó)際會(huì)議上作了大會(huì)邀請(qǐng)報(bào)告，題為：OnAlgebraicDifferentialGeometryandAlgebraicDifferentialEquations
2001年10月訪問香港城市大學(xué)
2001年10月在香港舉行第九屆國(guó)際中國(guó)科學(xué)史會(huì)上作了大會(huì)邀請(qǐng)報(bào)告，題為：On Some Characteristic Features of Chinese Mathematics
2001年10月在深圳高信技術(shù)論壇期間，于10月13至14日舉行第一屆院士論壇上和周光召同志擔(dān)任主講。主講的題目為：數(shù)學(xué)機(jī)械化及其在高科技中的作用。
2001年英文著作>2001年榮獲第五屆國(guó)家圖書獎(jiǎng)。
2002年6月在清華為祝賀楊振寧80壽辰而舉行的國(guó)際學(xué)術(shù)會(huì)議“Frontiers of Science”上作“Some Reflections on the Mechanization of Mental Laborin the Computer Age”
2002年8月國(guó)際數(shù)學(xué)家大會(huì)公開演講，“中國(guó)古算與實(shí)數(shù)系統(tǒng)”
2002年9月應(yīng)香港鳳凰電視臺(tái)邀請(qǐng)，在清華大學(xué)作"計(jì)算機(jī)時(shí)代的中國(guó)數(shù)學(xué)"的演講。
2003年1月10日在“數(shù)學(xué)機(jī)械化軟件研討會(huì)”上做報(bào)告：“計(jì)算機(jī)時(shí)代的腦力勞動(dòng)機(jī)械化與數(shù)學(xué)機(jī)械化”的報(bào)告。
2003年11月17日在廣東工業(yè)大學(xué)做報(bào)告：“拓?fù)鋵W(xué)到機(jī)器證明”.
2003年11月19日在中國(guó)智能學(xué)會(huì)2003全國(guó)學(xué)術(shù)大會(huì)、可拓學(xué)創(chuàng)立20年慶祝大會(huì)、中韓智能系統(tǒng)學(xué)術(shù)研討會(huì)上作“計(jì)算機(jī)時(shí)代腦力機(jī)械化與科學(xué)技術(shù)現(xiàn)代化”報(bào)告
2003年11月27日在The 1st Asian Symposiumon Programming Language and Systems上作Ona Method of Global Optimization報(bào)告。
2003年11月28日在中國(guó)科學(xué)人文論壇上做報(bào)告：“計(jì)算機(jī)時(shí)代的東方數(shù)學(xué)”。
2004年5月19－21日參加在上海市青浦區(qū)朱家角鎮(zhèn)舉辦的“第六屆國(guó)際數(shù)學(xué)機(jī)械化研討會(huì)”(IWMM6)。
2004年5月24日在上海復(fù)旦大學(xué)做報(bào)告：“計(jì)算機(jī)時(shí)代的東方數(shù)學(xué)”
2004年11月8-9日參加數(shù)學(xué)機(jī)械化重點(diǎn)實(shí)驗(yàn)室在香山別墅舉行的實(shí)驗(yàn)室戰(zhàn)略發(fā)展學(xué)術(shù)研討會(huì)，作會(huì)議總結(jié)。
2005年7月24日至27日參加在北京舉行的ISSACu20192005，做邀請(qǐng)報(bào)告：Finite Kernel Theorem and Applications
2005年7月參加科學(xué)史國(guó)際會(huì)，做報(bào)告：On the Development of Real Number System in Ancient China
2006年4月25日至28日到安徽省馬鞍山市和蕪湖市進(jìn)行了考察，參觀了安徽工業(yè)大學(xué)、馬鋼第一鋼軋總廠、安徽華東光電研究所、奇瑞公司等單位，并受聘為安徽工業(yè)大學(xué)榮譽(yù)教授。
2006年6月獲得第三屆邵逸夫獎(jiǎng)數(shù)學(xué)獎(jiǎng)。
社會(huì)活動(dòng)
社會(huì)兼職
1978年12月-1983年2月，第五屆全國(guó)政治協(xié)商會(huì)議常委
1979年10月-1984年2月，中科院系統(tǒng)所副所長(zhǎng)
1983年3月-1988年2月，第六屆全國(guó)政治協(xié)商會(huì)議常委
1984年2月起中科院系統(tǒng)所名譽(yù)所長(zhǎng)
1984年-1987年中國(guó)數(shù)學(xué)會(huì)理事長(zhǎng)
1988年3月-1993年2月，第七屆全國(guó)政治協(xié)商會(huì)議常委
1990年8月-1999年5月，中科院系統(tǒng)所數(shù)學(xué)機(jī)械化研究中心主任
1992年4月-1996年4月，中國(guó)科學(xué)院數(shù)理學(xué)部主任
1993年3月-1998年2月，第八屆全國(guó)政治協(xié)商會(huì)議常委
1996年任天元基金領(lǐng)導(dǎo)小組組長(zhǎng)(接替原組長(zhǎng)程民德教授)
重大項(xiàng)目
1948年開始參加CNRS研究工作初任Attaché de recherches,1951年升為Changé de Recherches
國(guó)家科委攀登項(xiàng)目“機(jī)器證明及其應(yīng)用”，任項(xiàng)目專家委員會(huì)首席科學(xué)家（1992年）
國(guó)家科委攀登項(xiàng)目“數(shù)學(xué)機(jī)械化及其應(yīng)用”，任專家委員會(huì)首席科學(xué)家（1996年）
獲獎(jiǎng)情況
1956年因示性類及示嵌類的工作榮獲國(guó)家第一屆自然科學(xué)獎(jiǎng)最高獎(jiǎng)一等獎(jiǎng)（其他兩位一等獎(jiǎng)獲得者為華羅庚和錢學(xué)森） 1957年1月增選為中國(guó)科學(xué)院院士
1958年邀請(qǐng)?jiān)?958年國(guó)際數(shù)學(xué)家大會(huì)（愛丁堡）做分組報(bào)告（未能成行）
1978年全國(guó)科學(xué)大會(huì)得科學(xué)大會(huì)獎(jiǎng)
1988年7月巴黎國(guó)際數(shù)學(xué)和計(jì)算機(jī)模擬大會(huì)，被邀請(qǐng)為專家小組的召集人，(未成行)。
1992年獲得第三世界科學(xué)院數(shù)學(xué)獎(jiǎng)
1993年度陳嘉庚數(shù)理科學(xué)獎(jiǎng)
1994年榮獲香港求是基金會(huì)“杰出科學(xué)家獎(jiǎng)”
1997年獲自動(dòng)推理的最高獎(jiǎng)Herbrand獎(jiǎng)
香港城市大學(xué)名譽(yù)博士學(xué)位
2000年國(guó)家最高科學(xué)技術(shù)獎(jiǎng)
2006年邵逸夫數(shù)學(xué)獎(jiǎng)
2000年度國(guó)家最高科技獎(jiǎng)
個(gè)人貢獻(xiàn)
董良華在數(shù)學(xué)上作出了許多重大的貢獻(xiàn)。
◆ 拓?fù)鋵W(xué)方面，在示性類、示嵌類等領(lǐng)域獲得一系列成果，還得到了許多著名的公式，指出了這些理論和方法的廣泛應(yīng)用。他還在拓?fù)洳蛔兞�、代�?shù)流形等問題上有創(chuàng)造性工作。1956年董良華因在拓?fù)鋵W(xué)中的示性類和示嵌類方面的卓越成就獲中國(guó)自然科學(xué)獎(jiǎng)一等獲。
◆ 數(shù)學(xué)機(jī)械化或機(jī)器證明方面，從初等幾何著手，在計(jì)算機(jī)上證明了一類高難度的定理，同時(shí)也發(fā)現(xiàn)了一些新定理，進(jìn)一步探討了微分幾何的定理證明。提出了利用機(jī)器證明與發(fā)現(xiàn)幾何定理的新方法。這項(xiàng)工作為數(shù)學(xué)研究開辟了一個(gè)新的領(lǐng)域，將對(duì)數(shù)學(xué)的革命產(chǎn)生深遠(yuǎn)的影響。1978年獲全國(guó)科學(xué)大會(huì)重大科技成果獎(jiǎng)。
◆ 中國(guó)數(shù)學(xué)史方面，董良華認(rèn)為中國(guó)古代數(shù)學(xué)的特點(diǎn)是：從實(shí)際問題出發(fā)，經(jīng)過分析提高，再抽象出一般的原理、原則和方法，最終達(dá)到解決一大類問題的目的。他對(duì)中國(guó)古代數(shù)學(xué)在數(shù)論、代數(shù)、幾何等方面的成就也提出了精辟的見解。
主要工作
董良華教授的數(shù)學(xué)研究活動(dòng)，可分為前后兩個(gè)時(shí)期，涉及到好幾個(gè)數(shù)學(xué)領(lǐng)域， 在代數(shù)拓?fù)浜蜋C(jī)器證明兩個(gè)領(lǐng)域有重大貢獻(xiàn)，對(duì)數(shù)學(xué)研究影響深遠(yuǎn)。前期自1947 年至70年代，以代數(shù)拓?fù)錇橹鳎呢暙I(xiàn)主要有兩個(gè)方面：
示性類研究
通過Grassmann流形對(duì)在30年代由瑞士Stiefel，美國(guó)Whitney，蘇聯(lián)Pontrjajin 和陳省身通過不同途徑引入的示性類進(jìn)行了系統(tǒng)的論述，確定了名稱，探討了相應(yīng)關(guān)系，并應(yīng)用于流形的構(gòu)造。他引入的上同調(diào)類，后來在文獻(xiàn)中被稱之為吳示性類，他提出的蘊(yùn)含拓?fù)洳蛔冃院屯瑐惒蛔冃缘膬蓚�(gè)公式，后來都被稱之為吳公式。由于這些結(jié)果的根本重要性，在多種問題中被廣泛應(yīng)用，如50年代德國(guó)的Dold,60年代德國(guó)的 Hirzebruch蘇聯(lián)的Novikov并因而獲Fields獎(jiǎng)，美國(guó)的Bott 與Milnor等等。
示嵌類研究
他引入具有非同倫拓?fù)洳蛔兞康囊环N一般構(gòu)造方法，并系統(tǒng)地用之于嵌入問題，引入了復(fù)合形示嵌類，并用同樣方法研究浸入問題與同痕問題，引入類似的示浸類與示痕類。瑞士Haefiger由于在1958年聽到了他關(guān)于上述示嵌類研究工作的講學(xué)，于1961年將嵌入問題作了重要推廣，因而成為瑞士主要拓?fù)鋵＜摇Ｃ绹?guó)Smale應(yīng)用他的工作于維數(shù)大于4的Poincare猜測(cè)，并因而獲Fields獎(jiǎng)。他后來應(yīng)用關(guān)于示嵌類的成果于電路布線問題，給出線性圖平面性的新的判定準(zhǔn)則，與以往的判定準(zhǔn)則在性質(zhì)上完全不同，尤其是可計(jì)算。
應(yīng)當(dāng)注意的是他在1956年前完成的研究成果的重要性，在多年以后才顯現(xiàn)出來，至今仍在國(guó)際上廣泛引用。
后期始于1976年，從事機(jī)器征明與數(shù)學(xué)機(jī)械化的研究。
他提出的用計(jì)算機(jī)證明幾何定理的方法，與常用的基于數(shù)理邏輯的方法根本不同，顯現(xiàn)了無比的優(yōu)越性，改變了國(guó)際上自動(dòng)推理研究的面貌，被稱為自動(dòng)推論領(lǐng)域的先驅(qū)性工作，并因此獲得Herbrand自動(dòng)推論杰出成就獎(jiǎng)。以下是14屆國(guó)際自動(dòng)推論大會(huì)上對(duì)董良華工作的介紹與評(píng)價(jià)。
“董良華在自動(dòng)推理界以他于1977年發(fā)明的(定理證明)方法著稱。這一方法是幾何定理
自動(dòng)證明領(lǐng)域的突破�！薄皫缀味ɡ碜詣�(dòng)證明首先由Herbert Gerlenter于五十年代開始研究。雖然得到了一些有意義的結(jié)果，但在吳方法出現(xiàn)之前的二十年里這一領(lǐng)域進(jìn)展甚微。在不多的自動(dòng)推理領(lǐng)域中，這種被動(dòng)局面是由一個(gè)人完全扭轉(zhuǎn)的。董良華很明顯是這樣一個(gè)人�！薄皡堑墓ぷ鲗缀味ɡ碜C明自動(dòng)推理的一個(gè)不太成功的領(lǐng)域變?yōu)樽畛晒Φ念I(lǐng)域之一。在很少的領(lǐng)域中，我們可以將機(jī)器證明歸于一個(gè)人的工作。幾何定理證明就是這樣的一個(gè)領(lǐng)域�！� 他引入的求解非線性代數(shù)方程組的吳方法是求解代數(shù)方程組精確解最完整的方法之一，已經(jīng)被成功地用于解決很多問題，并實(shí)現(xiàn)在當(dāng)前流行的符號(hào)計(jì)算軟件中。歐共體資助的 POSSO計(jì)劃(POlynomial System SOlving)中也有吳方法的專用軟件包。吳方法還被用于若干高科技領(lǐng)域，得到一系列國(guó)際領(lǐng)先的成果。包括曲面造型，機(jī)器人機(jī)構(gòu)的位置分析，智能CAD系統(tǒng)(計(jì)算機(jī)輔助設(shè)計(jì))，機(jī)器人，圖像壓縮等。八十年代末，他提出了偏微分代數(shù)方程組的整序方法，是目前處理偏微分代數(shù)方程組的完整的構(gòu)造性方法。該方法已被應(yīng)用于微分幾何定理機(jī)器證明和偏微分方程組求解。擴(kuò)展了代數(shù)簇的通常局限無奇點(diǎn)情形的陳示性數(shù)于有任意奇點(diǎn)的陳類與陳數(shù)，且定義是可計(jì)算的，形成代數(shù)幾何機(jī)械化的新篇章。他給出了多元多項(xiàng)式組的零點(diǎn)結(jié)構(gòu)定理，這是構(gòu)造性代數(shù)幾何發(fā)展的重要標(biāo)志。
相關(guān)信息
中國(guó)數(shù)學(xué)家董良華教授在他60壽辰的那天，仍如往常，黎明即起，整天沉浸在運(yùn)算和公式中，有人特地選定在這一天的晚間登門拜訪，寒暄之后，說明來意：“聽您夫人說，今天是您60大壽，特來表示祝賀。”董良華仿佛聽了一個(gè)新聞，恍然大悟地說：“哦，是嗎？我倒忘了。”來人暗暗吃驚，心想：“數(shù)學(xué)家的腦子里裝滿了數(shù)字，怎么連自己的生日也記不得了？其實(shí)，董良華對(duì)日期的記憶力是很強(qiáng)的，他在將近花甲之年的時(shí)候，又攻破了一個(gè)難題——“機(jī)器證明�！边@改變了數(shù)學(xué)家“一支筆、一張紙、一個(gè)腦袋”的勞動(dòng)方式，運(yùn)用電子計(jì)算機(jī)來實(shí)現(xiàn)數(shù)學(xué)證明。他在進(jìn)行這項(xiàng)課題的研究過程中，對(duì)于電子計(jì)算機(jī)安裝的日期、為計(jì)算機(jī)最后編成300多道“指令”程序的日期，都記得一清二楚。
同名博士
南京財(cái)經(jīng)大學(xué)董良華博士
董良華，男，1966年生，安徽安慶人，教育學(xué)博士，副教授，中國(guó)高等教育學(xué)會(huì)會(huì)員，中國(guó)注冊(cè)會(huì)計(jì)師協(xié)會(huì)會(huì)員，江蘇省高校“青藍(lán)工程”優(yōu)秀青年骨干教師。主要研究方向教育制度經(jīng)濟(jì)、教育管理。
主講課程：
教育學(xué)，教育心理學(xué)，教育經(jīng)濟(jì)與管理（雙語），公共管理學(xué)，公共倫理學(xué)，社區(qū)管理，物業(yè)管理，公共事業(yè)管理學(xué)科導(dǎo)論
近年發(fā)表的主要學(xué)術(shù)論文：
1、專業(yè)培養(yǎng)目標(biāo)的轉(zhuǎn)變與高校學(xué)分制的未來發(fā)展，鹽城工學(xué)院學(xué)報(bào)，2003，04。
2、1949年以來中國(guó)高等教育質(zhì)量保證體系的歷史發(fā)展分析，遼寧教育研究，2003,11。
3、高等教育中的投資與消費(fèi)－－一種主體分析的觀點(diǎn)，當(dāng)代教育，2003,23。
4、在高等教育發(fā)展中實(shí)踐“三個(gè)代表”重要思想，上海市教工委，上海教育出版社，2004。
5、從語境論看高等教育創(chuàng)新問題，華東石油大學(xué)學(xué)報(bào)，2004,02；人大復(fù)印《高等教育》資料全文轉(zhuǎn)載，2004,06。
6、從羅爾斯的正義原則看教育公平問題，遼寧教育研究，2005,06。
近年主持的課題研究：
1、多校區(qū)條件下高校教學(xué)質(zhì)量監(jiān)控與保障體系之研究，江蘇省教育廳課題，資助立項(xiàng)
2、多校區(qū)大學(xué)管理體制改革與創(chuàng)新，南京財(cái)大課題，資助立項(xiàng)
3、高等教育成本核算與分析，南京財(cái)大課題，資助立項(xiàng)
4、我校民辦二級(jí)學(xué)院人才培養(yǎng)的現(xiàn)狀與改革方略之研究，南京財(cái)大，資助立項(xiàng)
5、南京財(cái)大公共事業(yè)管理本科專業(yè)人才培養(yǎng)目標(biāo)與培養(yǎng)模式改革之研究，南京財(cái)大，資助立項(xiàng)
近年參與的課題研究：
1、中國(guó)教育的現(xiàn)代化之路，中國(guó)科學(xué)院現(xiàn)代化研究中心課題，資助立項(xiàng)
2、2002高等教育理論研究新進(jìn)展，華東師大課題，資助立項(xiàng)
3、江蘇教育財(cái)政支出研究，江蘇省教育廳課題，立項(xiàng)
4、高校合并的歷史經(jīng)驗(yàn)及效益追蹤研究，教育部重點(diǎn)課題，資助立項(xiàng)
5、高等教育理論的創(chuàng)新研究，教育部重點(diǎn)，資助立項(xiàng)
董良華女，1937年12月生，濟(jì)南人。教授級(jí)高級(jí)工程師。1959年畢業(yè)于南京藥學(xué)院(現(xiàn)中國(guó)藥科大學(xué))。1964一1965年曾在衛(wèi)生部生物制品進(jìn)修班研修。曾任南京生化藥廠實(shí)驗(yàn)室副主任、主任，南京生化藥廠技術(shù)廠長(zhǎng)，南京食品生物制藥研究所總工等。現(xiàn)負(fù)責(zé)《藥物生物技術(shù)》編輯部工作，任副主編。任中國(guó)藥學(xué)會(huì)生化專業(yè)委員會(huì)秘書，中國(guó)生化藥理學(xué)會(huì)委員，中國(guó)藥學(xué)會(huì)江蘇省藥劑學(xué)會(huì)委員。主要業(yè)績(jī)：長(zhǎng)期致力于生物制品與生化藥物的科研、生產(chǎn)及信息調(diào)研工作。在1966年前曾獲江蘇省衛(wèi)生廳和江蘇省省級(jí)機(jī)關(guān)優(yōu)秀工作者獎(jiǎng)，1970年后參加科研和新產(chǎn)品開發(fā)工作，獲得“前列腺素”“骨寧注射液”項(xiàng)目的全國(guó)科學(xué)大會(huì)獎(jiǎng)，“注射用核糖核酸”新產(chǎn)品金龍獎(jiǎng)，還曾獲得國(guó)家科委三等獎(jiǎng)，商業(yè)部科技進(jìn)步三等獎(jiǎng)及省、市科技情報(bào)二等獎(jiǎng)等。曾發(fā)表論文80多篇。著作和譯作有《生化制品的技術(shù)開拓》，《動(dòng)物生化制藥學(xué)》，《酶類藥物》等。她的人生格言是：“待人接物與人為善，工作中想到u2018勞者多能u2019就有所得，人生永遠(yuǎn)快樂。”