Adriaan de Groot (software developer)
From Infogalactic: the planetary knowledge core
Lua error in Module:Infobox at line 235: malformed pattern (missing ']').
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
<templatestyles src="Reflist/styles.css" />
Cite error: Invalid <references>
tag; parameter "group" is allowed only.
<references />
, or <references group="..." />
External links
- People behind KDE
- Practical Automaton Proofs in PVS (PhD Thesis)
<templatestyles src="Asbox/styles.css"></templatestyles>