|
Jan Friso Groote
Jan Friso Groote (born April 13, 1965, in Doetinchem) is a Dutch computer scientist. Education Groote studied computer science at Twente University obtaining his master's degree in 1988 under supervision of Ed Brinksma. He obtained his PhD thesis in 1991 under Jan Bergstra and Jos Baeten at the University of Amsterdam, while working at the Centre for Mathematics and Computer Science in Amsterdam. Profession He contributed to structural operational semantics and verification technology. His particular contributions include the ''tyft/tyxt format'' for operational rules, the first algorithm to determine branching bisimulation and the ''cones and foci method'' to prove correctness of protocols and distributed algorithms. He is the founding godfather of the process modelling language and analysis tool sets μCRL and mCRL2. He began working in 2000 as a full professor in verification technology at Eindhoven University of Technology The Eindhoven University of Technolo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Doetinchem
Doetinchem (; Dutch Low Saxon, Low Saxon: ) is a city and Municipalities in the Netherlands, municipality in the east of the Netherlands. It is situated along the IJssel, Oude IJssel (Old IJssel) river in a part of the Provinces of the Netherlands, province of Gelderland called the Achterhoek. The municipality had a population of in and consists of an area of of which is water. This makes Doetinchem the largest town (by population) in the Achterhoek. On 1 January 2005, a municipal restructuring merged the neighbouring municipality of Wehl as well as the Zelhelmse Broek area with Doetinchem. Population centres The local government organization in the Netherlands is complex and fine-grained (see Municipalities in the Netherlands, municipality and Govt Stats, with municipalities being divided into various entities. The municipality of Doetinchem consists of: The city ('stad'): * Doetinchem The neighborhoods ('wijken'): * City centre (Doetinchem), Centrum * Bezelhorst * Dichter ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Twente University
The University of Twente ( ; abbr. ) is a public technical university located in Enschede, Netherlands. The university has been placed in the top 170 universities in the world by multiple central ranking tables. In addition, the UT was ranked the best technical university in the Netherlands by Keuzegids Universiteiten, the most significant national university ranking. The UT collaborates with Delft University of Technology, Eindhoven University of Technology and the Wageningen University and Research Centre under the umbrella of 4TU and is also a partner in the European Consortium of Innovative Universities (ECIU). History The university was founded in 1961 as ''Technische Hogeschool Twente'' (''THT''). After Delft University of Technology and Eindhoven University of Technology, it became the third polytechnic institute in the Netherlands to become a university. The institution was later renamed to Universiteit Twente (University of Twente) in 1986, as the result of the cha ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jan Bergstra
Johannes Aldert "Jan" Bergstra (born 1951) is a Dutch computer scientist. His work has focused 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 University of Leiden (1976–82), and the Centrum Wiskunde & Informatica (CWI) in Am ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Amsterdam
The University of Amsterdam (abbreviated as UvA, ) is a public university, public research university located in Amsterdam, Netherlands. Established in 1632 by municipal authorities, it is the fourth-oldest academic institution in the Netherlands still in operation. The UvA is one of two large, publicly funded research universities in the city, the other being the Vrije Universiteit Amsterdam (VU). It is also part 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 List of universities in the Netherlands, largest university in the Netherlands by enrollment. The main campus is located in Amsterdam-Centrum, central Amsterdam, with a few faculties located in adjacent Government of Amsterdam, boroughs. The university is organised into seven faculties: Humanities, Social science, Social and Psychology, Behavioural Sciences, Economics and Business, Science, Law, Medicine, Dentistry. Clo ... [...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] |
Amsterdam
Amsterdam ( , ; ; ) is the capital of the Netherlands, capital and Municipalities of the Netherlands, largest city of the Kingdom of the Netherlands. It has a population of 933,680 in June 2024 within the city proper, 1,457,018 in the City Region of Amsterdam, urban area and 2,480,394 in the Amsterdam metropolitan area, metropolitan area. Located in the Provinces of the Netherlands, Dutch province of North Holland, Amsterdam is colloquially referred to as the "Venice of the North", for its canals of Amsterdam, large number of canals, now a World Heritage Site, UNESCO World Heritage Site. Amsterdam was founded at the mouth of the Amstel River, which was dammed to control flooding. Originally a small fishing village in the 12th century, Amsterdam became a major world port during the Dutch Golden Age of the 17th century, when the Netherlands was an economic powerhouse. Amsterdam was the leading centre for finance and trade, as well as a hub of secular art production. In the 19th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Operational Semantics
Operational semantics is a category of formal programming language semantics in which certain desired properties of a program, such as correctness, safety or security, are verified by constructing proofs from logical statements about its execution and procedures, rather than by attaching mathematical meanings to its terms (denotational semantics). Operational semantics are classified in two categories: structural operational semantics (or small-step semantics) formally describe how the ''individual steps'' of a computation take place in a computer-based system; by opposition natural semantics (or big-step semantics) describe how the ''overall results'' of the executions are obtained. Other approaches to providing a formal semantics of programming languages include axiomatic semantics and denotational semantics. The operational semantics for a programming language describes how a valid program is interpreted as sequences of computational steps. These sequences then ''are'' the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bisimulation
In theoretical computer science a bisimulation is a binary relation between state transition systems, associating systems that behave in the same way in that one system simulates the other and vice versa. Intuitively two systems are bisimilar if they, assuming we view them as playing a ''game'' according to some rules, match each other's moves. In this sense, each of the systems cannot be distinguished from the other by an observer. Formal definition Given a labeled state transition system , where is a set of states, \Lambda is a set of labels and → is a set of labelled transitions (i.e., a subset of S \times \Lambda \times S), a bisimulation is a binary relation R \subseteq S \times S, such that both and its converse R^T are simulations. From this follows that the symmetric closure of a bisimulation is a bisimulation, and that each symmetric simulation is a bisimulation. Thus some authors define bisimulation as a symmetric simulation. Equivalently, is a bisimulatio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
MCRL2
mCRL2 is a specification language for describing concurrent discrete event systems. It is accompanied with a toolset, that facilitates tools, techniques and methods for simulation, analysis and visualization of behaviour. The behavioural part of the language is based on process algebra ( Algebra of Communicating Processes). The data part of the toolset is based on abstract equational data types extended with higher-order functions. The toolset was founded by Jan Friso Groote and is currently developed by the Formal Systems Analysis group at Eindhoven University of Technology, The Netherlands , Terminology of the Low Countries, informally Holland, is a country in Northwestern Europe, with Caribbean Netherlands, overseas territories in the Caribbean. It is the largest of the four constituent countries of the Kingdom of the Nether .... References *Groote, J.F., Mousavi, M.R. ''Modeling and analysis of communicating systems''. The MIT press. 2014. {{ISBN, 9780262027717. Exte ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Eindhoven University Of Technology
The Eindhoven University of Technology (), Abbreviation, abbr. TU/e, is a public university, public technical university in the Netherlands, situated in Eindhoven. In 2020–21, around 14,000 students were enrolled in its Bachelor of Science, BSc and Master of Science, MSc programs and around 1350 students were enrolled in its Doctor of Philosophy, PhD and EngD programs. In 2021, the TU/e employed around 3900 people. TU/e is the Dutch member of the EuroTech Universities Alliance, a partnership of European universities of science & technology. The other members are Technical University of Denmark (DTU), École Polytechnique Fédérale de Lausanne (EPFL), École Polytechnique (L’X), The Technion, and Technical University of Munich (TUM). History The Eindhoven University of Technology was founded as the ''Technische Hogeschool Eindhoven'' (THE) on 23 June 1956 by the Dutch government. It was the second institute of its kind in the Netherlands, after the Delft University of Tech ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1965 Births
Events January–February * January 14 – The First Minister of Northern Ireland and the Taoiseach of the Republic of Ireland meet for the first time in 43 years. * January 20 ** Lyndon B. Johnson is Second inauguration of Lyndon B. Johnson, sworn in for a full term as President of the United States. ** Indonesian President Sukarno announces the withdrawal of the Indonesian government from the United Nations. * January 29 – Tampere Ice Stadium, Hakametsä, the first ice rink of Finland, is inaugurated in Tampere. * January 30 – The Death and state funeral of Winston Churchill, state funeral of Sir Winston Churchill takes place in London with the largest assembly of dignitaries in the world until the 2005 funeral of Pope John Paul II. * February 4 – Trofim Lysenko is removed from his post as director of the Institute of Genetics at the Russian Academy of Sciences, Academy of Sciences in the Soviet Union. Lysenkoism, Lysenkoist theories are now tr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
