|
Marieke Huisman
Marieke Huisman (born 3 May 1973, Utrecht, Netherlands) is a Dutch Computer Scientist and a professor of ''Software Reliability'' at the University of Twente, where she leads the ''Formal Methods and Tools'' Group. Career Huisman graduated from Utrecht University in 1996. She obtained her PhD at Radboud University Nijmegen in 2001; her dissertation, entitled ''Reasoning about Java programs in higher order logic using PVS and Isabelle'', was supervised by Henk Barendregt. From 2001 to 2008 she worked at the INRIA Sophia Antipolis Research Centre in France, before joining the University of Twente in the Netherlands. Huisman received an ERC Starting Grant in 2010 and an NWO Vici Grant in 2017. She was awarded the Netherlands Prize for ICT Research in 2013 and the Professor De Winter prize in 2014. Since July 2017, Huisman is a full professor at the University of Twente The University of Twente (Dutch: ''Universiteit Twente''; , abbr. ) is a public technical university lo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Utrecht
Utrecht ( , , ) is the List of cities in the Netherlands by province, fourth-largest city and a List of municipalities of the Netherlands, municipality of the Netherlands, capital and most populous city of the Provinces of the Netherlands, province of Utrecht (province), Utrecht. It is located in the eastern corner of the Randstad conurbation, in the very centre of mainland Netherlands, about 35 km south east of the capital Amsterdam and 45 km north east of Rotterdam. It has a population of 361,966 as of 1 December 2021. Utrecht's ancient city centre features many buildings and structures, several dating as far back as the High Middle Ages. It has been the religious centre of the Netherlands since the 8th century. It was the most important city in the Netherlands until the Dutch Golden Age, when it was surpassed by Amsterdam as the country's cultural centre and most populous city. Utrecht is home to Utrecht University, the largest university in the Netherlands, as well as seve ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 Netherlands , established_title2 = Act of Abjuration , established_date2 = 26 July 1581 , established_title3 = Peace of Münster , established_date3 = 30 January 1648 , established_title4 = Kingdom established , established_date4 = 16 March 1815 , established_title5 = Liberation Day (Netherlands), Liberation Day , established_date5 = 5 May 1945 , established_title6 = Charter for the Kingdom of the Netherlands, Kingdom Charter , established_date6 = 15 December 1954 , established_title7 = Dissolution of the Netherlands Antilles, Caribbean reorganisation , established_date7 = 10 October 2010 , official_languages = Dutch language, Dutch , languages_type = Regional languages , languages_sub = yes , languages = , languages2_type = Reco ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Utrecht University
Utrecht University (UU; nl, Universiteit Utrecht, formerly ''Rijksuniversiteit Utrecht'') is a public research university in Utrecht, Netherlands. Established , it is one of the oldest universities in the Netherlands. In 2018, it had an enrollment of 31,801 students, and employed 7,191 faculty and staff. In 2018, 525 PhD degrees were awarded and 6,948 scientific articles were published. The 2018 budget of the university was €857 million. Utrecht University counts a number of distinguished scholars among its alumni and faculty, including 12 Nobel Prize laureates and 13 Spinoza Prize laureates. Utrecht University has been placed consistently in the top 100 universities in the world by prominent international ranking tables. The university is ranked as the best university in the Netherlands by the Shanghai Ranking of World Universities 2022, ranked 14th in Europe and 54th in the world. The university's motto is "Sol Iustitiae Illustra Nos", which means ''May the Sun of Righteous ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Henk Barendregt
Hendrik Pieter (Henk) Barendregt (born 18 December 1947, Amsterdam) is a Dutch logician, known for his work in lambda calculus and type theory. Life and work Barendregt studied mathematical logic at Utrecht University, obtaining his master's degree in 1968 and his PhD in 1971, both ''cum laude'', under Dirk van Dalen and Georg Kreisel. After a postdoctoral position at Stanford University, he taught at Utrecht University. Since 1986, Barendregt has taught at Radboud University Nijmegen, where he now holds the Chair of Foundations of Mathematics and Computer Science. His research group works on Constructive Interactive Mathematics. He is also Adjunct Professor at Carnegie Mellon University, Pittsburgh, USA. He has been a visiting scholar at Darmstadt, ETH Zürich, Siena, and Kyoto. Barendregt was elected a member of Academia Europaea in 1992. In 1997 Barendregt was elected member of the Royal Netherlands Academy of Arts and Sciences. On 6 February 2003 Barendregt was awarded the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Radboud University Nijmegen
Radboud University (abbreviated as RU, nl, Radboud Universiteit , formerly ''Katholieke Universiteit Nijmegen'') is a public research university located in Nijmegen, the Netherlands. The university bears the name of Saint Radboud, a 9th century Dutch bishop who was known for his intellect and support of the underprivileged. Established in 1923, Radboud University has consistently been included in the top 150 of universities in the world by four major university ranking tables. As of 2020, it ranks 105th in the Shanghai Academic Ranking of World Universities. Internationally, RU is known for its strong research output. In 2020, 391 PhD degrees were awarded, and 8.396 scientific articles were published. To bolster the international exchange of academic knowledge, Radboud University joined the Guild of European Research-Intensive Universities in 2016. Among its alumni Radboud University counts 12 Spinoza Prize laureates and 1 Nobel Prize laureate, Sir Konstantin Novoselov, the disco ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Scientist
A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (although there is overlap). Although computer scientists can also focus their work and research on specific areas (such as algorithm and data structure development and design, software engineering, information theory, database theory, computational complexity theory, numerical analysis, programming language theory, computer graphics, and computer vision), their foundation is the theoretical study of computing from which these other fields derive. A primary goal of computer scientists is to develop or validate models, often mathematical, to describe the properties of computational systems (processors, programs, computers interacting with people, computers interacting with other computers, etc.) with an overall objective of discovering des ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Twente
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) ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sophia Antipolis
(wisdom), gr, (Ἀντίπολις, antipolis) ("opposite city" from its position on the opposite side of the Var estuary from Nice, also former name of Antibes, part of the technology park) , postal_code = 06220 (Vallauris), 06250 (Mougins), 06410 (Biot), 06560 (Valbonne), 06600 (Antibes) , coordinates = , pushpin_map = France#France Provence-Alpes-Côte d'Azur , website sophia-antipolis.fr Sophia Antipolis is a 2,400 hectare technology park in southeast France, and as of 2021 home to 2,500 companies, valued today at more than 5.6 billion euros and employing more than 38,000 people counting more than 80 nationalities. The park is known to be Europe's first science and technology hub. The technology park is also a platform, cluster and creation-hub for start-ups. The "technopole" houses primarily companies in the fields of computing, electronics, telecommunication, pharmacology and biotechnology. Several institutions of higher learning ... [...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] |
Netherlands Organisation For Scientific Research
The Dutch Research Council (NWO, Dutch: Nederlandse Organisatie voor Wetenschappelijk Onderzoek) is the national research council of the Netherlands. NWO funds thousands of top researchers at universities and institutes and steers the course of Dutch science by means of subsidies and research programmes. NWO promotes quality and innovation in science. NWO is an independent administrative body under the auspices of the Dutch Ministry of Education, Culture and Science. NWO directs its approximate budget of 1 billion euros towards Dutch universities and institutes, often on a project basis. Also, NWO has its own research institutes and facilitates international cooperation. Current president of NWO since April 1st, 2021 is Marcel Levi. Former NWO presidents include Stan Gielen, Peter Nijkamp and Jos Engelen. NWO is also known for the annual Spinoza and Stevin Prizes. History The council was established in 1950 as ''Nederlandse Organisatie voor Zuiver-Wetenschappelijk Onderzoek' ... [...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] |
1973 Births
Events January * January 1 - The United Kingdom, the Republic of Ireland and Denmark 1973 enlargement of the European Communities, enter the European Economic Community, which later becomes the European Union. * January 15 – Vietnam War: Citing progress in peace negotiations, U.S. President Richard Nixon announces the suspension of offensive action in North Vietnam. * January 17 – Ferdinand Marcos becomes President for Life of the Philippines. * January 20 – Richard Nixon is Second inauguration of Richard Nixon, sworn in for a second term as President of the United States. Nixon is the only person to have been sworn in twice as President (First inauguration of Richard Nixon, 1969, Second inauguration of Richard Nixon, 1973) and Vice President of the United States (First inauguration of Dwight D. Eisenhower, 1953, Second inauguration of Dwight D. Eisenhower, 1957). * January 22 ** George Foreman defeats Joe Frazier to win the heavyweight world boxing championship. ** A ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.jpg "Click for more on -> Utrecht")
