Student of logic and programming