|
Jan Bergstra
Johannes Aldert "Jan" Bergstra (born 1951) is a Dutch computer scientist. His work has focussed on logic and the theoretical foundations of software engineering, especially on formal methods for system design. He is best known as an expert on algebraic methods for the specification of data and computational processes in general. Biography Jan Bergstra was born in 1951 in Rotterdam, the son of Tjeerd Bergstra and Johanna Bisschop.Jan A. Bergstra (2009)Curriculum Vitae Jan Aldert Bergstra at ''uva.nl''. October 20, 2009. Accessed August 30, 2013 He was educated at the Montessori Lyceum Rotterdam (gymnasium beta) and then studied mathematics at Utrecht University, starting in 1969. After an MSc he wrote a PhD thesis, defended in 1976, on recursion theory in higher types, under the supervision of Dirk van Dalen. Bergstra held posts at the Institute of Applied Mathematics and Computer Science of the Leiden University, University of Leiden (1976–82), and the Centrum Wiskunde & Infor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Software Engineering
Software engineering is a systematic engineering approach to software development. A software engineer is a person who applies the principles of software engineering to design, develop, maintain, test, and evaluate computer software. The term '' programmer'' is sometimes used as a synonym, but may also lack connotations of engineering education or skills. Engineering techniques are used to inform the software development process which involves the definition, implementation, assessment, measurement, management, change, and improvement of the software life cycle process itself. It heavily uses software configuration management which is about systematically controlling changes to the configuration, and maintaining the integrity and traceability of the configuration and code throughout the system life cycle. Modern processes use software versioning. History Beginning in the 1960s, software engineering was seen as its own type of engineering. Additionally, the development of soft ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John V
John V may refer to: * Patriarch John V of Alexandria or John the Merciful (died by 620), Patriarch of Alexandria from 606 to 616 * John V of Constantinople, Patriarch from 669 to 675 * Pope John V (685–686), Pope from 685 to his death in 686 * John V of Jerusalem, Greek Orthodox Patriarch of Jerusalem in 706–735 * John V the Historian or Hovhannes Draskhanakerttsi, Catholicos of Armenia from 897 to 925 * John V of Gaeta (1010–1040) * John V of Naples (died 1042), Duke from 1036 to 1042 * John V, Count of Soissons, (1281–1304) * John V, Margrave of Brandenburg-Salzwedel (1302–1317) * John V Palaiologos (1332–1391), Byzantine Emperor from 1341 * John V, Count of Sponheim-Starkenburg (1359–1437), German nobleman * John V, Lord of Arkel (1362–1428) * John V, Duke of Brittany (1389–1442), Count of Montfort * John V, Duke of Mecklenburg (1418–1443) * John V, Count of Hoya (died 1466), nicknamed ''the Pugnacious'' or ''the Wild'' * John V, Count of Armagnac (1420–1473 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Living People
Related categories * :Year of birth missing (living people) / :Year of birth unknown * :Date of birth missing (living people) / :Date of birth unknown * :Place of birth missing (living people) / :Place of birth unknown * :Year of death missing / :Year of death unknown * :Date of death missing / :Date of death unknown * :Place of death missing / :Place of death unknown * :Missing middle or first names See also * :Dead people * :Template:L, which generates this category or death years, and birth year and sort keys. : {{DEFAULTSORT:Living people 21st-century people People by status ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1951 Births
Events January * January 4 – Korean War: Third Battle of Seoul – Chinese and North Korean forces capture Seoul for the second time (having lost the Second Battle of Seoul in September 1950). * January 9 – The Government of the United Kingdom announces abandonment of the Tanganyika groundnut scheme for the cultivation of peanuts in the Tanganyika Territory, with the writing off of £36.5M debt. * January 15 – In a court in West Germany, Ilse Koch, The "Witch of Buchenwald", wife of the commandant of the Buchenwald concentration camp, is sentenced to life imprisonment. * January 20 – Winter of Terror: Avalanches in the Alps kill 240 and bury 45,000 for a time, in Switzerland, Austria and Italy. * January 21 – Mount Lamington in Papua New Guinea erupts catastrophically, killing nearly 3,000 people and causing great devastation in Oro Province. * January 25 – Dutch author Anne de Vries releases the first volume of his children's novel '' Journey Through ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Amsterdam
The University of Amsterdam (abbreviated as UvA, nl, Universiteit van Amsterdam) is a public research university located in Amsterdam, Netherlands. The UvA is one of two large, publicly funded research universities in the city, the other being the Vrije Universiteit Amsterdam (VU). Established in 1632 by municipal authorities and later renamed for the city of Amsterdam, the University of Amsterdam is the third-oldest university in the Netherlands. It is one of the largest research universities in Europe with 31,186 students, 4,794 staff, 1,340 PhD students and an annual budget of €600 million. It is the largest university in the Netherlands by enrollment. The main campus is located in central Amsterdam, with a few faculties located in adjacent boroughs. The university is organised into seven faculties: Humanities, Social and Behavioural Sciences, Economics and Business, Science, Law, Medicine, Dentistry. The University of Amsterdam has produced six Nobel Laureates and fiv ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Addison Wesley
Addison-Wesley is an American publisher of textbooks and computer literature. It is an imprint of Pearson PLC, a global publishing and education company. In addition to publishing books, Addison-Wesley also distributes its technical titles through the O'Reilly Online Learning e-reference service. Addison-Wesley's majority of sales derive from the United States (55%) and Europe (22%). The Addison-Wesley Professional Imprint produces content including books, eBooks, and video for the professional IT worker including developers, programmers, managers, system administrators. Classic titles include ''The Art of Computer Programming'', ''The C++ Programming Language'', ''The Mythical Man-Month'', and ''Design Patterns''. History Lew Addison Cummings and Melbourne Wesley Cummings founded Addison-Wesley in 1942, with the first book published by Addison-Wesley being Massachusetts Institute of Technology professor Francis Weston Sears' ''Mechanics''. Its first computer book was ''Progra ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Journal Of The ACM
The ''Journal of the ACM'' is a peer-reviewed scientific journal covering computer science in general, especially theoretical aspects. It is an official journal of the Association for Computing Machinery. Its current editor-in-chief is Venkatesan Guruswami. The journal was established in 1954 and "computer scientists universally hold the ''Journal of the ACM'' in high esteem". See also * ''Communications of the ACM ''Communications of the ACM'' is the monthly journal of the Association for Computing Machinery (ACM). It was established in 1958, with Saul Rosen as its first managing editor. It is sent to all ACM members. Articles are intended for readers with ...'' References External links * Publications established in 1954 Computer science journals Association for Computing Machinery academic journals Bimonthly journals English-language journals {{compu-journal-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Formal Aspects Of Computing
''Formal Aspects of Computing'' (''FAOC'') is a peer-reviewed scientific journal published by Springer Science+Business Media, covering the area of formal methods and associated topics in computer science. The editors-in-chief are Jim Woodcock and Cliff Jones. The journal is associated with BCS-FACS, the British Computer Society ''Formal Aspects of Computing Science'' Specialist Group. According to the ''Journal Citation Reports'', the journal has a 2010 impact factor of 1.170. See also * ''Acta Informatica'' * ''Innovations in Systems and Software Engineering ''Innovations in Systems and Software Engineering: A NASA Journal'' is a peer-reviewed scientific journal of computer science covering systems and software engineering, including formal methods. It is published by Springer Science+Business Media on ...'' References External links * Publications established in 1989 Computer science journals Formal methods publications British Computer Society Springer Science+Bus ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Elsevier
Elsevier () is a Dutch academic publishing company specializing in scientific, technical, and medical content. Its products include journals such as ''The Lancet'', ''Cell'', the ScienceDirect collection of electronic journals, '' Trends'', the '' Current Opinion'' series, the online citation database Scopus, the SciVal tool for measuring research performance, the ClinicalKey search engine for clinicians, and the ClinicalPath evidence-based cancer care service. Elsevier's products and services also include digital tools for data management, instruction, research analytics and assessment. Elsevier is part of the RELX Group (known until 2015 as Reed Elsevier), a publicly traded company. According to RELX reports, in 2021 Elsevier published more than 600,000 articles annually in over 2,700 journals; as of 2018 its archives contained over 17 million documents and 40,000 e-books, with over one billion annual downloads. Researchers have criticized Elsevier for its high profit marg ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Royal Netherlands Academy Of Arts And Sciences
The Royal Netherlands Academy of Arts and Sciences ( nl, Koninklijke Nederlandse Akademie van Wetenschappen, abbreviated: KNAW) is an organization dedicated to the advancement of science and literature in the Netherlands. The academy is housed in the Trippenhuis in Amsterdam. In addition to various advisory and administrative functions it operates a number of research institutes and awards many prizes, including the Lorentz Medal in theoretical physics, the Dr Hendrik Muller Prize for Behavioural and Social Science and the Heineken Prizes. Main functions The academy advises the Dutch government on scientific matters. While its advice often pertains to genuine scientific concerns, it also counsels the government on such topics as policy on careers for researchers or the Netherlands' contribution to major international projects. The academy offers solicited and unsolicited advice to parliament, ministries, universities and research institutes, funding agencies and internationa ... [...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] |
Jos Baeten
Josephus C.M. Baeten (born 15 June 1954) is a Dutch computer scientist and mathematician, who has published on process calculus, concurrency theory, formal methods, model-based software engineering, model-based systems engineering and theory of computation. Early life and education Jos Baeten was born in Tilburg. He received his Ph.D. from the University of Minnesota in 1985, advised by Wayne Richter. Career He was a researcher at Centrum Wiskunde & Informatica (CWI) and the University of Amsterdam until 1991, when he was appointed as a full professor at the Eindhoven University of Technology. There, he was professor at the Department of Mathematics and Computer Science from 1991 until 2015 (in two periods, he was dean of the department), and professor at the Department of Mechanical Engineering from 2010 until 2012. In 2011, he returned to CWI as its director, and in 2015, he returned to the University of Amsterdam as professor of theory of computing at the Institute of Logi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
