|
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 Centrum Wiskunde & Informatica, Centre for Mathematics and Computer Science in Amsterdam. Profession He contributed to operational semantics, structural operational semantics and verification technology. His particular contributions include the ''tyft/tyxt format'' for operational rules, the first algorithm to determine bisimulation, 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 muCRL and mCRL2. He began working in 2000 as a full professor in verification technology at Eindhoven Un ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Doetinchem
Doetinchem (; Low Saxon: ) is a city and municipality in the east of the Netherlands. It is situated along the Oude IJssel (Old IJssel) river in a part of the 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 municipality and Govt Stats, with municipalities being divided into various entities. The municipality of Doetinchem consists of: The city ('stad'): * Doetinchem The neighborhoods ('wijken'): * Centrum * Bezelhorst * Dichteren * Overstegen * De Huet * De Hoop * Oosseld * Schöneveld & Muziekbuurt The townships ('buurtschappen'): * Gaanderen * Wehl * IJzevoorde * Lan ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Twente University
The University of Twente (Dutch: ''Universiteit 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'' or ''(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) i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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] |
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] |
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 F27 F ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Amsterdam
Amsterdam ( , , , lit. ''The Dam on the River Amstel'') is the Capital of the Netherlands, capital and Municipalities of the Netherlands, most populous city of the Netherlands, with The Hague being the seat of government. It has a population of 907,976 within the city proper, 1,558,755 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 large number of canals, now designated a World Heritage Site, UNESCO World Heritage Site. Amsterdam was founded at the mouth of the Amstel River that was dammed to control flooding; the city's name derives from the Amstel dam. Originally a small fishing village in the late 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 is th ... [...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 labelled state transition system (S, \Lambda, →), where S 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 R 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. Equivalentl ... [...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 ) , anthem = ( en, "William of Nassau") , image_map = , map_caption = , subdivision_type = Sovereign state , subdivision_name = Kingdom of the Netherlands , established_title = Before independence , established_date = Spanish Netherl .... References *Groote, J.F., Mousavi, M.R. ''Modeling and analysis of communicating systems''. The MIT press. 2014. {{ISBN, 9780262027717. Exter ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Eindhoven University Of Technology
The Eindhoven University of Technology ( nl, Technische Universiteit Eindhoven), abbr. TU/e, is a public technical university in the Netherlands, located in the city of Eindhoven. In 2020–21, around 14,000 students were enrolled in its BSc and MSc programs and around 1350 students were enrolled in its PhD and PDEng programs. In 2021, the TU/e employed around 3900 people. Eindhoven University of Technology has been ranked in the top 200 universities in three major ranking systems. The 2019 QS World University Rankings place Eindhoven 99th in the world, 34th in Europe, and 3rd in the Netherlands. TU/e is the Dutch member of thEuroTech Universities Alliance a strategic partnership of universities of science & technology in Europe: Technical University of Denmark (DTU), École Polytechnique Fédérale de Lausanne (EPFL), École Polytechnique (L’X), The Technion, Eindhoven University of Technology (TU/e), and Technical University of Munich (TUM). History The Eindhoven Uni ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1965 Births
Events January–February * January 14 – The Prime 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 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 treated as pseudoscience. * February 12 ** The African and Malagasy Republic, Malagasy Common Organization ('; OCA ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.jpg "Click for more on -> Amsterdam")
