Adriaan de Groot (born 6 January 1973) is a researcher in software quality and formal verification. He has lived in
Nijmegen,
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. 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(PhD Thesis)
1973 births
Living people
Dutch computer programmers
Free software programmers
KDE
People from Calgary
Radboud University Nijmegen alumni
{{Europe-compu-bio-stub