Wojciech (Wojtek) Skaba
MS in astronomy at Nicolaus Copernicus University in Torun, Poland (1989). Co-development of TOBOS-FP Basic compiler for ZX Spectrum (1986). Participation in MIZAR project to formalize mathematics (1989-1991). Development of several DBMS working on compressed databases, then applied in a commercial enterprise: a business-list owner/manager (directory of companies) and Web advertising system (TeleAdreson, 1991-2005). AGINAO (since 2008), a privately funded research project aimed at building an Artificial General Intelligence (AGI) system capable of matching human level intellectual skills and applying the NAO robot as a testbed.