Name of Student: Teddy Cameron-Burke
Degree Subject: Computer Science and Mathematics
Job Title: SCP 6021 Research Intern
Company Name: University of Exeter with Diego Marmsoler
Type of Internship: Student Campus Partnerships (SCPs)
What were your key duties and responsibilities during your internship?
Formal verification and automation of automata
What was your biggest achievement on your internship?
Verified all machines necessary, and personally learned the isabelle programming language
Were there any challenges and how did you overcome these?
Steep learning curve to learn isabelle, which was overcome via example problems
Skills Learnt:
- Teamwork and Collaboration
- Organisation
- Leadership
Attributes Developed:
- Creative thinking
- Independence
- Professionalism
Your message to other students considering a similar job role, organisation or sector?
Overall the internship was fantastic, I would recommend it to anyone who is interested in the mathematics of computer science and or getting into cyber security. From the internship I have many new contacts within the university, and have managed to organise a third year project with the significant advantage of already knowing the programming language. My supervisor, Diego Marmsoler, was excellent at being on hand to deal with any problems I had during the internship and was very welcoming to me and my peers. The internship was challenging but that was what made solving each problem that much more rewarding!