|
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 ... [...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. 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, in 'Mathematics and Computation', followed in 1994 by the 'Computation' ... [...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 highe ... [...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] |
