Adrian de Groot (소프트웨어 개발자)
Adriaan de Groot (software developer)아드리안 드 그루트 | |
---|---|
태어난 | |
로 알려져 있다 | KDE 기여자 및 KDE e.V. 부사장 |
Adrian de Groot(1973년 1월 6일 ~ )는 소프트웨어 품질 및 공식 검증 연구자입니다.그는 1990년부터 네덜란드의 니메겐에 살고 있다.KDE 개발자이며 KDE e.V. 보드의 멤버이며 KDE 네덜란드의 [1]코디네이터입니다.
캐나다 앨버타주 캘거리에서 태어난 de Groot은 2000년부터 KDE 기고가입니다.그는 KDE를 FreeBSD와 Solaris로 이식하는 일을 합니다.2007년부터 KDE e.V.[2] 보드의 멤버이기도 합니다.2009년 여름 KDE e.[3]V의 부사장으로 선출되었습니다.
레퍼런스
- ^ "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.
외부 링크
- KDE의 배후에 있는 사람
- PVS에서의 실용적인 자동화 증명(PhD 논문)