|
Zhou Chaochen
Zhou Chaochen (; born 1 November 1937) is a Chinese computer scientist. Zhou was born in Nanhui, Shanghai, China. He studied as an undergraduate at the Department of Mathematics and Mechanics, Peking University (1954–1958) and as a postgraduate at the Institute of Computing Technology, Chinese Academy of Sciences (CAS) (1963–1967). He worked at Peking University and CAS until his visit to the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science) (1989–1992). During this time, he was the prime investigator of the duration calculus, an interval logic for real-time systems as part of the European ESPRIT ''ProCoS'' project on Provably Correct Systems. During the periods 1990–1992 and 1995–1996, Zhou Chaochen was visiting professor at the Department of Computer Science, Technical University of Denmark, Lyngby, on the invitation of Professor Dines Bjørner. He was Principal Research Fellow (1992–1997) and later Director of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Zhou (surname)
Zhōu () is a Chinese-language surname. In places which use the Wade–Giles romanization such as Taiwan, Zhou is usually spelled as "Chou" (ㄓㄡ), and it may also be spelled as "Chiau", "Chau", " Chao", "Chew", " Chow", "Chiu", "Cho", "Chu", "Jhou", "Jou", "Djou", "Jue", "Jow", or "Joe". Zhou ranks as the 10th most common surname in Mainland China . In 2013 it was found to be the 10th most common name, shared by 25,200,000 people or 1.900% of the population, with the province with the most being Hunan. Derived from the Zhou dynasty, it has been one of the ten most common surnames in China since the Yuan dynasty. It is the 5th name on the ''Hundred Family Surnames'' poem. The Korean surname, " Joo" or "Ju", and The Vietnamese surname, " Châu" or "Chu", are both derived from and written with the same Chinese character (周). The character also means "around". ''Zhōu'' can also stand for another, rare Chinese family name, 洲. History According to historical records, Zhou surn ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Oxford University Computing Laboratory
The Department of Computer Science is the computer science department of the University of Oxford, England, which is part of the university's Mathematical, Physical and Life Sciences Division, University of Oxford, Mathematical, Physical and Life Sciences Division. It was founded in 1957 as the Computing Laboratory. By 2014 the staff count was 52 members of academic staff and over 80 research staff. The 2019, 2020 and 2021 Times World University Subject Rankings places Oxford University 1st in the world for Computer Science. Oxford University is also the top university for computer science in the UK and Europe according to Business Insider. The 2020 QS University Subject Rankings places The University of Oxford 5th in the world (with the University of Cambridge placing 6th) for Computer Science. Teaching From its foundation the department taught undergraduates reading for mathematics and engineering degrees, but in 1985 the department's first undergraduate course was established, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dines Bjorner
Dines is a name. It can be a surname which is either English or Yiddish, or it can be a Danish given name. Surname Dines is an English surname. Dines is also a Jewish Romanian surname, derived from a woman named Dina. In Yiddish, it means "Dina's children". The surname may refer to: * Alberto Dines (1932–2018), Brazilian journalist * Allen Dines (1921–2020), American lawyer and politician * Bill Dines (1916–1992), English cricketer * Daniel Dines (1972-), Romanian businessman * Dino Dines (1944–2004), English keyboardist * Gail Dines, American sociologist * John Somers Dines (1885–1980), English meteorologist * Joseph Dines (1886–1918), English amateur football player * Lloyd Dines (1885–1964), American-Canadian mathematician * Rebecca Dines, Australian actress * Sarah Dines, British politician * William Henry Dines, English meteorologist Given name * Dines Bjørner (born 1932), Danish computer scientist * Dines Carlsen (1901–1966) was an Am ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jim Woodcock
James Charles Paul Woodcock is a British computer scientist. Woodcock gained his PhD from the University of Liverpool. Until 2001 he was Professor of Software Engineering at the Oxford University Computing Laboratory, where he was also a Fellow of Kellogg College. He then joined the University of Kent and is now based at the University of York, where, since October 2012, he has been head of the Department of Computer Science. His research interests include: strong software engineering, Grand Challenge in dependable systems evolution, unifying theories of programming, formal specification, refinement, concurrency, state-rich systems, mobile and reconfigurable processes, nanotechnology, Grand Challenge in the railway domain. He has a background in formal methods, especially the Z notation and CSP. Woodcock worked on applying the Z notation to the IBM CICS project, helping to gain a Queen's Award for Technological Achievement, and Mondex, helping to gain the highest ITSEC cla ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Liu Zhiming (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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cliff Jones (computer Scientist)
Clifford "Cliff" B. Jones (born 1 June 1944) is a British computer scientist, specializing in research into formal methods. He undertook a late DPhil at the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science) under Tony Hoare, awarded in 1981. Jones' thesis proposed an extension to Hoare logic for handling concurrent programs, rely/guarantee. Prior to his DPhil, Jones worked for IBM, between the Hursley and Vienna Laboratories. In Vienna, Jones worked with Peter Lucas, Dines Bjørner and others on the Vienna Development Method (VDM), originally as a method for specifying the formal semantics of programming languages, and subsequently for specifying and verifying programs. Cliff Jones was a professor at the Victoria University of Manchester in the 1980s and early 1990s, worked in industry at Harlequin for a period, and is now a Professor of Computing Science at Newcastle University. He has been editor-in-chief of the ''Formal Aspe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Beijing
} Beijing ( ; ; ), alternatively romanized as Peking ( ), is the capital of the People's Republic of China. It is the center of power and development of the country. Beijing is the world's most populous national capital city, with over 21 million residents. It has an administrative area of , the third in the country after Guangzhou and Shanghai. It is located in Northern China, and is governed as a municipality under the direct administration of the State Council with 16 urban, suburban, and rural districts.Figures based on 2006 statistics published in 2007 National Statistical Yearbook of China and available online at archive. Retrieved 21 April 2009. Beijing is mostly surrounded by Hebei Province with the exception of neighboring Tianjin to the southeast; together, the three divisions form the Jingjinji megalopolis and the national capital region of China. Beijing is a global city and one of the world's leading centres for culture, diplomacy, politics, finance, busi ... [...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] |
UNU-IIST
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'') was a United Nations University Research Training Centre based 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 1991 and opened its door in July 1992.https://staff.fnwi.uva.nl/c.a.middelburg/unu-iist.pdf The Macao authorities also supply the institute with its office premises, located in a heritage building Casa Silva Mendes, and subsidize fellow accommodation. As part of the United Nations, the institute was to address the pressing global problem ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lyngby
Kongens Lyngby (, Danish for "the King's Heather Town"; short form Lyngby) is the seat and commercial centre of Lyngby-Taarbæk Municipality in the northern suburbs of Copenhagen, Denmark. Lyngby Hovedgade is a busy shopping street and the site of a branch of Magasin du Nord as well as Lyngby Storcenter. The district is also home to several major companies, including COWI A/S, Bang & Olufsen, ICEpower a/s and Microsoft. The Technical University of Denmark relocated to Lyngby from central Copenhagen in the 1970s. Lyngby station is located on the Hillerød radial of Copenhagen's S-train network. History The name Kongens Lyngby is first recorded in 1348. At that time large parts of North Zealand belonged to the Catholic Church (represented by Roskilde Cathedral and the name Lyngby was associated with several places. Store Lyngby belonged to Arresø church. "Our" Lyngby, on the other hand, was crown land. It may therefore have been to distinguish it from these other places that th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
European Strategic Program On Research In Information Technology
European Strategic Programme on Research in Information Technology (ESPRIT) was a series of integrated programmes of information technology research and development projects and industrial technology transfer measures. It was a European Union initiative managed by the Directorate General for Industry (DG III) of the European Commission. Programmes Five ESPRIT programmes (ESPRIT 0 to ESPRIT 4) ran consecutively from 1983 to 1998. ESPRIT 4 was succeeded by the Information Society Technologies (IST) programme in 1999. Projects Some of the projects and products supported by ESPRIT were: * BBC Domesday Project, a partnership between Acorn Computers Ltd, Philips, Logica and the BBC with some funding from the European Commission's ESPRIT programme, to mark the 900th anniversary of the original Domesday Book, an 11th-century census of England. It is frequently cited as an example of digital obsolescence on account of the physical medium used for data storage. * CGAL, the Computational G ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Real-time Computing
Real-time computing (RTC) is the computer science term for hardware and software systems subject to a "real-time constraint", for example from event to system response. Real-time programs must guarantee response within specified time constraints, often referred to as "deadlines". Ben-Ari, Mordechai; "Principles of Concurrent and Distributed Programming", ch. 16, Prentice Hall, 1990, , page 164 Real-time responses are often understood to be in the order of milliseconds, and sometimes microseconds. A system not specified as operating in real time cannot usually ''guarantee'' a response within any timeframe, although ''typical'' or ''expected'' response times may be given. Real-time processing ''fails'' if not completed within a specified deadline relative to an event; deadlines must always be met, regardless of system load. A real-time system has been described as one which "controls an environment by receiving data, processing them, and returning the results sufficiently quic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
