HOME





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]  


picture info

Tilburg
Tilburg () is a city and municipality in the Netherlands, in the southern province of North Brabant. With a population of 222,601 (1 July 2021), it is the second-largest city or municipality in North Brabant after Eindhoven and the seventh-largest in the Netherlands as a whole. Tilburg University is located in Tilburg, as are Avans University of Applied Sciences and Fontys University of Applied Sciences. Tilburg is known for its ten-day-long funfair, held in July each year. The Monday during the funfair is called "Roze Maandag" (Pink Monday) and is primarily LGBT-oriented. There are three railway stations within the municipality: Tilburg, Tilburg Universiteit and Tilburg Reeshof. The "Spoorzone" area around Tilburg Central station, once a Dutch Railways train maintenance yard, has been purchased by the city and is being transformed into an urban zone. History Little is known about the beginnings of Tilburg. The name ''Tilliburg'' first appeared in documents d ...
[...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 ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Academic Staff Of The Eindhoven University Of Technology
An academy (Attic Greek: Ἀκαδήμεια; Koine Greek Ἀκαδημία) is an institution of secondary or tertiary higher learning (and generally also research or honorary membership). The name traces back to Plato's school of philosophy, founded approximately 385 BC at Akademia, a sanctuary of Athena, the goddess of wisdom and skill, north of Athens, Greece. Etymology The word comes from the ''Academy'' in ancient Greece, which derives from the Athenian hero, ''Akademos''. Outside the city walls of Athens, the gymnasium was made famous by Plato as a center of learning. The sacred space, dedicated to the goddess of wisdom, Athena, had formerly been an olive grove, hence the expression "the groves of Academe". In these gardens, the philosopher Plato conversed with followers. Plato developed his sessions into a method of teaching philosophy and in 387 BC, established what is known today as the Old Academy. By extension, ''academia'' has come to mean the accumulation, dev ...
[...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]  


picture info

People From Tilburg
A person ( : people) is a being that has certain capacities or attributes such as reason, morality, consciousness or self-consciousness, and being a part of a culturally established form of social relations such as kinship, ownership of property, or legal responsibility. The defining features of personhood and, consequently, what makes a person count as a person, differ widely among cultures and contexts. In addition to the question of personhood, of what makes a being count as a person to begin with, there are further questions about personal identity and self: both about what makes any particular person that particular person instead of another, and about what makes a person at one time the same person as they were or will be at another time despite any intervening changes. The plural form "people" is often used to refer to an entire nation or ethnic group (as in "a people"), and this was the original meaning of the word; it subsequently acquired its use as a plural form of p ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

University Of Minnesota Alumni
A university () is an institution of higher (or tertiary) education and research which awards academic degrees in several academic disciplines. ''University'' is derived from the Latin phrase ''universitas magistrorum et scholarium'', which roughly means "community of teachers and scholars". Universities typically offer both undergraduate and postgraduate programs. The first universities in Europe were established by Catholic Church monks. The University of Bologna (), Italy, which was founded in 1088, is the first university in the sense of: *being a high degree-awarding institute. *using the word ''universitas'' (which was coined at its foundation). *having independence from the ecclesiastic schools and issuing secular as well as non-secular degrees (with teaching conducted by both clergy and non-clergy): grammar, rhetoric, logic, theology, canon law, notarial law.Hunt Janin: "The university in medieval life, 1179–1499", McFarland, 2008, , p. 55f.de Ridder-Symoens, Hilde''A ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Dutch Mathematicians
Dutch commonly refers to: * Something of, from, or related to the Netherlands * Dutch people () * Dutch language () Dutch may also refer to: Places * Dutch, West Virginia, a community in the United States * Pennsylvania Dutch Country People Ethnic groups * Germanic peoples, the original meaning of the term ''Dutch'' in English ** Pennsylvania Dutch, a group of early Germanic immigrants to Pennsylvania *Dutch people, the Germanic group native to the Netherlands Specific people * Dutch (nickname), a list of people * Johnny Dutch (born 1989), American hurdler * Dutch Schultz (1902–1935), American mobster born Arthur Simon Flegenheimer * Dutch Mantel, ring name of American retired professional wrestler Wayne Maurice Keown (born 1949) * Dutch Savage, ring name of professional wrestler and promoter Frank Stewart (1935–2013) Arts, entertainment, and media Fictional characters * Dutch (''Black Lagoon''), an African-American character from the Japanese manga and anime ''Bla ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

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 d ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


DBLP
DBLP is a computer science bibliography website. Starting in 1993 at Universität Trier in Germany, it grew from a small collection of HTML files and became an organization hosting a database and logic programming bibliography site. Since November 2018, DBLP is a branch of Schloss Dagstuhl – Leibniz-Zentrum für Informatik (LZI). DBLP listed more than 5.4 million journal articles, conference papers, and other publications on computer science in December 2020, up from about 14,000 in 1995 and 3.66 million in July 2016. All important journals on computer science are tracked. Proceedings papers of many conferences are also tracked. It is mirrored at three sites across the Internet. For his work on maintaining DBLP, Michael Ley received an award from the Association for Computing Machinery (ACM) and the VLDB Endowment Special Recognition Award in 1997. Furthermore, he was awarded the ACM Distinguished Service Award for "creating, developing, and curating DBLP" in 2019. ''DB ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Google Scholar
Google Scholar is a freely accessible web search engine that indexes the full text or metadata of scholarly literature across an array of publishing formats and disciplines. Released in beta in November 2004, the Google Scholar index includes peer-reviewed online academic journals and books, conference papers, theses and dissertations, preprints, abstracts, technical reports, and other scholarly literature, including court opinions and patents. Google Scholar uses a web crawler, or web robot, to identify files for inclusion in the search results. For content to be indexed in Google Scholar, it must meet certain specified criteria. An earlier statistical estimate published in PLOS One using a mark and recapture method estimated approximately 80–90% coverage of all articles published in English with an estimate of 100 million.''Trend Watch'' (2014) Nature 509(7501), 405 – discussing Madian Khabsa and C Lee Giles (2014''The Number of Scholarly Documents on the Public W ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]