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]
Adriaan de Groot | |
---|---|
Born | Calgary, Alberta, Canada | 6 January 1973
Known for | KDE contributor and KDE e.V. vice president |
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)