kmaxima, Autore presso MAXIMA