Adriaan De Groot (software Developer)
   HOME
*





Adriaan De Groot (software Developer)
Adriaan de Groot (born 6 January 1973) is a researcher in software quality and formal verification. He has lived in Nijmegen, Netherlands since 1990. He is a KDE developer, member of KDE e.V. board and coordinator of KDE Netherlands. Born in Calgary, Alberta Calgary ( ) is the largest city in the western Canadian province of Alberta and the largest metro area of the three Prairie Provinces. As of 2021, the city proper had a population of 1,306,784 and a metropolitan population of 1,481,806, makin ..., Canada, de Groot has been a KDE contributor since 2000. He works on porting KDE to both FreeBSD and Solaris. Since 2007, he has also been a member of KDE e.V. board. In summer 2009 he was elected as vice president of KDE e.V. References External links People behind KDEPractical Automaton Proofs in PVS
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Sebastian Kügler
Sebastian may refer to: People * Sebastian (name), including a list of persons with the name Arts, entertainment, and media Films and television * ''Sebastian'' (1968 film), British spy film * ''Sebastian'' (1995 film), Swedish drama film * ''Sebastian'' (2017 film) * ''Belle and Sebastian'' (Japanese TV series), a 1981 anime series based on the 1965 novel * '' Sebastian Star Bear: First Mission'', a Dutch animated film released in 1991 * ''Sebastiane'' (1976 film), 1976 Derek Jarman film in Latin about the saint Literature * ''Sebastian'' (Bishop novel), the first novel of the ''Landscapes of Ephemera'' duology written by Anne Bishop * ''Sebastian'' (Durrell novel), the fourth volume in ''The Avignon Quintet'' series by Lawrence Durrell * '' Belle et Sébastien'', a 1965 novel and live action TV series written by Cécile Aubry * "Sebastian, or, Virtue Rewarded", the name of an unpublished poem written around 1815 by the 9-year-old Elizabeth Barrett, later famous as E ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Calgary
Calgary ( ) is the largest city in the western Canadian province of Alberta and the largest metro area of the three Prairie Provinces. As of 2021, the city proper had a population of 1,306,784 and a metropolitan population of 1,481,806, making it the third-largest city and fifth-largest metropolitan area in Canada. Calgary is situated at the confluence of the Bow River and the Elbow River in the south of the province, in the transitional area between the Rocky Mountain Foothills and the Canadian Prairies, about east of the front ranges of the Canadian Rockies, roughly south of the provincial capital of Edmonton and approximately north of the Canada–United States border. The city anchors the south end of the Statistics Canada-defined urban area, the Calgary–Edmonton Corridor. Calgary's economy includes activity in the energy, financial services, film and television, transportation and logistics, technology, manufacturing, aerospace, health and wellness, retail, and ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

KDE E
KDE is an international free software community that develops free and open-source software. As a central development hub, it provides tools and resources that allow collaborative work on this kind of software. Well-known products include the Plasma Desktop (the default desktop environment on many Linux distributions), KDE Frameworks, and a range of cross-platform applications such as Amarok, digiKam, and Krita that are designed to run on Unix and Unix-like operating systems, Microsoft Windows, and Android. Origins KDE (back then called the ''K(ool) Desktop Environment'') was founded in 1996 by Matthias Ettrich, a student at the University of Tübingen. At the time, he was troubled by certain aspects of the Unix desktop. Among his concerns was that none of the applications looked or behaved alike. In his opinion, desktop applications of the time were too complicated for end users. In order to solve the issue, he proposed the creation of a desktop environment in which ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Nijmegen
Nijmegen (;; Spanish and it, Nimega. Nijmeegs: ''Nimwèège'' ) is the largest city in the Dutch province of Gelderland and tenth largest of the Netherlands as a whole, located on the Waal river close to the German border. It is about 60 km south east of Utrecht and 50 km north east of Eindhoven. Nijmegen is the oldest city in the Netherlands, the second to be recognized as such in Roman times, and in 2005 celebrated 2,000 years of existence. Nijmegen became a free imperial city in 1230 and in 1402 a Hanseatic city. Since 1923 it has been a university city with the opening of a Catholic institution now known as the Radboud University Nijmegen. The city is well known for the International Four Days Marches Nijmegen event. Its population in 2022 was 179,000; the municipality is part of the Arnhem–Nijmegen metropolitan area, with 736,107 inhabitants in 2011. Population centres The municipality is formed by the city of Nijmegen, incorporating the former villages of Ha ...
[...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]  


picture info

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]  


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]  




Dutch Computer Programmers
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 ''Black L ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Free Software Programmers
Free may refer to: Concept * Freedom, having the ability to do something, without having to obey anyone/anything * Freethought, a position that beliefs should be formed only on the basis of logic, reason, and empiricism * Emancipate, to procure political rights, as for a disenfranchised group * Free will, control exercised by rational agents over their actions and decisions * Free of charge, also known as gratis. See Gratis vs libre. Computing * Free (programming), a function that releases dynamically allocated memory for reuse * Free format, a file format which can be used without restrictions * Free software, software usable and distributable with few restrictions and no payment * Freeware, a broader class of software available at no cost Mathematics * Free object ** Free abelian group ** Free algebra ** Free group ** Free module ** Free semigroup * Free variable People * Free (surname) * Free (rapper) (born 1968), or Free Marie, American rapper and media personal ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

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