He Jifeng
He Jifeng (, born August 1943) is a Chinese computer scientist. He Jifeng graduated from the mathematics department of Fudan University in 1965. From 1965 to 1985, he was an instructor at East China Normal University. During 1980–81, he was a visiting scholar at Stanford University and the University of San Francisco in California, United States. From 1984 to 1998, He Jifeng was a senior research fellow at the Programming Research Group in the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science). He worked extensively on formal aspects of computing science. In particular, he worked with Prof. Sir Tony Hoare, latterly on Unifying Theories of Programming, resulting in a book of that name. Since 1986, He Jifeng has been Professor of Computer Science at East China Normal University in Shanghai. In 1996, he also became Professor of Computer Science at Shanghai Jiao Tong University. In 1998, he became a senior research fellow at the I ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Shanghai
Shanghai (; , , Standard Mandarin pronunciation: ) is one of the four direct-administered municipalities of the People's Republic of China (PRC). The city is located on the southern estuary of the Yangtze River, with the Huangpu River flowing through it. With a population of 24.89 million as of 2021, Shanghai is the most populous urban area in China with 39,300,000 inhabitants living in the Shanghai metropolitan area, the second most populous city proper in the world (after Chongqing) and the only city in East Asia with a GDP greater than its corresponding capital. Shanghai ranks second among the administrative divisions of Mainland China in human development index (after Beijing). As of 2018, the Greater Shanghai metropolitan area was estimated to produce a gross metropolitan product (nominal) of nearly 9.1 trillion RMB ($1.33 trillion), exceeding that of Mexico with GDP of $1.22 trillion, the 15th largest in the world. Shanghai is one of the world's major centers for ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
California
California is a U.S. state, state in the Western United States, located along the West Coast of the United States, Pacific Coast. With nearly 39.2million residents across a total area of approximately , it is the List of states and territories of the United States by population, most populous U.S. state and the List of U.S. states and territories by area, 3rd largest by area. It is also the most populated Administrative division, subnational entity in North America and the 34th most populous in the world. The Greater Los Angeles area and the San Francisco Bay Area are the nation's second and fifth most populous Statistical area (United States), urban regions respectively, with the former having more than 18.7million residents and the latter having over 9.6million. Sacramento, California, Sacramento is the state's capital, while Los Angeles is the List of largest California cities by population, most populous city in the state and the List of United States cities by population, ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Zhiming Liu (computer Scientist)
Zhiming Liu (, born 10 October 1961, Hebei, China) is a computer scientist. He studied mathematics in Luoyang, Henan in China and obtained his first degree in 1982. He holds a master's degree in Computer Science from the Institute of Software of the Chinese Academy of Sciences (1988), and a PhD degree from the University of Warwick (1991). His PhD thesis was on ''Fault-Tolerant Programming by Transformations''. After his PhD, Zhiming Liu worked as a guest scientist at the Department of Computer Science, Technical University of Denmark, Lyngby in 1991–1992. Then he returned to the University of Warwick and worked as a postdoctoral research fellow on formal techniques in real-time and fault-tolerant systems till October 1994 when he became a university lecturer in computer science at the University of Leicester (UK). He worked at UNU-IIST during 2002–2013 at UNU-IIST as research fellow and senior research fellow. He joined Birmingham City University (UK) in October 2013 as the ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Prentice Hall International Series In Computer Science
Prentice Hall International Series in Computer Science was a series of books on computer science published by Prentice Hall. The series' founding editor was Tony Hoare. Richard Bird subsequently took over editing the series. Many of the books in the series have been in the area of formal methods in particular. Selected books The following books were published in the series: * R. S. Bird, ''Introduction to Functional Programming using Haskell'', 2nd edition, 1998. . * R. S. Bird and O. de Moor, ''Algebra of Programming'', 1996. . (100th volume in the series.) * O.-J. Dahl, ''Verifiable Programming'', 1992. . * D. M. Gabbay, ''Elementary Logics: A Procedural Perspective'', 1998. . * I. J. Hayes (ed.), ''Specification Cases Studies'', 2nd edition, 1993. . * M. G. Hinchey and J. P. Bowen (eds.), ''Applications of Formal Methods'', 1996. . * C. A. R. Hoare, ''Communicating Sequential Processes'', 1985. hardback or paperback. * C. A. R. Hoare and M. J. C. Gordon, ''Mechanized Re ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
McGraw-Hill
McGraw Hill is an American educational publishing company and one of the "big three" educational publishers that publishes educational content, software, and services for pre-K through postgraduate education. The company also publishes reference and trade publications for the medical, business, and engineering professions. McGraw Hill operates in 28 countries, has about 4,000 employees globally, and offers products and services to about 140 countries in about 60 languages. Formerly a division of The McGraw Hill Companies (later renamed McGraw Hill Financial, now S&P Global), McGraw Hill Education was divested and acquired by Apollo Global Management in March 2013 for $2.4 billion in cash. McGraw Hill was sold in 2021 to Platinum Equity for $4.5 billion. Corporate History McGraw Hill was founded in 1888 when James H. McGraw, co-founder of the company, purchased the ''American Journal of Railway Appliances''. He continued to add further publications, eventually establishing The ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Amazon
Amazon most often refers to: * Amazons, a tribe of female warriors in Greek mythology * Amazon rainforest, a rainforest covering most of the Amazon basin * Amazon River, in South America * Amazon (company), an American multinational technology company Amazon or Amazone may also refer to: Places South America * Amazon Basin (sedimentary basin), a sedimentary basin at the middle and lower course of the river * Amazon basin, the part of South America drained by the river and its tributaries * Amazon Reef, at the mouth of the Amazon basin Elsewhere * 1042 Amazone, an asteroid * Amazon Creek, a stream in Oregon, US People * Amazon Eve (born 1979), American model, fitness trainer, and actress * Lesa Lewis (born 1967), American professional bodybuilder nicknamed "Amazon" Art and entertainment Fictional characters * Amazon (Amalgam Comics) * Amazon, an alias of the Marvel supervillain Man-Killer * Amazons (DC Comics), a group of superhuman characters * The Amazon, a ' ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Lecture Notes In Computer Science
''Lecture Notes in Computer Science'' is a series of computer science books published by Springer Science+Business Media since 1973. Overview The series contains proceedings, post-proceedings, monographs, and Festschrifts. In addition, tutorials, state-of-the-art surveys, and "hot topics" are increasingly being included. The series is indexed by DBLP. See also *''Monographiae Biologicae'', another monograph series published by Springer Science+Business Media *''Lecture Notes in Physics'' *''Lecture Notes in Mathematics'' *''Electronic Workshops in Computing ''Electronic Workshops in Computing'' (eWiC) is a publication series by the British Computer Society. The series provides free online access for conferences and workshops in the area of computing. For example, the EVA London Conference proceeding ...'', published by the British Computer Society References External links * Publications established in 1973 Computer science books Series of non-fiction books Springer ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Springer-Verlag
Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in Berlin, it expanded internationally in the 1960s, and through mergers in the 1990s and a sale to venture capitalists it fused with Wolters Kluwer and eventually became part of Springer Nature in 2015. Springer has major offices in Berlin, Heidelberg, Dordrecht, and New York City. History Julius Springer founded Springer-Verlag in Berlin in 1842 and his son Ferdinand Springer grew it from a small firm of 4 employees into Germany's then second largest academic publisher with 65 staff in 1872.Chronology ". Springer Science+Business Media. In 1964, Springer expanded its business internationally, o ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Festschrift
In academia, a ''Festschrift'' (; plural, ''Festschriften'' ) is a book honoring a respected person, especially an academic, and presented during their lifetime. It generally takes the form of an edited volume, containing contributions from the honoree's colleagues, former pupils, and friends. ''Festschriften'' are often titled something like ''Essays in Honour of...'' or ''Essays Presented to... .'' Terminology The term, borrowed from German, and literally meaning 'celebration writing' (cognate with ''feast-script''), might be translated as "celebration publication" or "celebratory (piece of) writing". An alternative Latin term is (literally: 'book of friends'). A comparable book presented posthumously is sometimes called a (, 'memorial publication'), but this term is much rarer in English. A ''Festschrift'' compiled and published by electronic means on the internet is called a (pronounced either or ), a term coined by the editors of the late Boris Marshak's , ''Eran ud Aner ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Chinese Academy Of Sciences
The Chinese Academy of Sciences (CAS); ), known by Academia Sinica in English until the 1980s, is the national academy of the People's Republic of China for natural sciences. It has historical origins in the Academia Sinica during the Republican era and was formerly also known by that name. Collectively known as the "Two Academies (两院)" along with the Chinese Academy of Engineering, it functions as the national scientific think tank and academic governing body, providing advisory and appraisal services on issues stemming from the national economy, social development, and science and technology progress. It is headquartered in Xicheng District, Beijing, with branch institutes all over mainland China. It has also created hundreds of commercial enterprises, Lenovo being one of the most famous. CAS is the world's largest research organization. It had 60,000 researchers in 2018 and 114 institutes in 2016, and has been consistently ranked among the top research organizations ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Macau
Macau or Macao (; ; ; ), officially the Macao Special Administrative Region of the People's Republic of China (MSAR), is a city and special administrative region of China in the western Pearl River Delta by the South China Sea. With a population of about 680,000 and an area of , it is the most densely populated region in the world. Formerly a Portuguese colony, the territory of Portuguese Macau was first leased to Portugal as a trading post by the Ming dynasty in 1557. Portugal paid an annual rent and administered the territory under Chinese sovereignty until 1887. Portugal later gained perpetual colonial rights in the Sino-Portuguese Treaty of Peking. The colony remained under Portuguese rule until 1999, when it was transferred to China. Macau is a special administrative region of China, which maintains separate governing and economic systems from those of mainland China under the principle of " one country, two systems".. The unique blend of Portuguese and Chinese arc ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
International Institute For Software Technology
The United Nations University Institute in Macau, formerly the United Nations University International Institute for Software Technology (UNU-IIST; ; Portuguese: ''Instituto Internacional para Tecnologia de Programação da Universidade das Nações Unidas'') and then United Nations University Institute on Computing and Society (UNU-CS; ), is a United Nations University global think tank conducting research and training on digital technologies for sustainable development, encouraging data-driven and evidence-based actions and policies to achieve the Sustainable Development Goals. UNU-Macau is located in Macau, China. History During 1987–1989, United Nations University conducted two studies regarding the need for a research and training centre for computing in the developing nations. The studies led to the decision of the Council of the UNU to establish in Macau the United Nations University International Institute for Software Technology (UNU-IIST), which was founded on 12 March ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |