PhD student in Computing Science on safe and efficient programming languages