|
Joost-Pieter Katoen
Joost-Pieter Katoen (born October 6, 1964) is a Dutch theoretical computer scientist based in Germany. He is distinguished professor in Computer Science and head of the Software Modeling and Verification Group at RWTH Aachen University. Furthermore, he is part-time associated to the Formal Methods & Tools group at the University of Twente. Education Katoen received his master's degree with distinction in Computer Science from the University of Twente in 1987. In 1990, he was awarded a Professional Doctorate in Engineering from the Eindhoven University of Technology, and in 1996, he received his Ph.D. in computer science from the University of Twente. Research Katoen's main research interests are formal methods, computer aided verification, in particular model checking, concurrency theory, and semantics, in particular semantics of probabilistic programming languages. His research is largely tool and application oriented. Together with Christel Baier he wrote and published the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logic Lane
__NOTOC__ Logic Lane is a small historic cobbled lane that runs through University College in Oxford, England, so called because it was the location of a school of logicians. It links the High Street at the front of the college with Merton Street to the rear, which is also cobbled. Logic Lane covered bridge is a short covered bridge over the lane at the High Street end. To the west of the lane are the Radcliffe Quad and the Master's Lodgings. To the east are the 1903 Durham Buildings (on the High Street) and the Goodhart Quad. The lane is locked at night (usually at a time earlier than that advertised on the signs at either end of the lane), with gates at each end. It is mainly used by pedestrians, but vehicular access is possible. During July and August 1960, an archaeological excavation was undertaken to the east of Logic Lane before the construction of the Goodhart Building.Radcliffe, Fabian, Logic Lane Excavations, 1960. ''University College Record'', Volume III, No. 5, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Formal Methods
In computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design. Formal methods employ a variety of theoretical computer science fundamentals, including logic calculi, formal languages, automata theory, control theory, program semantics, type systems, and type theory. Background Semi-Formal Methods are formalisms and languages that are not considered fully “formal”. It defers the task of completing the semantics to a later stage, which is then done either by human interpretation or by interpretation through software like code or test case generators. Taxonomy Formal methods can be used at a number of levels: Level 0: Formal specification may ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
European Joint Conferences On Theory And Practice Of Software
The European Joint Conferences on Theory and Practice of Software (ETAPS) is a confederation of (currently) four computer science conferences taking place annually at one conference site, usually end of March or early April. Three of the four conferences (FoSSaCS, FASE, TACAS) are top ranked in software engineering and one ( ESOP) is top ranked in programming languages. Constituting conferences ETAPS currently confederates the following conferences: * European Symposium on Programming (ESOP, since 1998) * Foundations of Software Science and Computation Structures (FoSSaCS, since 1998) * Fundamental Approaches to Software Engineering (FASE, since 1998) * Tools and Algorithms for the Construction and Analysis of Systems (TACAS, since 1998) From 1995 to 2015, the International Conference on Compiler Construction (CC) and from 2012 to 2019 Principles of Security and Trust (POST) were constituting conferences as well. TACAS TACAS (Tools and Algorithms for the Construction and An ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Engineering And Physical Sciences Research Council
The Engineering and Physical Sciences Research Council (EPSRC) is a British Research Council that provides government funding for grants to undertake research and postgraduate degrees in engineering and the physical sciences, mainly to universities in the United Kingdom. EPSRC research areas include mathematics, physics, chemistry, artificial intelligence and computer science, but exclude particle physics, nuclear physics, space science and astronomy (which fall under the remit of the Science and Technology Facilities Council). Since 2018 it has been part of UK Research and Innovation, which is funded through the Department for Business, Energy and Industrial Strategy. History EPSRC was created in 1994. At first part of the Science and Engineering Research Council (SERC), in 2018 it was one of nine organisations brought together to form UK Research and Innovation (UKRI). Its head office is in Swindon, Wiltshire in the same building (Polaris House) that houses the AHRC, BBSRC ... [...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 13 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 prom ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
North Rhine-Westphalian Academy Of Sciences, Humanities And The Arts
The North Rhine-Westphalia Academy for Sciences and Arts (''Nordrhein-Westfälische Akademie der Wissenschaften und der Künste'') is a learned society in Düsseldorf Düsseldorf ( , , ; often in English sources; Low Franconian and Ripuarian: ''Düsseldörp'' ; archaic nl, Dusseldorp ) is the capital city of North Rhine-Westphalia, the most populous state of Germany. It is the second-largest city in th ..., Germany, founded in 1970. External links *http://www.awk.nrw.de/ {{DEFAULTSORT:North Rhine-Westphalia Academy For Sciences And Arts Education in Düsseldorf Culture in Düsseldorf Union of German Academies of Sciences and Humanities 1970 establishments in Germany Scientific organizations established in 1970 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Koninklijke Hollandsche Maatschappij Der Wetenschappen
The Koninklijke Hollandsche Maatschappij der Wetenschappen (Royal Holland Society of Sciences and Humanities), located on the east side of the Spaarne in downtown Haarlem, Netherlands, was established in 1752 and is the oldest society for the sciences in the country. The society has been housed in its present location, called Hodshon Huis, since 1841. Nearby the society is the Teylers Museum, a closely related museum of natural history founded in 1784. In 2002 the society was awarded the predicate "Royal" when it celebrated 250 years of science studies. History of the society and museum The society started as a gentleman's club that met in the Haarlem City Hall to discuss science topics and promote the study of the arts and sciences. They pooled resources to purchase books and specimens for study, which were kept in the town hall until they purchased a building on the Grote Houtstraat (nr. 51, since unrecognizably rebuilt), where the curator of the collection lived. Under the dire ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Association For Computing Machinery
The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional membership group, claiming nearly 110,000 student and professional members . Its headquarters are in New York City. The ACM is an umbrella organization for academic and scholarly interests in computer science ( informatics). Its motto is "Advancing Computing as a Science & Profession". History In 1947, a notice was sent to various people: On January 10, 1947, at the Symposium on Large-Scale Digital Calculating Machinery at the Harvard computation Laboratory, Professor Samuel H. Caldwell of Massachusetts Institute of Technology spoke of the need for an association of those interested in computing machinery, and of the need for communication between them. ..After making some inquiries during May and June, we believe there is ample interest to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Principles Of Model Checking
''Principles of Model Checking'' is a textbook on model checking, an area of computer science that automates the problem of determining if a machine meets specification requirements. It was written by Christel Baier and Joost-Pieter Katoen, and published in 2008 by MIT Press. Synopsis The introduction and first chapter outline the field of model checking: a model of a machine or process can be analysed to see if desirable properties hold. For instance, a vending machine might satisfy the property "the balance can never fall below €0,00". A video game might enforce the rule "if the player has 0 lives then the game ends in a loss". Both the vending machine and video game can be modelled as transition systems. Model checking is the process of describing such requirements in mathematical language, and automating proofs that the model satisfies the requirements, or discovery of counterexamples if the model is faulty. The second chapter focuses on creating an appropriate model for ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Christel Baier
Christel Baier (born 26 September 1965) is a German theoretical computer scientist known for her work in model checking, temporal logic, and automata theory. She is a professor at TU Dresden, where she holds the chair for Algebraic and Logic Foundations of Computer Science in the Faculty of Computer Science. Baier is the editor-in-chief of ''Acta Informatica''. Education and career Baier earned a diploma in mathematics at the University of Mannheim in 1990, and stayed at the same university for graduate study in computer science, completing her Ph.D. there in 1994. Her dissertation, ''Transitionssystem- und Baum-Semantiken für CCS'', was supervised by Mila Majster-Cederbaum. She earned a habilitation at Mannheim in 1999. She became an associate professor for computer science at the University of Bonn in 1999, and moved to TU Dresden as a professor in 2006. Book With Joost-Pieter Katoen, Baier is coauthor of the book ''Principles of Model Checking'' (MIT Press, 2008). Recogni ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Probabilistic Programming Language
Probabilistic programming (PP) is a programming paradigm in which probabilistic models are specified and inference for these models is performed automatically. It represents an attempt to unify probabilistic modeling and traditional general purpose programming in order to make the former easier and more widely applicable.Pfeffer, Avrom (2014), ''Practical Probabilistic Programming'', Manning Publications. p.28. It can be used to create systems that help make decisions in the face of uncertainty. Programming languages used for probabilistic programming are referred to as "probabilistic programming languages" (PPLs). Applications Probabilistic reasoning has been used for a wide variety of tasks such as predicting stock prices, recommending movies, diagnosing computers, detecting cyber intrusions and image detection. However, until recently (partially due to limited computing power), probabilistic programming was limited in scope, and most inference algorithms had to be written ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Semantics (computer Science)
In programming language theory, semantics is the rigorous mathematical study of the meaning of programming languages. Semantics assigns computational meaning to valid strings in a programming language syntax. Semantics describes the processes a computer follows when executing a program in that specific language. This can be shown by describing the relationship between the input and output of a program, or an explanation of how the program will be executed on a certain platform, hence creating a model of computation. History In 1967, Robert W. Floyd publishes the paper ''Assigning meanings to programs''; his chief aim is "a rigorous standard for proofs about computer programs, including proofs of correctness, equivalence, and termination". Floyd further writes: A semantic definition of a programming language, in our approach, is founded on a syntactic definition. It must specify which of the phrases in a syntactically correct program represent commands, and what conditions ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
