|
Ernst-Rüdiger Olderog
Ernst-Rüdiger Olderog (born 4 June 1955) is a German computer scientist. He is a full professor at the University of Oldenburg in Oldenburg, northern Germany. He heads the Correct Systems Design (CSD) group whose research is focused on programming language theory. Their research goal is methods for the systematic development of correct software for parallel and distributed systems under real-time constraints. In 1994, Olderog was awarded the Leibnitz Prize of the German Research Foundation (DFG) for his work. He has authored a number of scientific books and served as editor-in-chief of the journal ''Acta Informatica'' and as chairman of the IFIP Working Group 2.2 on Formal Description of Programming Concepts. His work in this Working Group was awarded the IFIP Silver Core in 1998. Biography Education and academic career Olderog comes from Bredenbek in Schleswig-Holstein, northern Germany, and studied computer science, mathematics and logic at the University of Kiel, where he ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bredenbek
Bredenbek is a municipality, located in the district of Rendsburg-Eckernförde in the German '' Bundesland'' of Schleswig-Holstein. Bredenbek is part of the '' Amt'' ("collective municipality") Achterwehr. Geography Bredenbek is situated about 18 km west of Kiel and 15 km east of Rendsburg. The highway "Autobahn 210" from Kiel to Rendsburg passes near the south of the village. The Kiel Canal passes about 2 km to the north. History Bredenbek was first mentioned in the year 1264 in the town's book of Kiel, named as "de Bradenbeke". Origin of the name The name of "Bredenbek" consists of two Low German words, ''brede'' for "flat" and ''bek'' for "creek". The original Bredenbek creek, a feeder of the Eider River, once flowed through the area of the village, but nowadays flows underground through pipes. Education Currently 96 children, from the 1st to the 4th grade, attend the primary school, which is situated at the center of the village. Furthermore, there is a ki ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
International Federation For Information Processing
The International Federation for Information Processing (IFIP) is a global organisation for researchers and professionals working in the field of computing to conduct research, develop standards and promote information sharing. Established in 1960 under the auspices of UNESCO, IFIP is recognised by the United Nations and links some 50 national and international societies and academies of science with a total membership of over half a million professionals. IFIP is based in Laxenburg, Austria and is an international, non-governmental organisation that operates on a non-profit basis. Overview IFIP activities are coordinated by 14 Technical Committees (TCs) which are organised into more than 100 Working Groups (WGs), bringing together over 3,500 ICT professionals and researchers from around the world to conduct research, develop standards and promote information sharing. Each TC covers a particular aspect of computing and related disciplines, as detailed below. IFIP actively pr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
European Strategic Programme 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] |
Habilitate
Habilitation is the highest university degree, or the procedure by which it is achieved, in Germany, France, Italy, Poland and some other European and non-English-speaking countries. The candidate fulfills a university's set criteria of excellence in research, teaching, and further education, which usually includes a dissertation. The degree, sometimes abbreviated ''Dr. habil''. (), ''dr hab.'' (), or ''D.Sc.'' (''Doctor of Sciences'' in Russia and some CIS countries), is often a qualification for full professorship in those countries. In German-speaking countries it allows the degree holder to bear the title ''PD'' (for ). In a number of countries there exists an academic post of docent, appointment to which often requires such a qualification. The degree conferral is usually accompanied by a public oral defence event (a lecture or a colloquium) with one or more opponents. Habilitation is usually awarded 5–15 years after a PhD degree or its equivalent. Achieving this aca ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Saarbrücken
Saarland University (, ) is a public research university located in Saarbrücken, the capital of the German state of Saarland. It was founded in 1948 in Homburg in co-operation with France and is organized in six faculties that cover all major fields of science. In 2007, the university was recognized as an excellence center for computer science in Germany. Thanks to bilingual German and French staff, the university has an international profile, which has been underlined by its proclamation as "''European University''" in 1950 and by establishment of Europa-Institut as its "''crown and symbol''" in 1951. Nine academics have been honored with the highest German research prize, the Gottfried Wilhelm Leibniz Prize, while working at Saarland University. History Saarland University, the first to be established after World War II, was founded in November 1948 with the support of the French Government and under the auspices of the University of Nancy. At the time the Saarland f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
IBM Thomas J
International Business Machines Corporation (using the trademark IBM), nicknamed Big Blue, is an American Multinational corporation, multinational technology company headquartered in Armonk, New York, and present in over 175 countries. It is a publicly traded company and one of the 30 companies in the Dow Jones Industrial Average. IBM is the largest industrial research organization in the world, with 19 research facilities across a dozen countries; for 29 consecutive years, from 1993 to 2021, it held the record for most annual U.S. patents generated by a business. IBM was founded in 1911 as the Computing-Tabulating-Recording Company (CTR), a holding company of manufacturers of record-keeping and measuring systems. It was renamed "International Business Machines" in 1924 and soon became the leading manufacturer of Tabulating machine, punch-card tabulating systems. During the 1960s and 1970s, the IBM mainframe, exemplified by the IBM System/360, System/360 and its successors, wa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Edinburgh
The University of Edinburgh (, ; abbreviated as ''Edin.'' in Post-nominal letters, post-nominals) is a Public university, public research university based in Edinburgh, Scotland. Founded by the City of Edinburgh Council, town council under the authority of a royal charter from King James VI and I, James VI in 1582 and officially opened in 1583, it is one of Scotland's Ancient universities of Scotland, four ancient universities and the List of oldest universities in continuous operation, sixth-oldest university in continuous operation in the English-speaking world. The university played a crucial role in Edinburgh becoming a leading intellectual centre during the Scottish Enlightenment and contributed to the city being nicknamed the "Etymology of Edinburgh#Athens of the North, Athens of the North". The three main global university rankings (Academic Ranking of World Universities, ARWU, Times Higher Education World University Rankings, THE, and QS World University Rankings, QS) ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Centrum Wiskunde & Informatica
The (abbr. CWI; English: "National Research Institute for Mathematics and Computer Science") is a research centre in the field of mathematics and theoretical computer science. It is part of the institutes organization of the Dutch Research Council (NWO) and is located at the Amsterdam Science Park. This institute is famous as the creation site of the programming language Python. It was a founding member of the European Research Consortium for Informatics and Mathematics (ERCIM). Early history The institute was founded in 1946 by Johannes van der Corput, David van Dantzig, Jurjen Koksma, Hendrik Anthony Kramers, Marcel Minnaert and Jan Arnoldus Schouten. It was originally called ''Mathematical Centre'' (in Dutch: ''Mathematisch Centrum''). One early mission was to develop mathematical prediction models to assist large Dutch engineering projects, such as the Delta Works. During this early period, the Mathematics Institute also helped with designing the wings of the Fokker ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Oxford
The University of Oxford is a collegiate university, collegiate research university in Oxford, England. There is evidence of teaching as early as 1096, making it the oldest university in the English-speaking world and the List of oldest universities in continuous operation, second-oldest continuously operating university globally. It expanded rapidly from 1167, when Henry II of England, Henry II prohibited English students from attending the University of Paris. When disputes erupted between students and the Oxford townspeople, some Oxford academics fled northeast to Cambridge, where they established the University of Cambridge in 1209. The two English Ancient university, ancient universities share many common features and are jointly referred to as ''Oxbridge''. The University of Oxford comprises 43 constituent colleges, consisting of 36 Colleges of the University of Oxford, semi-autonomous colleges, four permanent private halls and three societies (colleges that are depar ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Programming Research Group
The Programming Research Group (PRG) was part of the Oxford University Computing Laboratory (OUCL) in Oxford, England, along with the Numerical Analysis Group, until OUCL became the Department of Computer Science in 2011. The PRG was founded by Christopher Strachey (1916–1975) in 1965. It was originally located at 45 Banbury Road. After Strachey's untimely death, C.A.R. Hoare, FRS took over the leadership in 1977. The PRG ethos is summed up by the following quotation from Strachey, found and promulgated by Tony Hoare after he arrived at the PRG: The PRG moved to 8–11 Keble Road in 1984. During the later 1980s and early 1990s, some members of the PRG were housed at 2 South Parks Road, including Joseph Goguen (who was at the PRG during 1988–1996). Tony Hoare retired in 1999 and the PRG was led by Samson Abramsky from 2000. The PRG continued until the renaming of the Oxford University Computing Laboratory to the Department of Computer Science on 1 June 2011, under the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
ALGOL
ALGOL (; short for "Algorithmic Language") is a family of imperative computer programming languages originally developed in 1958. ALGOL heavily influenced many other languages and was the standard method for algorithm description used by the Association for Computing Machinery (ACM) in textbooks and academic sources for more than thirty years. In the sense that the syntax of most modern languages is "Algol-like", it was arguably more influential than three other high-level programming languages among which it was roughly contemporary: FORTRAN, Lisp, and COBOL. It was designed to avoid some of the perceived problems with FORTRAN and eventually gave rise to many other programming languages, including PL/I, Simula, BCPL, B, Pascal, Ada, and C. ALGOL introduced code blocks and the begin...end pairs for delimiting them. It was also the first language implementing nested function definitions with lexical scope. Moreover, it was the first programming language which gave ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tony Hoare
Sir Charles Antony Richard Hoare (; born 11 January 1934), also known as C. A. R. Hoare, is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and concurrent computing. His work earned him the Turing Award, usually regarded as the highest distinction in computer science, in 1980. Hoare developed the sorting algorithm quicksort in 1959–1960. He developed Hoare logic, an axiomatic basis for verifying program correctness. In the semantics of concurrency, he introduced the formal language communicating sequential processes (CSP) to specify the interactions of concurrent processes, and along with Edsger Dijkstra, formulated the dining philosophers problem. Since 1977, he has held positions at the University of Oxford and Microsoft Research in Cambridge. Education and early life Tony Hoare was born in Colombo, Ceylon (now Sri Lanka) to British parents; his father was a colonial ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
