Adriaan de Groot (software developer)
It is proposed that this article be deleted because of the following concern:
If you can address this concern by improving, copyediting, sourcing, renaming, or merging the page, please edit this page and do so. You may remove this message if you improve the article or otherwise object to deletion for any reason. Although not required, you are encouraged to explain why you object to the deletion, either in your edit summary or on the talk page. If this template is removed, do not replace it. The article may be deleted if this message remains in place for seven days, i.e., after 05:44, 8 February 2025 (UTC). Find sources: "Adriaan de Groot" software developer – news · newspapers · books · scholar · JSTOR |
Adriaan de Groot | |
---|---|
Born | Calgary, Alberta, Canada | 6 January 1973
Known for | KDE contributor and KDE e.V. vice president |
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.[1]
Born in Calgary, Alberta, 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.[2] In summer 2009 he was elected as vice president of KDE e.V.[3]
References
[edit]- ^ "KDE Nederland". Retrieved 13 May 2011.
- ^ Jos Poortvliet (6 July 2007). "aKademy 2007: KDE e.V. Meeting". KDE. KDE.NEWS. Retrieved 4 May 2011.
- ^ Sebastian Kügler (7 July 2009). "KDE e.V. Elects New Board of Directors". KDE. KDE.NEWS. Archived from the original on 27 May 2011. Retrieved 8 May 2011.
External links
[edit]- People behind KDE
- Practical Automaton Proofs in PVS (PhD Thesis)