I am a Master student. My project is related to Pinocchio.
As a Bachelor student I worked on Gameboy VM called PyGirl for the PyPy tool chain.