Adriaan de Groot (software developer)
From Infogalactic: the planetary knowledge core
Adriaan de Groot | |
---|---|
Adriaan de Groot (l.) and Sebastian Kügler (r.) on KDE 4.0 release event
|
|
Born | Calgary, Canada |
6 January 1973
Residence | Nijmegen, Netherlands |
Known for | KDE contributor and KDE e.V. vice president |
Adriaan de Groot (born January 6, 1973 in Calgary, Canada) is a researcher in software quality and formal verification. He lives in Nijmegen, Netherlands since 1990. He is KDE developer, member of KDE e.V. board and coordinator of KDE Netherlands.[1] He is 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
External links
- People behind KDE
- Practical Automaton Proofs in PVS (PhD Thesis)
<templatestyles src="Asbox/styles.css"></templatestyles>