Li Wei (bilgisayar bilimcisi) - Li Wei (computer scientist)

Li Wei (Çince : 李 未; pinyin : Lǐ Wèi; 8 Haziran 1943 doğumlu)^[1] Çinli bir bilgisayar bilimcisi ve Çin Bilimler Akademisi. 2002'de Başkan oldu Pekin Havacılık ve Uzay Bilimleri Üniversitesi.

Eğitim

Li, Matematik ve Mekanik Bölümü'nden mezun oldu, Pekin Üniversitesi 1966'da. Daha sonra Edinburgh Üniversitesi Doktora almak bilgisayar Bilimi 1983'te denetleyen Gordon Plotkin.^[2]

Kariyer

Mezun olduktan sonra, kendisi tarafından finanse edildi. EPSRC -de Newcastle Üniversitesi ve Kıdemli Programcı olarak Edinburgh Üniversitesi. Aynı zamanda misafir profesördü. Saarland Üniversitesi O seçildi Çin Bilimler Akademisi 1997'de.

Araştırma Alanları

Li, çoğunlukla Bilgisayar Yazılımı ve Teorisi ve İnternet'in uygulamalı araştırmalarıyla ilgilenmektedir. Programlama dili, yazılım geliştirme, yapay zeka, ve entegre devre tasarım.

Başarılar

Li, Kelime Yapısı Operasyon Semantiğinin kurulmasına, geliştirilmesine ve iyileştirilmesine katıldı. 1981'de, yazılımda Paralel, Senkronizasyon ve İletişim tekniğini tanımlamak için bu yapıyı başarıyla kullanan ilk kişiydi ve sorunları sistematik olarak çözdü. nın-nin eşzamanlı diller, gibi Ada ve Edison.^{[kaynak belirtilmeli ]} Kelime Yapısının Operasyon Anlamları programlama dillerinin klasik anlambilimlerinden biri haline gelmiştir.

1992, bina yayınlama mantığı teorisi, bilginin eksikliğini ve bilginin yanılabilirliğini ve çıkarımın tekdüzeliğini çözdü.

1998, ilk savunulan araştırma Veri madenciliği Teknoloji。

Referanslar