Adriaan de Groot (born 6 January 1973) is a researcher in software quality and formal verification. He has lived in
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 6 ...
,
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 ...
since 1990. He is a
KDE
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 ...
developer, member of
KDE e.V.
KDE e.V. is a registered non-profit organization that represents the KDE community in the legal and financial entities. The association supports KDE’s work in cash, hardware, and other donations, and then the use of donations to help the KDE dev ...
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 Canadian Prairies, Prairie Provinces. As of 2021, the city proper had a population of 1,306,784 and a metropolitan population ...
, 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
(PhD Thesis)
1973 births
Living people
Dutch computer programmers
Free software programmers
KDE
People from Calgary
Radboud University Nijmegen alumni
{{Europe-compu-bio-stub